Dedekind domain
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
Named after German mathematician Richard Dedekind (1831–1916).
Noun[edit]
Dedekind domain (plural Dedekind domains)
 (algebra, ring theory) An integral domain in which every proper ideal factors into a product of prime ideals which is unique (up to permutations).
 It can be proved that a Dedekind domain (as defined above) is equivalent to an integral domain in which every proper fractional ideal is invertible.
 1971, Max D. Larsen, Paul J. McCarthy, Multiplicative Theory of Ideals, Elsevier (Academic Press), page 201,
 In this chapter we shall study several of the important classes of rings which contain the class of Dedekind domains.
 2007, Leonid Kurdachenko, Javier Otal, Igor Ya. Subbotin, Artinian Modules over Group Rings, Springer (Birkhäuser), page 55,
 As we can see every principal ideal domain is a Dedekind domain.
 2007, Anthony W. Knapp, Advanced Algebra, Springer (Birkhäuser), page 266,
 Let us recall some material about Dedekind domains from Chapters VIII and IX of Basic Algebra. A Dedekind domain is a Noetherian integral domain that is integrally closed and has the property that every nonzero prime ideal is maximal. Any Dedekind domain has unique factorization for its ideals.
Usage notes[edit]
 For a list of equivalent definitions, see Dedekind domain#Alternative definitions on Wikipedia.Wikipedia
Synonyms[edit]
 (integral domain whose prime ideals factorise uniquely): Dedekind ring
Hypernyms[edit]
 (integral domain whose prime ideals factorise uniquely): Noetherian domain
Derived terms[edit]
Translations[edit]
integral domain whose prime ideals factorise uniquely


Further reading[edit]
 Ideal class group on Wikipedia.Wikipedia
 Unique factorization domain on Wikipedia.Wikipedia
 Dedekind ring on Encyclopedia of Mathematics
 Dedekind Ring on Wolfram MathWorld