An integral domain in which unique factorization into irreducibles fails: there exist nonzero nonunits that admit two distinct factorizations into irreducible elements that are not associates, so the domain is not a unique factorization domain (UFD).

Principle

Unique factorization organizes multiplicative structure by primes/irreducibles; a nonfactorial domain reveals the limits of this organizing principle and typically requires ideal-theoretic or divisor-class-group techniques to measure failure.

Demonstration

Classic concrete example: the ring Z[√-5] where 6 = 2·3 = (1+√-5)(1-√-5) gives two inequivalent factorizations into irreducibles. More generally, non-UFD behavior is measured by nontrivial class groups in Dedekind domains or by explicit nonprincipal ideals.

Misapplication

Applying UFD-based arguments (unique prime factorization, straightforward gcd-based reasoning) in a nonfactorial domain produces false uniqueness claims, invalid gcd computations, and misidentification of irreducible versus prime elements.

Consequence

Recognizing nonfactoriality forces a shift to ideal-theoretic invariants (class group, factorization into prime ideals) or to alternative factorization notions (atomicity, elasticity), enabling correct arithmetic and structural analysis in the domain.

Reversal

The reversal is the class of factorial domains (UFDs) where factorization is unique up to units and order; contrasting with nonfactorial domains highlights when element-level multiplicative invariants must be replaced by ideal-level invariants.

Boundary

Applies to integral domains (commutative rings without zero divisors); it excludes rings with zero divisors, where factorization behaves differently and where notions of irreducible/prime require separate treatment.

Semantic Tension

Tension exists between 'irreducible' and 'prime' in nonfactorial domains: irreducibles need not be prime, and this distinction is the heart of many counterexamples; one must carefully distinguish element-level factorization from ideal or divisor-theoretic factorization.

Synthesis

A nonfactorial domain is an integral domain where element-level multiplicative structure resists unique factorization: inequivalent irreducible decompositions occur, prompting the use of class groups, ideal factorization, and refined factorization invariants to understand arithmetic.