Noncommutative unique factorization domain

In mathematics, a noncommutative unique factorization domain is a noncommutative ring with the unique factorization property. == Examples == The ring of Hurwitz quaternions, also known as integral quaternions.

Source: Wikipedia — Noncommutative unique factorization domain (CC BY-SA 4.0)