A Unique Factorization Domain (UFD) is an integral domain where every non-zero, non-unit element can be expressed as a product of irreducible elements. This factorization is unique, up to the order of factors and multiplication by units.
A Unique Factorization Domain (UFD) is an integral domain where every non-zero, non-unit element can be expressed as a product of irreducible elements. This factorization is unique, up to the order of factors and multiplication by units.