In algebra, a locally compact field is a topological field whose topology forms a locally compact Hausdorff space. These kinds of fields were originally introduced in p-adic analysis since the fields Q p {\displaystyle \mathbb {Q} _{p}} of p-adic numbers are locally compact topological spaces constructed from the norm | ⋅ | p {\displaystyle |\cdot |_{p}} on Q {\displaystyle \mathbb {Q} } . The topology (and metric space structure) is essential because it allows one to construct analogues of algebraic number fields in the p-adic context.
Structure
Finite dimensional vector spaces One of the useful structure theorems for vector spaces over locally compact fields is that the finite dimensional vector spaces have only one equivalence class of norms: the sup norm. pg. 58-59
Finite field extensions Given a finite field extension K / F {\displaystyle K/F} over a locally compact field F {\displaystyle F} , there is at most one unique field norm | ⋅ | K {\displaystyle |\cdot |_{K}} on K {\displaystyle K} extending the field norm | ⋅ | F {\displaystyle |\cdot |_{F}} ; that is, | f | K = | f | F {\displaystyle |f|_{K}=|f|_{F}} for all f ∈ K {\displaystyle f\in K} which is in the image of F ↪ K {\displaystyle F\hookrightarrow K} . Note this follows from the previous theorem and the following trick: if ‖ ⋅ ‖ 1 , ‖ ⋅ ‖ 2 {\displaystyle \|\cdot \|_{1},\|\cdot \|_{2}} are two equivalent norms, and ‖ x ‖ 1 < ‖ x ‖ 2 {\displaystyle \|x\|_{1}<\|x\|_{2}} then for a fixed constant c 1 {\displaystyle c_{1}} there exists an N 0 ∈ N {\displaystyle N_{0}\in \mathbb {N} } such that ( ‖ x ‖ 1 ‖ x ‖ 2 ) N < 1 c 1 {\displaystyle \left({\frac {\|x\|_{1}}{\|x\|_{2}}}\right)^{N}<{\frac {1}{c_{1}}}} for all N ≥ N 0 {\displaystyle N\geq N_{0}} since the sequence generated from the powers of N {\displaystyle N} converge to 0 {\displaystyle 0} .
… excerpt ends here. Continue reading the full article.
