Property: Dedekind domain

Definition: A domain whose ideals are projective modules