In mathematics, a noncommutative unique factorization domain is a noncommutative ring with the unique factorization property.