Noncommutative unique factorization domain

In mathematics, the noncommutative unique factorization domain is the noncommutative counterpart of the commutative or classical unique factorization domain (UFD).