A **unique factorization domain**, or UFD, is an integral domain $R$ such that for every non-zero non-unit $a\in R$ there exist irreducibles $p_1, \ldots, p_n$ such that
\[ a = p_1\cdots p_n,\]
and this representation is unique up to the order of the factors and up to associates.

**Authors:**

**Knowl status:**

- Review status: reviewed
- Last edited by David Roe on 2020-10-13 17:48:23

**Referred to by:**

**History:**(expand/hide all)

**Differences**(show/hide)