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

A unique factorization domein, or UFD, is an integral domain $R$ such that for every non-zero non-unit $a\in R$ there exists 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.

Knowl status:
  • Review status: beta
  • Last edited by John Jones on 2019-03-20 10:06:12
Referred to by:
History: (expand/hide all)