Unique factorization domain

Last updated January 27, 2022

Definition. A ring $R$ is said to be factorial if it can be represented uniquely (up to the multiplication by invertible elements) as a product of irreducible elements (an element is reducible if it can be written as the product of two noninvertible elements).

Properties

• It is integrally closed

Examples

• Any PID is factorial.