equivalent characterizations of Dedekind domains
Dedekind domains can be defined as integrally closed Noetherian (http://planetmath.org/Noetherian) domains in which every nonzero prime ideal is maximal. However, there are several alternative characterizations which can be used, and are listed in the following theorem.
is Noetherian, integrally closed, and every prime ideal is maximal.
Every nonzero proper ideal is product of prime ideals.
Every nonzero ideal is invertible (http://planetmath.org/FractionalIdeal).
Every ideal is projective (http://planetmath.org/ProjectiveModule) as an -module.
For example, if is a principal ideal domain then ideals are clearly invertible and, by condition 4 it is Dedekind, so is integrally closed. In this case, factorization of ideals coincides with prime factorization in the ring. For the equivalence of 4 and 1 see proof that a domain is Dedekind if its ideals are invertible.
Once it is known that a ring is Dedekind then conditions 2 and 3 show that we get unique factorization of ideals in terms of prime or, equivalently, maximal ideals and conversely, Dedekind domains are are the only integral domains in which such decompositions exist (see proof that a domain is Dedekind if its ideals are products of maximals and proof that a domain is Dedekind if its ideals are products of primes).
The equivalence of 4 and 5 is immediate once it is known that invertible ideals are projective. For rings which are not integral domains, the property that ideals are projective still makes sense. Such rings are called hereditary (http://planetmath.org/HereditaryRing), and give one possible generalization of the concept of Dedekind domains.
As ideals in a Noetherian domain are finitely generated torsion-free submodules of , condition 6 clearly implies 5. Domains which are not necessarily Noetherian, but for which every finitely generated torsion-free module is projective are known as Prüfer domains. The equivalence of 6 and 5 then follows from the alternative characterization of Prüfer domains as integral domains in which every finitely generated ideal is projective.
Condition 7 (see proof that a Noetherian domain is Dedekind if it is locally a PID) shows that for Noetherian rings, being a Dedekind domain is a local property (http://planetmath.org/Localization) and therefore the notion generalizes to apply to algebraic varieties (http://planetmath.org/Variety) and schemes (http://planetmath.org/Scheme).
- 1 P.M. Cohn, Algebra. Vol 2, Second edition. John Wiley & Sons Ltd, 1989.
|Title||equivalent characterizations of Dedekind domains|
|Date of creation||2013-03-22 18:34:27|
|Last modified on||2013-03-22 18:34:27|
|Last modified by||gel (22282)|