Unique factorization domain

In mathematics, a unique factorization domain (UFD) is, roughly speaking, a ring in which every element can be uniquely written as a product of prime elements, very much akin to the fundamental theorem of arithmetic for the integers.

Formally, a unique factorization domain is defined to be an integral domain R such that every non-zero non-unit x of R can be written as a product of prime elements of R:

x = p₁ p₂ ... p_n

and this representation is unique in the following sense: if q₁,...,q_m are prime elements of R such that

x = q₁ q₂ ... q_m,

them m = n and there exists a bijective map φ : {1,...,n} -> {1,...,n} such that p_i is associated to q_φ(i) for i=1,...,n.

Examples

All principal ideal domains are UFD's; this includes the integers, all fields, all polynomial rings K[X] where K is a field, and the Gaussian integers Z[i].

In general, if R is a UFD, then so is the polynomial ring R[X]. By induction, we therefore see that the polynomial rings Z[X₁,...,X_n] as well as K[X₁,...,X_n] (K a field) are UFD's.

The formal power series ring K[[X₁,...,X_n]] over a field K is also a unique factorization domain.

Properties

In any integral domain, it is true that every prime element is irreducible; in UFD's, the converse also holds true.

Any two (or finitely many) elements of a UFD have a greatest common divisor and a least common multiple.