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$.

There are also:

• 9 comment(s) on Section 10.120: Factorization

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).