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 ring i.e. there is a bijection between ideals and multisets of prime ideals. Rings with UFI A Dedekind domain admits UFI tidy | en | sembr