# Quasi-finite field

Quasi-finite field

In mathematics, a quasi-finite field is a generalisation of a finite field. Standard local class field theory usually deals with complete fields whose residue field is "finite", but the theory applies equally well when the residue field is only assumed quasi-finite.rf|1|Serre188

Formal definition

A quasi-finite field is a perfect field "K" together with an isomorphism of topological groups: $phi : hatmathbf Z o operatorname\left\{Gal\right\}\left(K_s/K\right),$where "K""s" is an algebraic closure of "K" (necessarily separable because "K" is perfect). Generally, the field extension "K""s"/"K" will be infinite, and the Galois group is accordingly given the Krull topology. The group Z^ is the profinite completion of Z with respect to its subgroups of finite index.

This definition amounts to saying that "K" has a unique cyclic extension "K""n" of degree "n" for each integer "n" &ge; 1, and that the union of these extensions is equal to "K""s". Moreover, as part of the structure of the quasi-finite field, we must also provide a generator "F""n" for each Gal("K""n"/"K"), and the generators must be "coherent", in the sense that if "n" divides "m", the restriction of "F""m" to "K""n" is equal to "F""n".

Examples

The most basic example, which motivates the definition, is the finite field "K" = GF("q"). It has a unique cyclic extension of degree "n", namely "K""n" = GF("q""n"). The union of the "K""n" is the algebraic closure "K""s". We take "F""n" to be the Frobenius element; that is, "F""n"("x") = "x""q".

Another example is "K" = C(("T")), the ring of formal Laurent series in "T" over the field C of complex numbers. (These are simply formal power series in which we also allow finitely many terms of negative degree.) It can be shown that "K" has a unique cyclic extension: $K_n = mathbf C\left(\left(T^\left\{1/n\right\}\right)\right)$of degree "n" for each "n" &ge; 1, whose union is an algebraic closure of "K", and that a generator of Gal("K""n"/"K") is given by: $F_n\left(T^\left\{1/n\right\}\right) = e^\left\{2pi i/n\right\} T^\left\{1/n\right\}.$In fact, this construction can be generalised to the situation where C is replaced by any algebraically closed field "C" of characteristic zero.rf|2|Serre191

Notes

ent|1| Serre188 Serre p. 188ent|2| Serre191 Serre p. 191

References

*

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Finite field — In abstract algebra, a finite field or Galois field (so named in honor of Évariste Galois) is a field that contains only finitely many elements. Finite fields are important in number theory, algebraic geometry, Galois theory, cryptography, and… …   Wikipedia

• Quasi-finite morphism — In algebraic geometry, a branch of mathematics, a morphism f : X rarr; Y of schemes is quasi finite if it satisfies the following two conditions:* f is locally of finite type. * For every point y isin; Y , the scheme theoretic fiber X times; Y k… …   Wikipedia

• Finite morphism — In algebraic geometry, a branch of mathematics, a morphism of schemes is a finite morphism, if Y has an open cover by affine schemes Vi = SpecBi such that for each i, f − 1(Vi) = Ui is an open affine subscheme SpecAi, and the restriction of …   Wikipedia

• Quasi-algebraically closed field — In mathematics, a field F is called quasi algebraically closed (or C1) if for every non constant homogeneous polynomial P over F has a non trivial zero provided the number of its variables is more than its degree. In other words, if P is a non… …   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.[1] Given such a field, an absolute value can be defined on it. There are two basic types of local field …   Wikipedia

• 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… …   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

• Quasi-bialgebra — In mathematics, quasi bialgebras are a generalization of bialgebras, which were defined by the Ukrainian mathematician Vladimir Drinfeld in 1990.A quasi bialgebra mathcal{B A} = (mathcal{A}, Delta, varepsilon, Phi) is an algebra mathcal{A} over a …   Wikipedia

• Classification of finite simple groups — Group theory Group theory …   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