nLab
unique factorization domain

Let R be an integral domain. We say that an element rR is unit if it is invertible. A non-unit is called irreducible if it can not be represented as a product of two non-units.

A commutative integral domain R is a unique factorization domain if every non-unit has a factorization u=r 1r n as product of irreducible non-units and this decomposition is unique up to renumbering and rescaling the irreducibles by units.

Created on September 26, 2009 23:12:16 by Zoran Škoda (195.37.209.180)