Definition:Dedekind Domain/Definition 6

Definition
A Dedekind domain is a Krull domain of dimension $1$.

Also see

 * Equivalence of Definitions of Dedekind Domain