Unique factorization domain

A Unique Factorization Domain (UFD) is a specific type of integral domain in abstract algebra that has properties relating to the factorization of its elements. Specifically, a UFD is defined as an integral domain in which every nonzero element that is not a unit can be factored into irreducible elements (often called prime elements) in a way that is unique up to order and unit factors.