Definition:Dedekind Domain

Also known as
A Dedekind domain is also known as a Dedekind ring.

Also see

 * Equivalence of Definitions of Dedekind Domain