Artin symbol
Generated by GPT-5-miniExpansion Funnel Raw 57 → Dedup 0 → NER 0 → Enqueued 0
| Artin symbol | |
|---|---|
| Name | Artin symbol |
| Field | Number theory |
| Introduced | Emil Artin |
| Related | Class field theory; Frobenius element; Galois group; Local class field theory |
Artin symbol The Artin symbol is a central construct in algebraic number theory connecting prime ideals in number fields to elements of Galois groups via reciprocity laws. It arises in the study of abelian extensions, links Frobenius automorphisms with ideal-theoretic data, and underpins global and local reciprocity in class field theory. The symbol appears in many explicit calculations involving cyclotomic fields, Hilbert class fields, and extensions studied by figures such as Emil Artin, Helmut Hasse, David Hilbert, Erich Hecke, and Claude Chevalley.
Definition and basic properties
For a finite Galois extension of number fields L/K with Galois group Gal(L/K), the Artin symbol assigns to an unramified prime ideal p of K a conjugacy class in Gal(L/K) represented by the Frobenius automorphism at p. This construction meshes with the decomposition and inertia groups studied by Évariste Galois antecedents and elaborated in the work of Richard Dedekind, Leopold Kronecker, Carl Friedrich Gauss, and Adrien-Marie Legendre. The Artin symbol is multiplicative on ideals, behaves functorially under composite extensions as in results by Otto Schreier and Emmy Noether, and satisfies compatibility with norm maps used in the theories of Heinrich Weber and Friedrich Kummer.
Artin map and Frobenius elements
The global Artin map is a homomorphism from the idele class group or ideal group of K to Gal(L/K) whose kernel describes the norm subgroup corresponding to L in the framework of class field theory developed by Helmut Hasse, John Tate, Carl Ludwig Siegel, and Shafarevich. The image of a prime in this map is the Frobenius element, connecting to classical Frobenius work on zeta functions and linking to the Chebotarev density theorem proven by Claude Chebotarev and refined by Harald Bohr contemporaries. The formalism parallels constructions in the work of André Weil, Alexander Grothendieck, and Jean-Pierre Serre where Frobenius elements play roles in étale cohomology and in the study of L-functions as in the conjectures of Robert Langlands and Atle Selberg.
Local Artin symbol
In local class field theory, a local Artin symbol maps elements of K_v^× for a local field K_v to the Galois group of a finite abelian extension L_w/K_v, a formulation clarified by John Tate and Philip Cassels and used by Serre in local studies. This local version ties to reciprocity maps in the works of Israel Gelfand and Kurt Hensel via Hensel's lemma contexts, and to explicit reciprocity laws developed by André Weil and Kenkichi Iwasawa in cyclotomic settings. The local Artin symbol encodes ramification behavior analyzed by Shreeram Abhyankar and Jean-Pierre Serre in wild ramification studies.
Computation and examples
Explicit computations of Artin symbols appear in cyclotomic fields generated by roots of unity studied by Leopold Kronecker and Ernst Kummer, in quadratic extensions classically treated by Carl Friedrich Gauss and Dirichlet, and in Kummer extensions used by Emil Artin for reciprocity. Examples include the behavior of primes in the cyclotomic extension Q(ζ_n) central to Kummer's work on Fermat's Last Theorem contexts examined later by Andrew Wiles and Barry Mazur. Computational techniques draw on approaches from Henryk Iwaniec, Enrico Bombieri, Peter Sarnak, and computational algebra systems influenced by algorithms of John von Neumann era numerical methods. Tables and explicit reciprocity calculations feature in the literature of Harry Vandiver and Leopold Kronecker.
Applications in class field theory
The Artin symbol realizes the isomorphism of the abelianized Galois group with ideal class groups and idele class groups in global class field theory as formalized by Helmut Hasse, Claude Chevalley, John Tate, and Emil Artin. It is used to describe Hilbert class fields of number fields studied by David Hilbert and Heinrich Weber, to classify abelian extensions in the spirit of Kronecker's Jugendtraum, and to construct reciprocity maps employed by Kurt Hensel and Shafarevich. Applications extend to explicit class field constructions in imaginary quadratic fields tied to the work of Srinivasa Ramanujan, complex multiplication theory developed by Goro Shimura and Yutaka Taniyama, and to proofs involving L-functions treated by Atle Selberg and Andrew Wiles.
Reciprocity laws and global reciprocity
Artin reciprocity generalizes classical quadratic reciprocity discovered by Carl Friedrich Gauss and extended to higher reciprocity laws by David Hilbert and Emil Artin. The global reciprocity law identifies the product of local Artin symbols as the identity and underlies the Hasse principle investigations by Helmut Hasse and counterexamples related to the work of Yakov Manin and John Cassels. Reciprocity plays a role in the formulation of the Langlands program advanced by Robert Langlands and influences reciprocity conjectures linking automorphic representations to Galois representations as studied by Pierre Deligne and Michael Harris.
Generalizations and related concepts
Generalizations of the Artin symbol include nonabelian extensions where Frobenius conjugacy classes are central to the Chebotarev density theorem refined by Serre and Grothendieck in étale cohomology, connections to the Langlands correspondence formulated by Robert Langlands and explored by James Arthur, and analogues in function field settings studied by André Weil and Pierre Deligne. Related concepts include Hilbert symbols, Hasse invariants, conductor exponents used by John Tate and Kenkichi Iwasawa, and reciprocity maps in higher class field theory investigated by Alexander Beilinson and Kazuya Kato. The Artin symbol continues to influence research areas involving Iwasawa theory, modular forms studied by Henri Poincaré and Goro Shimura, and the arithmetic of elliptic curves central to Andrew Wiles and Gerhard Frey.