The integral closure of a Dedekind domain in a finite extension of the field of fractions is a Dedekind domain; in particular, a noetherian ring.
32.
A finite generically �tale extension B / A of Dedekind domains is tame iff the trace \ mathrm { Tr } : B \ to A is surjective.
33.
However, as for every Dedekind domain, a ring of quadratic integers is a unique factorization domain if and only if it is a principal ideal domain.
34.
Over a Dedekind domain, a finitely-generated module is torsion-free if and only if it is projective, but is in general not free.
35.
A Krull domain is a higher-dimensional analog of a Dedekind domain : a Dedekind domain that is not a field is a Krull domain of dimension 1.
36.
A Krull domain is a higher-dimensional analog of a Dedekind domain : a Dedekind domain that is not a field is a Krull domain of dimension 1.
37.
A field is a commutative ring in which there are no nontrivial proper ideals, so that any field is a Dedekind domain, however in a rather vacuous way.
38.
In fact, this property characterizes Dedekind domains : an integral domain is a Dedekind domain if, and only if, every non-zero fractional ideal is invertible.
39.
In fact, this property characterizes Dedekind domains : an integral domain is a Dedekind domain if, and only if, every non-zero fractional ideal is invertible.
40.
The group of divisors on a curve ( the free abelian group on its set of points ) is closely related to the group of fractional ideals for a Dedekind domain.
