戴德金整环

Dedekind domain