Definition:Dedekind Domain/Definition 5

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

Also see

 * Equivalence of Definitions of Dedekind Domain