Non-Unique Factorization
Definition
The phenomenon in an integral domain (often the ring of integers of a number field) where an element admits two or more distinct factorizations into irreducible elements that are not related by multiplication by units, violating uniqueness of prime decomposition.