imaginary quadratic field
Generated by GPT-5-miniExpansion Funnel Raw 66 → Dedup 0 → NER 0 → Enqueued 0
| imaginary quadratic field | |
|---|---|
| Name | Imaginary quadratic field |
| Type | Number field |
| Signature | (0,1) |
| Discriminant | variable |
| Ring of integers | variable |
imaginary quadratic field
An imaginary quadratic field is a degree-two extension of Q obtained by adjoining the square root of a negative integer; it plays a central role in the development of Algebraic number theory, Class field theory, and Complex multiplication. These fields connect classical results of Gauss and Lagrange with modern theorems of Heegner, Stark, and Weil and appear in the study of Elliptic curves, Modular forms, and the Kronecker Jugendtraum.
Definition and basic properties
An imaginary quadratic field is K = Q(√d) with d a squarefree negative integer; its embeddings into C produce complex conjugate pairs related to Riemann's work on analytic continuation and Dedekind's zeta function. The field K has Galois group isomorphic to C2 over Q and its Absolute Galois group interactions surface in conjectures of Langlands and results of Artin. The Dedekind zeta function ζ_K(s) satisfies a functional equation involving the Gamma function and the field discriminant, linking to the analytic class number formula of Dirichlet and Hecke.
Ring of integers and discriminant
The ring of integers O_K of K equals Z[√d] or Z[(1+√d)/2] depending on d mod 4; the discriminant Δ_K equals d or 4d accordingly, a concept developed by Dedekind and used by Minkowski in lattice geometry. The behavior of Δ_K influences the structure of the integral ideal lattice and appears in bounds such as Minkowski bound and results by Odlyzko on discriminant bounds, which interact with computational projects at institutions like LMS and MSRI.
Class number and class group
The class group Cl(K) measures failure of unique factorization in O_K and has been studied since Gauss's Disquisitiones; its order, the class number h_K, figures in the Class number problem solved in aspects by Heegner, Baker, and Stark. Cohen–Lenstra heuristics predict statistical distributions of class groups, intersecting research by Cohen and Lenstra. Relations between h_K and special values of L-functions are given by the analytic class number formula of Dirichlet and generalized by results of Iwasawa in cyclotomic towers studied by Washington.
Units and Dirichlet's unit theorem
By Dirichlet's unit theorem, the unit group O_K^× of an imaginary quadratic field is finite and consists of roots of unity classified by Gauss and Kronecker; the only possibilities for nontrivial torsion come from fields with Δ_K in the list associated to Sixteenth-century mathematicians (historically studied by Euler and Lehmer). These finite unit groups contrast with real quadratic fields addressed in work by Pell and Lagrange and with regulator concepts appearing in Borel's computations.
Ideal factorization and splitting of primes
Prime decomposition in O_K is governed by quadratic reciprocity of Gauss: a rational prime p may split, remain inert, or ramify depending on the Kronecker symbol (Δ_K/p) and congruence conditions central to Legendre and Jacobi. The pattern of splitting is elucidated by Frobenius elements in Frobenius element theory and figures in explicit class field theory exemplified by the Hilbert class field and Ring class field constructions. Ramification behavior at primes including 2 interacts with local field theory of Hensel and Tate.
Complex multiplication and elliptic curves
Imaginary quadratic fields are the endomorphism rings of elliptic curves with complex multiplication (CM), a theory developed by Weber, Kronecker, and expanded by Shimura and Taniyama. The j-invariant of a CM elliptic curve generates class fields over K, realizing instances of the Kronecker Jugendtraum and connecting to Modular curves, Hecke operators, and Serre's conjectures. Stark–Heegner points, Gross–Zagier formulas, and Birch and Swinnerton-Dyer conjecture applications exploit CM phenomena to link L-values and arithmetic of Mordell–Weil groups.
Examples and notable fields
Key examples include Q(√−1) with ring Z[i], tied to Gaussian integer arithmetic and Fermat's theorem on sums of two squares; Q(√−3) with ring Z[ω] related to Eisenstein integers and Equilateral triangle lattice symmetries studied by Kepler; and Heegner fields with class number one classified by Heegner, Baker, and Stark. Explicit class fields over these K produce notable objects in the theory of Modular functions and supply examples for computational packages developed at PARI/GP, SageMath, and research groups at Harvard University and Princeton University.