Why doesn't unique factorization always hold for algebraic integers?

In many rings of integers an element can factor into irreducibles in genuinely different ways; the remedy is to factor ideals rather than elements, where uniqueness is always restored.

What is the class number?

It is the order of the ideal class group, a finite number that measures exactly how far a ring of integers is from having unique factorization; it equals one precisely when factorization is unique.

Algebraic Number Theory

Algebraic number theory extends the arithmetic of the integers to rings of algebraic integers inside finite extensions of the rationals, where unique factorization may fail but is restored at the level of ideals.

Definition

Algebraic number theory is the study of number fields (finite extensions of the rational numbers) and their rings of integers, using the tools of commutative algebra and Galois theory to understand factorization, units, and field extensions arithmetically.

Scope

This area covers number fields and their rings of integers, the factorization of ideals into prime ideals, the ideal class group measuring the failure of unique factorization, Dirichlet's unit theorem, ramification and the behaviour of primes in extensions, the Galois theory of number fields, and class field theory describing abelian extensions in terms of arithmetic data.

Sub-topics

Core questions

What replaces unique factorization in a ring of algebraic integers, and how do prime ideals restore it?
How large is the failure of unique factorization, as measured by the ideal class group, and is it always finite?
How do the units of a ring of integers behave, and what is their rank?
How do rational primes split, ramify, or remain inert in an extension, and how does Galois theory govern this?

Key theories

Unique factorization of ideals: In a Dedekind domain such as the ring of integers of a number field, every nonzero ideal factors uniquely into prime ideals, recovering the structural role of the fundamental theorem of arithmetic.
Finiteness of the class number and Dirichlet's unit theorem: The ideal class group is finite and the unit group is finitely generated of rank determined by the number of real and complex embeddings, two cornerstones established by Minkowski-style geometry of numbers.
Class field theory: Abelian extensions of a number field are classified by quotients of generalized ideal class groups, generalizing quadratic reciprocity into the reciprocity law of the Artin map.

Clinical relevance

Rings of integers and ideal arithmetic supply the algebraic backbone of modern cryptography, including lattice-based and ideal-lattice schemes considered for post-quantum security, and underlie the number field sieve, the fastest known general factorization algorithm.

History

The field grew from Kummer's introduction of ideal numbers around 1847 to repair unique factorization in cyclotomic fields, motivated by Fermat's Last Theorem. Dedekind recast these as ideals in the 1870s, Minkowski added geometric methods, and Hilbert, Takagi, and Artin built class field theory in the early twentieth century.

Key figures

Ernst Kummer
Richard Dedekind
Leopold Kronecker
Emil Artin

Seminal works

neukirch1999

Frequently asked questions

Why doesn't unique factorization always hold for algebraic integers?: In many rings of integers an element can factor into irreducibles in genuinely different ways; the remedy is to factor ideals rather than elements, where uniqueness is always restored.
What is the class number?: It is the order of the ideal class group, a finite number that measures exactly how far a ring of integers is from having unique factorization; it equals one precisely when factorization is unique.