\begin{definition}[Definition:Dedekind Domain/Definition 5]
A '''Dedekind domain''' is a noetherian domain $A$ of dimension $1$ such that for every maximal ideal $\mathfrak p$, the localization $A_{\mathfrak p}$ is a discrete valuation ring.
\end{definition}