unique factorization domain

Let $R$ be an integral domain. We say that an element $r\in R$ 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_1 \cdots r_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)