Definition 10.120.14. A *Dedekind domain* is a domain $R$ such that every nonzero ideal $I \subset R$ can be written as a product

\[ I = \mathfrak p_1 \ldots \mathfrak p_ r \]

of nonzero prime ideals uniquely up to permutation of the $\mathfrak p_ i$.

## Comments (1)

Comment #8128 by Aise Johan de Jong on

There are also: