Dedekind domain

In abstract algebra, a Dedekind domain or Dedekind ring, named after Richard Dedekind, is an integral domain in which every nonzero proper ideal factors into a product of prime ideals. It can be shown that such a factorization is then necessarily unique up to the order of the factors. There are at least three other characterizations of Dedekind domains that are sometimes taken as the definition: see below.

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. Some authors add the requirement that a Dedekind domain not be a field. Many more authors state theorems for Dedekind domains with the implicit proviso that they may require trivial modifications for the case of fields.

An immediate consequence of the definition is that every principal ideal domain (PID) is a Dedekind domain. In fact a Dedekind domain is a unique factorization domain (UFD) if and only if it is a PID.

In the 19th century it became a common technique to gain insight into integral solutions of polynomial equations using rings of algebraic numbers of higher degree. For instance, fix a positive integer ${\displaystyle m}$. In the attempt to determine which integers are represented by the quadratic form ${\displaystyle x^{2}+my^{2}}$, it is natural to factor the quadratic form into ${\displaystyle (x+{\sqrt {-m}}y)(x-{\sqrt {-m}}y)}$, the factorization taking place in the ring of integers of the quadratic field ${\displaystyle \mathbb {Q} ({\sqrt {-m}})}$. Similarly, for a positive integer ${\displaystyle n}$ the polynomial ${\displaystyle z^{n}-y^{n}}$ (which is relevant for solving the Fermat equation ${\displaystyle x^{n}+y^{n}=z^{n}}$) can be factored over the ring ${\displaystyle \mathbb {Z} [\zeta _{n}]}$, where ${\displaystyle \zeta _{n}}$ is a primitive ${\displaystyle n}$ root of unity.

...
Wikipedia