Algebraic Number Theory

Key Concepts

Examples

In Depth

Algebraic number theory studies number fields — finite extensions \(K/\mathbb{Q}\) — and their rings of integers \(\mathcal{O}_K\). The ring \(\mathcal{O}_K\) generalizes \(\mathbb{Z}\) but may fail unique factorization. The class group \(\text{Cl}(K)\) measures this failure; its order is the class number \(h_K\).

Dedekind's ideal theory restores unique factorization at the level of ideals: every nonzero ideal in \(\mathcal{O}_K\) factors uniquely as a product of prime ideals. This is the fundamental theorem of algebraic number theory.

The Minkowski bound \(M_K\) guarantees every ideal class contains an ideal of norm \(\leq M_K\). Since there are finitely many ideals of bounded norm, the class group is finite. Computing \(h_K\) is a central problem; for imaginary quadratic fields, Gauss's class number problem asked which have \(h_K=1\) (answer: exactly 9 fields).

The Dirichlet unit theorem describes the group of units \(\mathcal{O}_K^*\): it is isomorphic to \(\mu_K\times\mathbb{Z}^{r_1+r_2-1}\) where \(\mu_K\) is the finite group of roots of unity, \(r_1\) is the number of real embeddings, and \(r_2\) is the number of pairs of complex embeddings.

Class field theory describes all abelian extensions of a number field in terms of the arithmetic of the field itself (via idèles and the Artin map). It is the culmination of 19th-century number theory and the starting point for the Langlands program, which seeks to unify number theory and representation theory.

Key Properties & Applications

The Dedekind zeta function \(\zeta_K(s)=\sum_{\mathfrak{a}}N(\mathfrak{a})^{-s}\) (sum over nonzero ideals of \(\mathcal{O}_K\)) generalizes the Riemann zeta function. The analytic class number formula expresses the residue at \(s=1\) in terms of the class number, regulator, discriminant, and number of roots of unity.

Ramification describes how primes of \(\mathbb{Z}\) split in \(\mathcal{O}_K\): a prime \(p\) can split (\(e=1\), \(f=1\)), remain inert (\(e=1\), \(f=[K:\mathbb{Q}]\)), or ramify (\(e>1\)). Ramification is controlled by the discriminant: \(p\) ramifies iff \(p\mid\text{disc}(K/\mathbb{Q})\).

The Langlands program, formulated in 1967, proposes a vast web of correspondences between automorphic forms (generalizing modular forms) and Galois representations. Wiles' proof of Fermat's Last Theorem established a special case (modularity of elliptic curves over \(\mathbb{Q}\)).

Further Reading & Context

The study of algebraic number theory connects to many areas of mathematics and its applications. Understanding the foundational definitions and theorems provides the basis for advanced work in analysis, algebra, and applied mathematics.

Historical development: most mathematical concepts evolved over centuries, with contributions from mathematicians across many cultures. The modern axiomatic treatment provides rigor, while computational tools enable practical application.

In modern mathematics, this topic appears in graduate courses and research across pure and applied mathematics. Connections to computer science, physics, and engineering make it a versatile and important area of study. Mastery of the core results and techniques opens doors to research in number theory, analysis, geometry, and beyond.

Recommended next steps: work through the standard theorems with full proofs, explore the connections to related topics listed above, and practice with a variety of problems ranging from computational exercises to theoretical proofs. The interplay between different areas of mathematics is one of the subject's greatest rewards.

Deep Dive: Algebraic Number Theory

This lesson extends core ideas for algebraic number theory with rigorous reasoning, edge-case checks, and application framing in number theory.

Practice Set

References & Editorial Notes

• Stewart, Calculus.
• Strang, Introduction to Linear Algebra.
• Apostol, Mathematical Analysis.

Last editorial review: 2026-04-14.