show · ring.unique_factorization_domain all knowls · up · search:

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:
Differences