Cyclotomic fields

Cyclotomic fields
Name	Cyclotomic fields
Type	Number field
Degree	φ(n)

Cyclotomic fields are number fields obtained by adjoining a primitive nth root of unity ζ_n to the rational numbers, producing extensions central to algebraic number theory and arithmetic geometry. They connect concrete constructions such as the construction of regular polygons with deep results like the Kronecker–Weber theorem, and they play a pivotal role in the development of class field theory, Iwasawa theory, and reciprocity laws. The study of these fields intertwines work of figures such as Carl Friedrich Gauss, Ernst Kummer, Kurt Hensel, Emil Artin, and Kenkichi Iwasawa.

Definition and basic properties

A cyclotomic field Q(ζ_n) is generated by a primitive nth root of unity ζ_n, with minimal polynomial the nth cyclotomic polynomial Φ_n(x), studied by Gauss in the context of constructible polygons and later by Evariste Galois. Its degree over Q equals Euler's totient φ(n), a multiplicative arithmetic function used by Leonhard Euler. The ring of integers of Q(ζ_n) is Z[ζ_n], a fact leveraged in early investigations by Kummer into unique factorization and ideal theory, and later clarified using methods from Richard Dedekind's ideal theory. Discriminants and conductors of these fields are explicit and were computed in work related to Adrien-Marie Legendre and Ernst Eduard Kummer.

Galois structure and cyclotomic polynomials

The Galois group Gal(Q(ζ_n)/Q) is canonically isomorphic to (Z/nZ)^×, a finite abelian group whose structure is determined by the Chinese Remainder Theorem and decomposition into cyclic components related to Johann Carl Friedrich Gauß's reciprocity ideas. Cyclotomic polynomials Φ_n(x) factor over finite fields in ways governed by Frobenius elements studied by Évariste Galois and formalized by Emil Artin in class field theory. The explicit action of (Z/nZ)^× on ζ_n underpins explicit reciprocity maps in the work of Kummer, Hilbert, and Artin. Intermediate fields correspond to subgroups of (Z/nZ)^× by the Fundamental Theorem of Galois Theory, a cornerstone result attributed to Évariste Galois and extended by Camille Jordan.

Unit group, class number, and Iwasawa theory

The unit group of Z[ζ_n] contains the cyclotomic units introduced by Hiroshi Takagi and studied extensively by Kummer and Leopoldt. The structure of the full unit group and the index of cyclotomic units relate to the class number problem that occupied Kummer in his work on Fermat's Last Theorem and later researchers such as Heinrich Weber and Schoof. Iwasawa theory, developed by Kenkichi Iwasawa, studies the growth of class groups in Z_p-extensions built from towers of cyclotomic fields, connecting to the Main Conjecture proved by Barry Mazur and Andrew Wiles in various settings. Deep conjectures and theorems by Serre, Tate, and Mazur relate to p-adic L-functions and cyclotomic units, while computations of class numbers involve methods influenced by Dirichlet and Riemann.

Ramification, primes, and decomposition

Primes dividing n are precisely the ramified primes in Q(ζ_n), a phenomenon analyzed in early ramification theory by Dedekind and Hensel. Decomposition of primes in cyclotomic extensions is governed by congruence conditions modulo n, a topic appearing in the proof of the quadratic reciprocity law by Gauss and in generalizations by Artin. The behavior of primes p not dividing n is controlled by the order of p in (Z/nZ)^×, with Frobenius elements generating cyclic decomposition groups as in the work of Frobenius and Chebotarev; the Chebotarev density theorem yields distribution results anticipated by Dirichlet. Wild ramification at primes dividing n links to local field theory developed by Hensel and Weil.

Kronecker–Weber theorem and abelian extensions

The Kronecker–Weber theorem asserts that every finite abelian extension of Q is contained in some cyclotomic field Q(ζ_n), a landmark proven using methods inspired by Kronecker, Weber, and later refined by Speiser and Takagi. This result places cyclotomic fields at the center of classical class field theory developed by Artin and Tate, and it provides the explicit realization of abelian extensions predicted by the Kronecker Jugendtraum pursued by Hilbert and Weber. Connections with complex multiplication of elliptic curves involve work by Deuring and Shimura, where special values of modular functions produce class fields via complex multiplication analogous to cyclotomic constructions.

Applications and examples (including reciprocity laws)

Cyclotomic fields provide explicit settings for proofs of reciprocity laws: Gauss's quadratic reciprocity emerges from analysis of quadratic subfields within Q(ζ_p), while higher reciprocity laws were developed by Kummer, Hilbert, and Artin using cyclotomic techniques. Concrete applications include Kummer's approach to Fermat's Last Theorem, computations of values of Dirichlet L-functions initiated by Dirichlet and extended by Hecke, and the study of special values of L-functions in the Birch and Swinnerton-Dyer context involving Andrew Wiles and Richard Taylor. Cyclotomic units and Stark's conjectures relate to explicit class field generation studied by Haruzo Hida and John Coates, and computational aspects draw on algorithms from Lenstra. Examples: Q(ζ_p) for prime p features in classical texts by Kummer and modern expositions by Washington (mathematician), while fields like Q(ζ_7) and Q(ζ_8) illustrate ramification and unit phenomena explored by Leopoldt and Furtwängler.

Category:Number theory