Local field

From Wikipedia, the free encyclopedia

Categories: Field theory | Algebraic number theory

In mathematics, a local field is a special type of field that has a non-trivial absolute value and which is a locally compact topological field with respect to this absolute value. There are two basic types of local field: those in which the absolute value is Archimedean and those in which it is non-Archimedean. In the first case, one calls the local field an archimedean local field, in the second case, one calls it a non-archimedean local field. There is an equivalent definition of non-archimedean local field given below. Local fields arise naturally in number theory as completions of global fields.

The complete classification of local fields (up to isomorphism) is the following:

Archimedean local fields (characteristic zero): the real numbers R, and the complex numbers C.
Non-archimedean local fields of characteristic zero: finite extensions of the p-adic numbers Q_p .
Non-archimedean local fields of characteristic p: finite extensions of the field of formal Laurent series F_q((T)) over a finite field F_q.

1 Non-Archimedean local fields
2 Examples
3 See also
4 References

Non-Archimedean local fields

For a non-archimedean local field Failed to parse (Missing texvc executable; please see math/README to configure.): F , the following objects are very important:

its ring of integers Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{O}

which is its closed unit ball Failed to parse (Missing texvc executable; please see math/README to configure.): \{a\in F: |a|\leq 1\}
(it is compact),

the units in its ring of integers Failed to parse (Missing texvc executable; please see math/README to configure.): \mathcal{O}^\times

which is its unit sphere Failed to parse (Missing texvc executable; please see math/README to configure.): \{a\in F: |a|= 1\}

the unique prime ideal in its ring of integers Failed to parse (Missing texvc executable; please see math/README to configure.): \mathfrak{m}

which is its open unit ball Failed to parse (Missing texvc executable; please see math/README to configure.): \{a\in F: |a|< 1\}

its residue field Failed to parse (Missing texvc executable; please see math/README to configure.): k=\mathcal{O}/\mathfrak{m}

which is finite (since it is compact and  discrete).

One often talks about the (discrete) valuation of a non-archimedean local field. This is a map Failed to parse (Missing texvc executable; please see math/README to configure.): v:F\rightarrow\mathbb{R}\cup\{\infty\}

obtained as follows: there is a real number 0 < c < 1 such that

Failed to parse (Missing texvc executable; please see math/README to configure.): c^{v(a)}=|a|\mbox{ for all }a\in F

One generally chooses c such that v surjects onto Failed to parse (Missing texvc executable; please see math/README to configure.): \mathbb{Z}\cup\{\infty\} , and calls this the normalized valuation.

An equivalent definition of a non-archimedean local field is that it is a field that is complete with respect to a discrete valuation and whose residue field is finite.

Examples

The p-adic numbers: the ring of integers of Q_p is the ring of p-adic integers Z_p. Its prime ideal is pZ_p and its residue field is Z/pZ. Every non-zero element of Q_p can be written as u pⁿ where u is a unit in Z_p and n is an integer, then v(u pⁿ) = n for the normalized valuation.
The formal Laurent series over a finite field: the ring of integers of F_q((T)) is the ring of formal power series F_q[[T]]. Its prime ideal is (T) (i.e. the power series whose constant term is zero) and its residue field is F_q. Its normalized valuation is related to the (lower) degree of a formal Laurent series as follows: Failed to parse (Missing texvc executable; please see math/README to configure.): v\left(\sum_{i=-m}^\infty a_iT^i\right) = -m