Number fields

Number fields
Name	Number fields
Field	Algebraic number theory
Introduced	19th century
Key contributors	Carl Friedrich Gauss, Ernst Kummer, Richard Dedekind, Leopold Kronecker, David Hilbert, Emmy Noether, Heinrich Weber

Number fields are finite-degree field extensions of the field of rational numbers that serve as central objects in algebraic number theory. They generalize quadratic and cyclotomic constructions and provide the natural setting for studying algebraic integers, prime factorization, and reciprocity laws. Number fields connect deep results and conjectures associated with figures such as Bernhard Riemann, Gustav Hermite, André Weil, Kurt Gödel, and institutions like the École Polytechnique and the Institute for Advanced Study where much modern research has taken place.

Definition and basic properties

A number field is a finite extension K of Q obtained by adjoining roots of polynomials with rational coefficients; classical examples studied by Carl Friedrich Gauss include quadratic fields and cyclotomic fields used by Évariste Galois and Niels Henrik Abel in early work on solvability by radicals. The degree [K:Q] is the dimension of K as a vector space over Q and determines arithmetic and analytic complexity; influential contributors such as Richard Dedekind and Leopold Kronecker formalized ideals and embeddings. Each embedding of K into C is either real or complex-conjugate, yielding the signature (r1, r2) that appears in formulas by Heinrich Weber and David Hilbert.

Examples and constructions

Standard constructions include quadratic extensions Q(√d) studied by Carl Friedrich Gauss and Adrien-Marie Legendre; cyclotomic extensions Q(ζ_n) whose Galois groups are closely tied to Évariste Galois's theory and which were pivotal in work by Sophie Germain and Kummer on Fermat's Last Theorem; and higher-degree extensions such as Kummer extensions and Hilbert class fields developed by David Hilbert and Heinrich Weber. Other important families include CM fields relevant to Goro Shimura and Yutaka Taniyama's conjectures, and totally real fields connected to Kurt Hensel's p-adic methods. Explicit constructions utilize adjoining algebraic integers like roots of unity, roots of irreducible polynomials from Émile Picard and Henri Poincaré contexts, or composition of fields studied by Emmy Noether.

Ring of integers and units

The ring of integers O_K of a number field K generalizes the ordinary integers and was axiomatized by Richard Dedekind; its structure underpins ideal theory developed further by Leopold Kronecker and Ernst Kummer. The unit group O_K^× is a finitely generated abelian group described by Dirichlet’s unit theorem, whose proof involves techniques used by Sofia Kovalevskaya and refinements by Carl Ludwig Siegel and Louis Mordell. Fundamental units and regulators appear in explicit computations tied to classical problems addressed by Peter Gustav Lejeune Dirichlet and modern algorithms from research groups at institutions like Princeton University and University of Cambridge.

Galois theory and extensions

Galois extensions of Q and their Galois groups link number fields to permutation groups studied by Évariste Galois and later classified in parts by Camille Jordan and Emmy Noether. The inverse Galois problem—realizing a given finite group as the Galois group of a number field—was championed by Hilbert and remains a major open direction influenced by work at the Max Planck Institute and contributions from Kurt Godel-era logicians. Decomposition and explicit computation of Galois groups use tools introduced by Richard Dedekind and modern computational projects at CNRS and University of Bordeaux.

Ramification and decomposition of primes

Primes of Q decompose in the ring of integers O_K into prime ideals; the behavior—splitting, inertia, or ramification—was systematized by Richard Dedekind and used by Ernst Kummer in cyclotomic investigations. Ramification theory connects to discriminant calculations and local fields studied by Kurt Hensel and Claude Chevalley, and plays a central role in local-global principles exploited in work by John Tate and Alexander Grothendieck. Wild ramification and tame ramification distinctions influenced the development of modern cohomological methods by Serre and Grothendieck.

Arithmetic invariants (class number, regulator, discriminant)

Key invariants of a number field include the class number h_K, the regulator R_K, and the discriminant Δ_K; these quantify failure of unique factorization, size of the unit lattice, and ramification respectively. The class number problem traces back to Gauss's inquiries on binary quadratic forms and led to major results by Heegner, Baker, and Alan Baker's transcendence methods; the analytic class number formula relates these invariants to zeta-values, a theme central to work by Bernhard Riemann and refined by Emil Artin and Atle Selberg.

Analytic methods and zeta/L-functions

The Dedekind zeta function ζ_K(s) generalizes the Riemann zeta function and was introduced by Richard Dedekind; its analytic continuation and functional equation were developed using ideas from Bernhard Riemann and Ernst Zermelo-era analysts. Artin L-functions and Hecke L-series, advanced by Emil Artin and Erich Hecke, encode arithmetic of representations and characters; their special values are central to conjectures by Goro Shimura, Yutaka Taniyama, and the Birch and Swinnerton-Dyer Conjecture circle, while modern proofs and techniques draw on work by Andrew Wiles and collaborations at the Institute for Advanced Study.

Category:Number theory