Takagi existence theorem

Last updated

In class field theory, the Takagi existence theorem states that for any number field K there is a one-to-one inclusion reversing correspondence between the finite abelian extensions of K (in a fixed algebraic closure of K) and the generalized ideal class groups defined via a modulus of K.

Contents

It is called an existence theorem because a main burden of the proof is to show the existence of enough abelian extensions of K.

Formulation

Here a modulus (or ray divisor) is a formal finite product of the valuations (also called primes or places) of K with positive integer exponents. The archimedean valuations that might appear in a modulus include only those whose completions are the real numbers (not the complex numbers); they may be identified with orderings on K and occur only to exponent one.

The modulus m is a product of a non-archimedean (finite) part mf and an archimedean (infinite) part m∞. The non-archimedean part mf is a nonzero ideal in the ring of integers OK of K and the archimedean part m∞ is simply a set of real embeddings of K. Associated to such a modulus m are two groups of fractional ideals. The larger one, Im, is the group of all fractional ideals relatively prime to m (which means these fractional ideals do not involve any prime ideal appearing in mf). The smaller one, Pm, is the group of principal fractional ideals (u/v) where u and v are nonzero elements of OK which are prime to mf, u ≡ v mod mf, and u/v > 0 in each of the orderings of m∞. (It is important here that in Pm, all we require is that some generator of the ideal has the indicated form. If one does, others might not. For instance, taking K to be the rational numbers, the ideal (3) lies in P4 because (3) = (−3) and −3 fits the necessary conditions. But (3) is not in P4∞ since here it is required that the positive generator of the ideal is 1 mod 4, which is not so.) For any group H lying between Im and Pm, the quotient Im/H is called a generalized ideal class group.

It is these generalized ideal class groups which correspond to abelian extensions of K by the existence theorem, and in fact are the Galois groups of these extensions. That generalized ideal class groups are finite is proved along the same lines of the proof that the usual ideal class group is finite, well in advance of knowing these are Galois groups of finite abelian extensions of the number field.

A well-defined correspondence

Strictly speaking, the correspondence between finite abelian extensions of K and generalized ideal class groups is not quite one-to-one. Generalized ideal class groups defined relative to different moduli can give rise to the same abelian extension of K, and this is codified a priori in a somewhat complicated equivalence relation on generalized ideal class groups.

In concrete terms, for abelian extensions L of the rational numbers, this corresponds to the fact that an abelian extension of the rationals lying in one cyclotomic field also lies in infinitely many other cyclotomic fields, and for each such cyclotomic overfield one obtains by Galois theory a subgroup of the Galois group corresponding to the same field L.

In the idelic formulation of class field theory, one obtains a precise one-to-one correspondence between abelian extensions and appropriate groups of ideles, where equivalent generalized ideal class groups in the ideal-theoretic language correspond to the same group of ideles.

Earlier work

A special case of the existence theorem is when m = 1 and H = P1. In this case the generalized ideal class group is the ideal class group of K, and the existence theorem says there exists a unique abelian extension L/K with Galois group isomorphic to the ideal class group of K such that L is unramified at all places of K. This extension is called the Hilbert class field. It was conjectured by David Hilbert to exist, and existence in this special case was proved by Philipp Furtwängler in 1907, before Takagi's general existence theorem.

A further and special property of the Hilbert class field, not true of smaller abelian extensions of a number field, is that all ideals in a number field become principal in the Hilbert class field. It required Artin and Furtwängler to prove that principalization occurs.

History

The existence theorem is due to Takagi, who proved it in Japan during the isolated years of World War I. He presented it at the International Congress of Mathematicians in 1920, leading to the development of the classical theory of class field theory during the 1920s. At Hilbert's request, the paper was published in Mathematische Annalen in 1925.

See also

Related Research Articles

In number theory, the ideal class group of an algebraic number field K is the quotient group JK /PK where JK is the group of fractional ideals of the ring of integers of K, and PK is its subgroup of principal ideals. The class group is a measure of the extent to which unique factorization fails in the ring of integers of K. The order of the group, which is finite, is called the class number of K.

In abstract algebra, an abelian extension is a Galois extension whose Galois group is abelian. When the Galois group is also cyclic, the extension is also called a cyclic extension. Going in the other direction, a Galois extension is called solvable if its Galois group is solvable, i.e., if the group can be decomposed into a series of normal extensions of an abelian group. Every finite extension of a finite field is a cyclic extension.

<span class="mw-page-title-main">Algebraic number theory</span> Branch of number theory

Algebraic number theory is a branch of number theory that uses the techniques of abstract algebra to study the integers, rational numbers, and their generalizations. Number-theoretic questions are expressed in terms of properties of algebraic objects such as algebraic number fields and their rings of integers, finite fields, and function fields. These properties, such as whether a ring admits unique factorization, the behavior of ideals, and the Galois groups of fields, can resolve questions of primary importance in number theory, like the existence of solutions to Diophantine equations.

