Definition 9.1 (Dedekind domain). A Dedekind domain is a ring $R$ such that

• (i) $R$ is a Noetherian integral domain.
• (ii) $R$ is integrally closed in $\mathrm{Frac}(R)$.
• (iii) Every non-zero prime ideal is maximal.