Dedekind Domain

A Dedekind domain is an integral domain that is Noetherian, integrally closed in its field of fractions, and of Krull dimension one; equivalently every nonzero proper ideal factors uniquely as a product of prime ideals. Dedekind domains provide the natural setting for ideal factorization in algebraic number theory.