algebraic number theory

algebraic number theory
Name	Algebraic number theory
Caption	Ring of integers in a number field
Field	Mathematics
Subdiscipline	Number theory
Notable people	Carl Friedrich Gauss; Richard Dedekind; Ernst Kummer; David Hilbert; Helmut Hasse; Emil Artin; André Weil; John Tate; Goro Shimura; Yutaka Taniyama

algebraic number theory Algebraic number theory is the branch of Mathematics that studies algebraic numbers and the arithmetic of extensions of the field of rational numbers via algebraic, arithmetic, and analytic methods. It synthesizes ideas from Carl Friedrich Gauss's work on quadratic forms, Ernst Kummer's study of cyclotomic fields, Richard Dedekind's theory of ideals, and later developments by David Hilbert and Emil Artin to form a rich framework linking Galois theory, elliptic curve theory, and class field theory.

Introduction

The subject grew from problems in solving Diophantine equations studied by Pierre de Fermat and the systematic treatment of integers in extensions initiated by Richard Dedekind and Ernst Kummer. Foundational milestones include Carl Friedrich Gauss's Disquisitiones Arithmeticae, Bernhard Riemann's zeta function, and David Hilbert's Zahlbericht, which connected ideal theory to arithmetic. Later structural advances were driven by figures such as Helmut Hasse, Emil Artin, André Weil, and John Tate, with modern interactions involving Goro Shimura and conjectures linking to the work of Andrew Wiles and the proof of the Taniyama–Shimura–Weil conjecture.

Number fields and ring of integers

A central object is a finite extension K of Q, called a number field, studied via its ring of integers O_K introduced by Richard Dedekind. Examples include quadratic fields linked to Carl Friedrich Gauss's genus theory, cyclotomic fields related to Ernst Kummer and Leopold Kronecker, and CM fields appearing in the theory of Complex multiplication. Structures such as orders, discriminants, and integral bases are analyzed using tools from Galois theory, the Minkowski theorem from the geometry of numbers developed by Hermann Minkowski, and methods inspired by Srinivasa Ramanujan in explicit class constructions.

Ideals, factorization, and class group

Dedekind's ideal theory resolves nonunique factorization phenomena observed by Ernst Kummer in the context of Fermat's Last Theorem addressed by Andrew Wiles. The ideal class group Cl(K) measures failure of unique factorization and is central to class field theory developed by David Hilbert and formalized by Emil Artin and Teiji Takagi. Computations of class numbers for imaginary quadratic fields were advanced by Heegner and Baker, while analytic class number formulas invoke contributions from Bernhard Riemann and Ernst Hecke via zeta and L-functions.

Units and Dirichlet's unit theorem

The structure of the unit group O_K^× is given by Dirichlet's unit theorem, a result building on methods from Leopold Kronecker and Peter Gustav Lejeune Dirichlet. The regulator, which quantifies fundamental units, plays a key role in analytic class number formulas pioneered by Dirichlet and later refined by John Tate. Explicit computation of units appears in contexts studied by Alexander Thue, Alan Baker, and in computational advances influenced by modern algorithmic work at institutions like Clay Mathematics Institute.

Galois theory and extensions

Galois groups of extensions of Q encode arithmetic symmetry; central results include Artin reciprocity from Emil Artin and the development of abelian extensions in class field theory. Nonabelian extensions connect to the Langlands program formulated by Robert Langlands and to reciprocity laws explored by Jean-Pierre Serre and Alexander Grothendieck. Important explicit families include cyclotomic extensions studied by Ernst Kummer, Kummer theory, and the use of cohomological methods by John Tate and Jean-Pierre Serre in Galois cohomology.

Local fields and adèles/idèles

Local methods analyze completions of number fields at primes, namely p-adic fields developed by Kurt Hensel and real/complex completions. The decomposition and inertia groups in local Galois theory were elucidated by Helmut Hasse and Serre. The adelic and idelic formulations introduced by Claude Chevalley and employed by André Weil unify local-global principles and underpin modern statements of class field theory and the adelic approach to automorphic forms central to Robert Langlands's conjectures.

Analytic methods and L-functions

Analytic techniques employ zeta functions and L-functions such as the Dedekind zeta function and Artin L-functions studied by Bernhard Riemann, Ernst Hecke, and Emil Artin. The analytic class number formula links residues of Dedekind zeta functions to arithmetic invariants, a theme developed by Dirichlet and Heinrich Weber. Deep conjectures and theorems connecting arithmetic and analysis include the Birch and Swinnerton-Dyer conjecture, the Modularity theorem proved by Andrew Wiles and Richard Taylor, and reciprocity envisioned in the Langlands program, with contributions from Pierre Deligne and Michael Harris.

Category:Number theory