In mathematics, a local field is a locally compact Hausdorff non-discrete topological field. Local fields find many applications in algebraic number theory, where they arise naturally as completions of global fields. Moreover, tools like integration and Fourier analysis are available for functions defined on local fields. Given a local field, an absolute value can be defined on it which gives rise to a complete metric that generates its topology. There are two basic types of local field: those called Archimedean local fields in which the absolute value is Archimedean, and those called non-Archimedean local fields in which it is not. Non-Archimedean local fields can also be defined as those fields which are complete with respect to a metric induced by a discrete valuation whose residue field is finite. Every local field is isomorphic (as a topological field) to one of the following:
Archimedean local fields (characteristic zero): the real numbers R {\displaystyle \mathbb {R} } , and the complex numbers C {\displaystyle \mathbb {C} } . Non-Archimedean local fields of characteristic zero: finite extensions of the p-adic numbers Q p {\displaystyle \mathbb {Q} _{p}} (where p {\displaystyle p} is any prime number). Non-Archimedean local fields of characteristic p {\displaystyle p} : the field F q ( ( t ) ) {\displaystyle \mathbb {F} _{q}((t))} of formal Laurent series in the variable t {\displaystyle t} over a finite field F q {\displaystyle \mathbb {F} _{q}} , where q {\displaystyle q} is a power of p {\displaystyle p} .
Module, absolute value, metric Given a local field F {\displaystyle F} , a "module function" on F {\displaystyle F} can be defined as follows. First, consider the additive group of the field. As a locally compact topological group, it has a unique (up to positive scalar multiple) Haar measure μ {\displaystyle \mu } . The module of an element a {\displaystyle a} of F {\displaystyle F} is defined so as to measure the change in size of a set after multiplying it by a {\displaystyle a} . Specifically, define mod K : F → R {\displaystyle \operatorname {mod} _{K}:F\to \mathbb {R} } by
mod K ( a ) = μ ( a X ) μ ( X ) {\displaystyle \operatorname {mod} _{K}(a)={\frac {\mu (aX)}{\mu (X)}}}
for any measurable subset X {\displaystyle X} of F {\displaystyle F} (with 0 < μ ( X ) < ∞ {\displaystyle 0<\mu (X)<\infty } ). This module does not depend on X {\displaystyle X} nor on the choice of Haar measure μ {\displaystyle \mu } (since the same scalar multiple ambiguity will occur in both the numerator and the denominator). The function mod K {\displaystyle \operatorname {mod} _{K}} is continuous and satisfies
mod K ( a b ) = mod K ( a ) mod K ( b ) , {\displaystyle \operatorname {mod} _{K}(ab)=\operatorname {mod} _{K}(a)\operatorname {mod} _{K}(b),}
mod K ( a + b ) ≤ A sup ( mod K ( a ) , mod K ( b ) ) {\displaystyle \operatorname {mod} _{K}(a+b)\leq A\sup \left(\operatorname {mod} _{K}(a),\operatorname {mod} _{K}(b)\right)}
… excerpt ends here. Continue reading the full article.
