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 idealsring
i.e. there is a bijection between ideals I and multisets βP0 of prime ideals.