Mathematics
Algebraic Number Theory and the Ring of Integers
Quick fact
In the ring of integers of the number field ℚ(√-5), the number 6 has two distinct factorizations into irreducibles, showing that the Fundamental Theorem of Arithmetic fails in this ring of algebraic integers.
Why this is interesting
You know that 6 can be factored as 2 × 3, and that this is the only way. But what if we extend our number system to include √-5? Suddenly, 6 = 2 × 3 = (1+√-5)(1-√-5). Which factorization is the 'real' one?
Read the full explanation
Understanding Algebraic Number Theory and the Ring of Integers
Algebraic number theory studies 'numbers' that are not just the familiar integers, but are roots of polynomial equations with integer coefficients. For example, √-5 is an algebraic number because it satisfies x² + 5 = 0. We can form number fields by adding such algebraic numbers to the rationals, leading to sets like ℚ(√-5) = {a + b√-5 : a, b ∈ ℚ}. Inside this number field, we can pick out a subset that behaves like the integers: the ring of integers. For ℚ(√-5), the ring of integers is ℤ[√-5] = {a + b√-5 : a, b ∈ ℤ}. The ring of integers is a generalization of the usual integers, preserving addition, subtraction, and multiplication. However, a stunning fact is that the usual property of unique prime factorization can break down in these rings. For instance, 6 = 2 × 3 and also 6 = (1+√-5)(1-√-5), where 2, 3, 1+√-5, and 1-√-5 are all 'prime-like' (irreducible) in ℤ[√-5], yet no factor is a unit times another, so the factorizations are genuinely different.
A deeper explanation
The ring of integers is defined as the set of elements in a number field that are roots of a monic polynomial with integer coefficients. This ensures they are closed under addition, subtraction, and multiplication, forming a ring. The failure of unique factorization is not a mere curiosity; it is a fundamental obstacle to solving Diophantine equations. The genius of algebraic number theory, particularly through the work of Dedekind, was to propose a way to restore unique factorization. Instead of factoring the elements themselves, we factor the ideals of the ring. An ideal is a set of elements closed under addition and under multiplication by any ring element. In the ring ℤ[√-5], the ideal (2, 1+√-5) is a prime ideal, and the ideal (6) factors uniquely into a product of prime ideals. The set of all ideals that are not principal forms a group called the ideal class group, whose order is the class number. When the class number is 1, the ring has unique factorization (e.g., ℤ, ℤ[i], ℤ[√-2]). When it is greater than 1, unique factorization fails. This machinery not only salvages factorization but also reveals deep arithmetic structure, connecting to class field theory and the solution of classical equations like x² + 5y² = p.