Noncommutative unique factorization domain

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

Example

• The ring of integral quaternions. (A quaternion a = a₀ + a₁i + a₂j + a₃k is integral if the coefficients a₀, a₁, a₂, a₃ are integers or half-integers)

References

• R. Sivaramakrishnan, Certain number-theoretic episodes in algebra, CRC Press, 2006, ISBN 0-8247-5895-1