In mathematics, class field theory (CFT) is the fundamental branch of algebraic number theory whose goal is to describe all the abelian Galois extensions of local and global fields using objects associated to the ground field.

In mathematics, a Galois module is a G-module, with G being the Galois group of some extension of fields. The term Galois representation is frequently used when the G-module is a vector space over a field or a free module over a ring in representation theory, but can also be used as a synonym for G-module. The study of Galois modules for extensions of local or global fields and their group cohomology is an important tool in number theory.

Chebotarev's density theorem in algebraic number theory describes statistically the splitting of primes in a given Galois extension K of the field of rational numbers. Generally speaking, a prime integer will factor into several ideal primes in the ring of algebraic integers of K. There are only finitely many patterns of splitting that may occur. Although the full description of the splitting of every prime p in a general Galois extension is a major unsolved problem, the Chebotarev density theorem says that the frequency of the occurrence of a given pattern, for all primes p less than a large integer N, tends to a certain limit as N goes to infinity. It was proved by Nikolai Chebotaryov in his thesis in 1922, published in.

In algebraic number theory, it can be shown that every cyclotomic field is an abelian extension of the rational number field Q, having Galois group of the form . The Kronecker–Weber theorem provides a partial converse: every finite abelian extension of Q is contained within some cyclotomic field. In other words, every algebraic integer whose Galois group is abelian can be expressed as a sum of roots of unity with rational coefficients. For example,

In number theory, the Hasse norm theorem states that if L/K is a cyclic extension of number fields, then if a nonzero element of K is a local norm everywhere, then it is a global norm. Here to be a global norm means to be an element k of K such that there is an element l of L with ; in other words k is a relative norm of some element of the extension field L. To be a local norm means that for some prime p of K and some prime P of L lying over K, then k is a norm from LP; here the "prime" p can be an archimedean valuation, and the theorem is a statement about completions in all valuations, archimedean and non-archimedean.

Hilbert's twelfth problem is the extension of the Kronecker–Weber theorem on abelian extensions of the rational numbers, to any base number field. It is one of the 23 mathematical Hilbert problems and asks for analogues of the roots of unity that generate a whole family of further number fields, analogously to the cyclotomic fields and their subfields. Leopold Kronecker described the complex multiplication issue as his liebster Jugendtraum, or "dearest dream of his youth", so the problem is also known as Kronecker's Jugendtraum.

The Artin reciprocity law, which was established by Emil Artin in a series of papers, is a general theorem in number theory that forms a central part of global class field theory. The term "reciprocity law" refers to a long line of more concrete number theoretic statements which it generalized, from the quadratic reciprocity law and the reciprocity laws of Eisenstein and Kummer to Hilbert's product formula for the norm symbol. Artin's result provided a partial solution to Hilbert's ninth problem.

In algebraic number theory, the Hilbert class fieldE of a number field K is the maximal abelian unramified extension of K. Its degree over K equals the class number of K and the Galois group of E over K is canonically isomorphic to the ideal class group of K using Frobenius elements for prime ideals in K.

In number theory, a Hecke character is a generalisation of a Dirichlet character, introduced by Erich Hecke to construct a class of L-functions larger than Dirichlet L-functions, and a natural setting for the Dedekind zeta-functions and certain others which have functional equations analogous to that of the Riemann zeta-function.

In mathematics, a class formation is a topological group acting on a module satisfying certain conditions. Class formations were introduced by Emil Artin and John Tate to organize the various Galois groups and modules that appear in class field theory.

In mathematics, non-abelian class field theory is a catchphrase, meaning the extension of the results of class field theory, the relatively complete and classical set of results on abelian extensions of any number field K, to the general Galois extension L/K. While class field theory was essentially known by 1930, the corresponding non-abelian theory has never been formulated in a definitive and accepted sense.

The Brumer–Stark conjecture is a conjecture in algebraic number theory giving a rough generalization of both the analytic class number formula for Dedekind zeta functions, and also of Stickelberger's theorem about the factorization of Gauss sums. It is named after Armand Brumer and Harold Stark.

In algebraic number theory, the conductor of a finite abelian extension of local or global fields provides a quantitative measure of the ramification in the extension. The definition of the conductor is related to the Artin map.

In mathematics, a ray class field is an abelian extension of a global field associated with a ray class group of ideal classes or idele classes. Every finite abelian extension of a number field is contained in one of its ray class fields.

In mathematics, class field theory is the study of abelian extensions of local and global fields.

In number theory, a symbol is any of many different generalizations of the Legendre symbol. This article describes the relations between these various generalizations.

References

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.