# Local class field theory

﻿
Local class field theory

In mathematics, local class field theory is the study in number theory of the abelian extensions of local fields. It is in itself a rather successful theory, leading to definite conclusions. It is also important for (and was developed to help elucidate) the proofs of class field theory itself.

The basic theory concerns for a local field "K", the description of the Galois group "G" of the "maximal" abelian extension of "K". This is closely related to "K"&times;, the multiplicative group of "K"{0}. These groups cannot be equal: The topological group "G" is pro-finite and so compact. On the other hand "K"&times; is not compact.

Taking the case where "K" is a finite extension of the p-adic numbers Qp, we can say more precisely that "K"&times; has the structure of a cartesian product of a compact group with an infinite cyclic group. The main topological operation is to replace the infinite cyclic group by a group Z^, i.e. its pro-finite completion with respect to subgroups of finite index. This can be done by indicating a topology on "K"&times;, for which we can complete. This, roughly speaking, is then the correct group to identify with "G".

The actual isomorphism used is important in practice, and is described in the theory of the norm residue symbol.

For a description of the general case of local class field theory see class formation.

* Class field theory
* Class formation
* Quasi-finite field

References

* Milne, James, [http://www.jmilne.org/math/CourseNotes/math776.html Class Field Theory] .
* Fesenko, Ivan and Vostokov, Sergei, [http://www.maths.nott.ac.uk/personal/ibf/book/book.html Local Fields and Their Extension] , 2nd ed., American Mathematical Society, 2002, ISBN 0-8218-3259-X
* Iwasawa, Kenkichi, "Local Class Field Theory", Oxford University Press, 1986, ISBN 0195040309.
* Neukirch, Jürgen, "Class field theory", Springer-Verlag, 1986, ISBN 3-540-15251-2. Chap.III.
* Serre, Jean-Pierre, Local Class Field Theory in "Algebraic Number Theory", Proceedings (edd Cassels, J.W.S. and Fröhlich, A), Academic Press, 1967, ISBN 012268950X. Pp. 128-161.

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• 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

• Conductor (class field theory) — 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. Contents 1 Local… …   Wikipedia

• Quantum field theory — In quantum field theory (QFT) the forces between particles are mediated by other particles. For instance, the electromagnetic force between two electrons is caused by an exchange of photons. But quantum field theory applies to all fundamental… …   Wikipedia

• Local Fields (book) — Local Fields   Author(s) Jean Pierre Serre …   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

• Local field — In mathematics, a local field is a special type of field that is a locally compact topological field with respect to a non discrete topology. Given such a field, an absolute value can be defined on it. There are two basic types of local field …   Wikipedia

• Field (mathematics) — This article is about fields in algebra. For fields in geometry, see Vector field. For other uses, see Field (disambiguation). In abstract algebra, a field is a commutative ring whose nonzero elements form a group under multiplication. As such it …   Wikipedia

• Field electron emission — It is requested that a diagram or diagrams be included in this article to improve its quality. For more information, refer to discussion on this page and/or the listing at Wikipedia:Requested images. Field emission (FE) (also known as field… …   Wikipedia

• Class (computer programming) — In object oriented programming, a class is a construct that is used as a blueprint to create instances of itself – referred to as class instances, class objects, instance objects or simply objects. A class defines constituent members which enable …   Wikipedia

• Field extension — In abstract algebra, field extensions are the main object of study in field theory. The general idea is to start with a base field and construct in some manner a larger field which contains the base field and satisfies additional properties. For… …   Wikipedia