Dedekind domain (source code)

= Dedekind domain
{c}
{wiki}

A Dedekind domain is a Noetherian integrally closed domain of Krull dimension one. Equivalently, every localization at a nonzero prime ideal is a discrete valuation ring.