Noncommutative unique factorization domain
ID: noncommutative-unique-factorization-domain
A **noncommutative unique factorization domain (UFD)** is a generalization of the concept of a unique factorization domain in commutative algebra, extended to the realm of noncommutative algebra. In the context of commutative algebra, a unique factorization domain is an integral domain in which every non-zero non-unit element can be factored uniquely (up to order and units) into irreducible elements.
New to topics? Read the docs here!