Dedekind Ring

A abstract commutative Ring in which every Nonzero Ideal is a unique product of Prime Ideals.