Ring theory MOC

Unique factorization domain

A unique factorization domain or UFD 𝑅 is an integral domain such that every nonzero element 𝑥 ∈𝑅 has a factorization as a product of irreducible elements, unique up to units and the order of factors. #m/def/num

Every UFD is also a GCD domain.

Equivalent characterizations

Let 𝑅 be an integral domain. The following are equivalent:

1. 𝑅 is a UFD;
2. Every irreducible element in 𝑅 is prime and 𝑅 satisfies the ACC on principal ideals.¹

#state/develop | #lang/en | #SemBr