In mathematics, class field theory is a major branch of algebraic number theory.
Most of the central results in this area were proved in the period between 1900 and 1950. The theory takes its name from some of the early ideas, conjectures and results such as those on the Hilbert class field, which took a generation to settle up to 1930. The ideal class group (which is a basic object of study inside a single field of numbers K, such as a quadratic field), is also seen as a Galois group of a field extension L/K: a structure built on top of K and possibly involving irrational numbers going beyond square roots.
These days the term is generally used synonymously with the study of all the abelian extensions of algebraic number fields, or more generally of global fields; an abelian extension being a Galois extension with Galois group that is an abelian group (a finite abelian extension of Q is often simply called an abelian number field). In general terms, the objective is either to construct extensions of this type for a general number field K, or, to predict their arithmetical properties in terms of the arithmetical properties of K itself.
Contents |
Formulation in contemporary language
In modern language there is a maximal abelian extension A of K, which will be of infinite degree over K; and associated to A a Galois group G which will be a pro-finite group, so a compact topological group, and also abelian. We are interested in describing G in terms of K.
The fundamental result of class field theory states that the group G is naturally isomorphic to the profinite completion of the idele class group of K. For example when K is the field of rational numbers the abelianized absolute Galois group G of K is (naturally isomorphic to) an infinite product of the group of units of the p-adic integers taken over all prime numbers p, and the corresponding maximal abelian extension of the rationals is the field generated by all roots of unity. This is known as the Kronecker-Weber theorem, originally stated by Kronecker.
In case K = 
, the isomorphism of class field theory (i.e. the reciprocity map, or Artin reciprocity) admits an explicit description due to the Kronecker-Weber theorem, which states that the maximal abelian extension of is given by adjoining all roots of unity to . Let us denote with 
the group of all roots of unity, i.e. the torsion subgroup. The Artin reciprocity map is given by 
when it is geometrically normalized, or given by 
if it is arthimetically normalized.
For a description of the general case see class formation.
Prime ideals
More than just the abstract description of G, it is essential for the purposes of number theory to understand how prime ideals decompose in the abelian extensions. The description is in terms of Frobenius elements, and generalises in a far-reaching way the quadratic reciprocity law that gives full information on the decomposition of prime numbers in quadratic fields. The class field theory project included the 'higher reciprocity laws' (cubic reciprocity and so on), but is not limited to that one, classical, line of generalisation.
History
The generalisation took place as a long-term historical project, involving quadratic forms and their 'genus theory', the reciprocity laws, work of Kummer and Kronecker/Hensel on ideals and completions, the theory of cyclotomic and Kummer extensions, conjectures of Hilbert and proofs by numerous mathematicians (Takagi, Hasse, Artin, Furtwängler and others). The crucial Takagi existence theorem was known by 1920 and all the main results by about 1930. One of the last classical conjectures to be proved was the principalisation property.
In the 1930s and subsequently the use of infinite extensions and the theory of Krull of their Galois groups was found increasingly useful. It combines with Pontryagin duality to give a clearer if more abstract formulation of the central result, the Artin reciprocity law. It is also basic to Iwasawa theory.
After the results were reformulated in terms of group cohomology, the field became relatively static. The Langlands program provided a fresh impetus, in its shape as 'non-abelian class field theory', though that description should be regarded as outgrown by now if it is confined to the question of how prime ideals split in general Galois extensions.
See also
References
- Artin, Emil; Tate, John (1990), Class field theory, Redwood City, Calif.: Addison-Wesley, ISBN 978-0-201-51011-9
- Fröhlich, A.; Cassels, J. W. (1967), Algebraic number theory, Boston, MA: Academic Press, ISBN 978-0-12-163251-9
- Neukirch, Jürgen (1986), Class Field Theory, Berlin, New York: Springer-Verlag, ISBN 978-3-540-15251-4
- Neukirch, Jürgen (1999), Algebraic Number Theory, Grundlehren der mathematischen Wissenschaften, 322, Berlin: Springer-Verlag, MR1697859, ISBN 978-3-540-65399-8
- Conrad, Keith, History of class field theory., http://www.math.uconn.edu/~kconrad/blurbs/gradnumthy/cfthistory.pdf
This entry is from Wikipedia, the leading user-contributed encyclopedia. It may not have been reviewed by professional editors (see full disclaimer)
