Product ideal

Unique factorization of ideals

A commutative ring admits unique factorization of ideals or UFI iff every nonzero proper ideal may be written uniquely (up to ordering) as the product of prime ideals #m/def/ring i.e. there is a bijection between ideals and multisets of prime ideals.

Rings with UFI

• A Dedekind domain admits UFI

#state/tidy | #lang/en | #SemBr