Takagi existence theorem

Takagi existence theorem

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".

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 "m""f" and an archimedean (infinite) part "m". The non-archimedean part "m""f" is a nonzero ideal in the ring of integers "O""K" 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, "I""m", is the group of all fractional ideals relatively prime to "m" (which means these fractional ideals do not involve any prime ideal appearing in "m""f"). The smaller one, "P""m", is the group of principal fractional ideals ("u"/"v") where "u" and "v" are nonzero elements of "O""K" which are prime to "m""f", "u" ≡ "v" mod "m""f", and "u"/"v" > 0 in each of the orderings of "m". (It is important here that in "P""m", 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 "P"4 because (3) = (-3) and -3 fits the necessary conditions. But (3) is not in "P"4∞ 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 "I""m" and "P""m", the quotient "I""m"/"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" = "P"1. 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 Furtwängler in 1907, before Takagi's general existence theorem.

A further and special property of the Hilbert class field, not true of other 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.

ee also

*Class formation

References

* Helmut Hasse, "History of Class Field Theory", pp. 266-279 in "Algebraic Number Theory", eds. J. W. S. Cassels and A. Fröhlich, Academic Press 1967. (See also the rich bibliography attached to Hasse's article.)


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Théorème d'existence de Takagi — En mathématiques et dans la théorie des corps de classes, le théorème d existence de Takagi établit en partie que si K est un corps de nombres de groupe de classes G, il existe une unique extension abélienne L/K de groupe de Galois G telle que… …   Wikipédia en Français

  • Teiji Takagi — (高木 貞治 Takagi Teiji , April 21,1875 February 28,1960) was a Japanese mathematician, best known for proving the Takagi existence theorem in class field theory.He was born in the mountainous and rural region of Gifu, Japan. He began learning… …   Wikipedia

  • Class formation — In mathematics, a class formation is a structure used to organize the various Galois groups and modules that appear in class field theory. They were invented by Emil Artin and John Tate. Contents 1 Definitions 2 Examples of class formations 3 The …   Wikipedia

  • List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… …   Wikipedia

  • Class field theory — In mathematics, class field theory is a major branch of algebraic number theory that studies abelian extensions of number fields. Most of the central results in this area were proved in the period between 1900 and 1950. The theory takes its name… …   Wikipedia

  • List of mathematics articles (T) — NOTOC T T duality T group T group (mathematics) T integration T norm T norm fuzzy logics T schema T square (fractal) T symmetry T table T theory T.C. Mits T1 space Table of bases Table of Clebsch Gordan coefficients Table of divisors Table of Lie …   Wikipedia

  • List of algebraic number theory topics — This is a list of algebraic number theory topics. Contents 1 Basic topics 2 Important problems 3 General aspects 4 Class field theory …   Wikipedia

  • Artin reciprocity law — The Artin reciprocity law, established by Emil Artin in a series of papers (1924; 1927; 1930), is a general theorem in number theory that forms a central part of the global class field theory.[1] The term reciprocity law refers to a long line of… …   Wikipedia

  • Norm group — In number theory, a norm group is a group of the form where L / K is a finite abelian extension of nonarchimedean local fields. One of the main theorems in local class field theory states that the norm groups in are precisely the open subgroups… …   Wikipedia

  • David Hilbert — Hilbert redirects here. For other uses, see Hilbert (disambiguation). David Hilbert David Hilbert (1912) Born …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”