A Dedekind domain $D$ is a integral domain which is not a field such that
- $D$ is Noetherian;
- every non-zero prime ideal is maximal;
- $D$ is integrally closed.
The ring of integers of a number field is always a Dedekind domain, as is every discrete valuation ring.
In a Dedekind domain, every non-zero ideal $I$ can be written as a product of non-zero prime ideals, $$I=P_1P_2\cdots P_k,$$ and the product is unique up to the order of the factors. Repeated factors are often grouped, so we write $I=Q_1^{e_1}\cdots Q_g^{e_g}$ where the $Q_i$ are non-zero prime ideals of $D$.
In addition, every fractional ideal $I$ is invertible in the sense that there exists a fractional ideal $J$ such that $IJ=D$.
Authors:
Knowl status:
- Review status: reviewed
- Last edited by Andrew Sutherland on 2020-10-24 17:17:32
Referred to by:
History:
(expand/hide all)
- 2020-10-24 17:17:32 by Andrew Sutherland (Reviewed)
- 2020-10-24 17:16:55 by Andrew Sutherland
- 2020-10-24 17:16:03 by Andrew Sutherland
- 2020-10-24 16:32:38 by Andrew Sutherland
- 2020-10-13 17:51:37 by David Roe (Reviewed)
- 2018-08-07 18:52:43 by John Jones