A Dedekind ring is a commutative ring in which the following hold. 1. It is a Noetherian ring and a integral domain. 2. It is the set of algebraic integers in its field of fractions. 3. Every nonzero prime ideal is also a maximal ideal. Of course, in any ring, maximal ideals are always prime. The main example of a Dedekind domain is the ring of algebraic integers in a number field, an extension field of the rational numbers. An important consequence of the above axioms is that every ideal can be written uniquely as a product of prime ideals. This compensates for the possible failure of unique factorization of elements into irreducibles.
We guarantee you’ll find the right tutor, or we’ll cover the first hour of your lesson.