 The integral domains that have this unique factorization property are now called Dedekind domains.They have many nice properties that make them fundamental in algebraic number theory.Matrix rings are non-commutative and have no unique factorization