One of the cleanest lessons abstract algebra offers is that “factorization” is not a property of numbers, it is a property of a ring. In $\mathbb{Z}$, everything factors uniquely into primes. In polynomial rings over a field, everything factors uniquely into irreducibles. It is easy to absorb the uniqueness as if it were inevitable.
Then you meet $\mathbb{Z}[\sqrt{-5}]$, and the illusion breaks in a way that is instructive rather than discouraging. The ring is still an integral domain. It still has a norm-like function. It still has primes and irreducibles. Yet factorization into irreducibles is not unique.
Flagship Router PickQuad-Band WiFi 7 Gaming RouterASUS ROG Rapture GT-BE98 PRO Quad-Band WiFi 7 Gaming Router
ASUS ROG Rapture GT-BE98 PRO Quad-Band WiFi 7 Gaming Router
A flagship gaming router angle for pages about latency, wired priority, and high-end home networking for gaming setups.
- Quad-band WiFi 7
- 320MHz channel support
- Dual 10G ports
- Quad 2.5G ports
- Game acceleration features
Why it stands out
- Very strong wired and wireless spec sheet
- Premium port selection
- Useful for enthusiast gaming networks
Things to know
- Expensive
- Overkill for simpler home networks
This article explains the failure carefully, then shows how ideals repair the situation without sweeping anything under the rug. The point is not to memorize a famous example, but to learn what the example reveals about why ideals are a natural tool.
The ring and its norm
Consider
There is a norm
which lands in the nonnegative integers and is multiplicative:
Multiplicativity is the first serious constraint on factorization. It gives you a way to control what can be a unit, and what can factor.
- The units are exactly the elements of norm $1$. Here that forces units to be $\pm 1$.
- If $x$ is reducible, then $N(x)$ factors nontrivially in $\mathbb{Z}$, because $N(x)=N(y)N(z)$ with $N(y),N(z)>1$.
This means that small norms often imply irreducibility, because there are no room for nontrivial norm factorizations.
The famous nonunique factorization
In $R$, there is an equality
If all four factors were irreducible and not associates of each other, this would be a genuine failure of unique factorization: the element $6$ would have two different factorizations into irreducibles.
That is exactly what happens.
To justify it, you need two things.
- Each of $2,3,1+\sqrt{-5},1-\sqrt{-5}$ is irreducible in $R$.
- None of these factors divides another, up to units.
The second point rules out the possibility that one factorization is just a disguised version of the other by regrouping associates.
Why $2$ is irreducible
Compute $N(2)=4$. If $2=xy$ with neither $x$ nor $y$ a unit, then $N(x)$ and $N(y)$ are integers bigger than $1$ with product $4$. The only possibilities are $2\cdot 2$ or $4\cdot 1$. The second possibility corresponds \to a unit, so ignore it. The first would require an element of norm $2$.
But $a^2+5b^2=2$ has no integer solutions. If $b=0$, then $a^2=2$, impossible. If $b\neq 0$, then $5b^2\ge 5$, too big. So there is no element of norm $2$, hence $2$ cannot factor nontrivially. So $2$ is irreducible.
Why $3$ is irreducible
Similarly, $N(3)=9$. A nontrivial factorization would require an element of norm $3$. The equation $a^2+5b^2=3$ has no solutions for the same reason: $b=0$ forces $a^2=3$, and $b\neq 0$ forces $5b^2\ge 5$. So $3$ is irreducible.
Why $1\pm\sqrt{-5}$ are irreducible
Compute $N(1\pm\sqrt{-5})=1^2+5\cdot 1^2=6$. A nontrivial factorization would require a factor of norm $2$ or $3$, because $6$ factors as $2\cdot 3$ in $\mathbb{Z}$. But we already saw there are no elements of norm $2$ or $3$ in $R$. So $1\pm\sqrt{-5}$ are irreducible.
So all four factors are irreducible.
Why the factorizations are genuinely different
If $2$ divided $1+\sqrt{-5}$, then $1+\sqrt{-5}=2\alpha$ for some $\alpha\in R$, but that would force the coefficients of $1+\sqrt{-5}$ \to be even, which they are not. So $2$ does not divide $1+\sqrt{-5}$. The same parity check shows $2$ does not divide $1-\sqrt{-5}$.
If $3$ divided $1+\sqrt{-5}$, then $1+\sqrt{-5}=3\beta$, forcing coefficients divisible by $3$, which they are not. So $3$ does not divide $1+\sqrt{-5}$, and similarly not $1-\sqrt{-5}$.
This is enough to see the two irreducible factorizations are not related by associates. Unique factorization fails.
What exactly failed
A natural question is: if norms exist and multiplication behaves well, why did uniqueness fail?
One answer is conceptual: in a unique factorization domain, irreducible elements behave like primes, meaning they satisfy a strong divisibility property. In $\mathbb{Z}$, if a prime $p$ divides a product $ab$, then $p$ divides $a$ or $b$. That property is not automatic in an arbitrary domain.
In $\mathbb{Z}[\sqrt{-5}]$, the element $2$ divides the product $(1+\sqrt{-5})(1-\sqrt{-5})$ because that product is $6$, which is divisible by $2$. But $2$ divides neither factor individually. So $2$ is irreducible but not prime.
That is the precise point of failure: irreducible does not imply prime.
Once you see that, the example becomes a lens.
- Unique factorization is essentially the statement that every irreducible is prime.
- The ring fails unique factorization because it contains irreducibles that are not prime.
Ideals as a repair, not a replacement
It would be unsatisfying if the story ended with “uniqueness fails, so give up.” Instead, algebra changes the unit of factorization. Instead of factoring elements, you factor ideals.
The central fact is:
- In a Dedekind domain, every nonzero ideal factors uniquely into prime ideals.
The ring $\mathbb{Z}[\sqrt{-5}]$ is not the full ring of integers of $\mathbb{Q}(\sqrt{-5})$, so it is not Dedekind. But it is close enough to show the mechanism: ideals can restore a form of unique factorization even when elements do not.
Let us see how the element equation
becomes stable when translated into ideals. Take principal ideals generated by each side:
In an ideal world, if element factorization were unique, these ideal factorizations would be forced in the same way. Here something different happens: the principal ideals $(2)$ and $(3)$ can factor into non-principal prime ideals, and the “missing” uniqueness is stored in that ideal factorization.
The key computation: how $(2)$ and $(3)$ split
Consider the ideals
These are ideals in $R$ generated by $2$ and $1\pm \sqrt{-5}$. A standard check shows
Likewise, consider
and one finds
What matters is that these factors are not principal ideals. If they were principal, the corresponding generators would produce element factorizations that would force uniqueness, contradicting what we saw.
This is the heart of the repair: the ring is telling you that there are hidden “prime pieces” that you cannot see at the element level because you do not have enough principal ideals.
How the ideal factorizations reconcile the two element factorizations
Now look at
and similarly
Multiplying gives
So the two different element factorizations correspond to the same refined ideal factorization, because ideals can express the prime splitting that elements cannot.
The equality becomes stable again once you factor at the right level.
What the example teaches you to watch for
The ring $\mathbb{Z}[\sqrt{-5}]$ teaches several durable lessons.
- Norms control irreducibility, but norms do not guarantee primeness.
- The property “divides a product implies divides a factor” is the real engine behind unique factorization.
- When element factorization fails, the failure is often measured by the failure of ideals to be principal.
- Factoring ideals is not a trick. It is a structural adjustment that restores uniqueness in a setting where elements are too rigid.
A compact way to remember the moral is through a two-row comparison.
| In $\mathbb{Z}$ | In $\mathbb{Z}[\sqrt{-5}]$ |
|—|—|
| irreducible implies prime | irreducible may fail to be prime |
| element factorization is unique | element factorization can branch |
| principal ideals dominate | non-principal ideals appear naturally |
| ideal factorization mirrors element factorization | ideal factorization reveals hidden prime splitting |
Once you internalize this example, the introduction of ideals in algebraic number theory stops feeling like a detour. It becomes the obvious next step: if your ring does not let elements factor uniquely, ask whether a better-behaved object built from the ring does.
That is the spirit of abstract algebra at its best. When a property fails, it fails in a structured way, and the structure tells you what to build next.
Books by Drew Higgins
Leave a Reply