Why Unique Factorization Fails in Algebraic Number Rings Like ℤ[√–5]

The Fundamental Theorem of Arithmetic and Unique Factorization

In ordinary arithmetic, we have the fundamental theorem of arithmetic: every integer can be factored into a product of primes in exactly one way — up to order and sign.

This feels so natural that it is easy to mistake it for a universal law. Multiply a few numbers together, and you can always trace them back to the same set of prime building blocks. The factorization is unique, guaranteed, and taken for granted.

How Unique Factorization Breaks Down in ℤ[√–5]

But in more general number systems — such as the ring of integers ℤ[√–5] — this rule can break down entirely.

Consider the number 6 inside ℤ[√–5]. It admits two apparently valid factorizations:

• 6 = 2 × 3
• 6 = (1 + √–5)(1 – √–5)

None of the four elements — 2, 3, 1 + √–5, and 1 – √–5 — divides any of the others. Each one is “prime” in the sense that it cannot be broken down further within this ring. Yet they combine to give the same result in two completely different ways.

What This Means for Unique Factorization Rings

This example reveals something important: unique factorization is not a universal fact of nature. It is a property that must be proven anew in each number system you work in. Some rings have it; many do not.

A ring where every element does factor uniquely into irreducibles is called a unique factorization domain (UFD). The integers ℤ form a UFD. The ring ℤ[√–5] does not — as the example above shows directly.

Ideals: Restoring Order in Algebraic Number Theory

This failure is precisely what motivated algebraic number theory to introduce the concept of ideals. The idea, pioneered by Ernst Kummer and Richard Dedekind in the nineteenth century, was to shift attention from individual numbers to structures built from them.

While unique factorization of elements may fail, unique factorization of ideals can be recovered. In the rings of integers of algebraic number fields, every nonzero ideal factors uniquely into a product of prime ideals — a result that restores the order and elegance that seemed lost.

So the breakdown of unique factorization in rings like ℤ[√–5] is not the end of the story. It is the beginning of a much richer one.