局部體

在數學上，局部體是一類特別的體，它有非平凡的絕對值，此絕對值賦予的拓撲是局部緊的。局部體可粗分為兩類：一種的絕對值滿足阿基米德性質（稱作阿基米德局部體），另一種的絕對值不滿足阿基米德性質（稱作非阿基米德局部體）。在數論中，數體的完備化給出局部體的典型例子。

非阿基米德局部體

設${\displaystyle F}$為非阿基米德局部體，而${\displaystyle |\cdot |}$為其絕對值。關鍵在下述對象：

• 閉單位球：${\displaystyle \{a\in F:|a|\leq 1\}}$，或其整數環${\displaystyle {\mathcal {O}}}$，這是個緊集。
• 整數環裡的單位元素：${\displaystyle {\mathcal {O}}^{\times }=\{a\in F:|a|=1\}}$
• 開單位球：${\displaystyle \{a\in F:|a|<1\}}$，這同時是其整數環裡唯一的極大理想，也記作${\displaystyle {\mathfrak {m}}}$。

上述對象與賦值環的構造相呼應；事實上，可證明必存在實數${\displaystyle 0<c<1}$及離散賦值${\displaystyle v:F^{\times }\rightarrow \mathbb {Z} }$，使得

${\displaystyle \forall a\in F\;c^{v(a)}=|a|}$.

可取唯一的${\displaystyle c}$使得${\displaystyle v}$為滿射，稱之為正規化賦值。

從此引出非阿基米德局部體的另一個等價定義：一個體${\displaystyle F}$，帶離散賦值${\displaystyle v:F^{\times }\rightarrow \mathbb {Z} }$，使得${\displaystyle F}$成為完備的拓撲體，而且剩餘體有限。

這類局部體的行為可由局部類體論描述。

分類

局部體的完整分類如次：

• ${\displaystyle \mathbb {R} ,\mathbb {C} }$。這些是阿基米德局部體。
• p進數體${\displaystyle \mathbb {Q} _{p}}$的有限擴張。這些是特徵為零的非阿基米德局部體。
• ${\displaystyle \mathbb {F} _{q}((T))}$的有限擴張（其中${\displaystyle \mathbb {F} _{q}}$表有q個元素的有限體）。這些是特徵非零的非阿基米德局部體。

文獻

• Milne, James, Algebraic Number Theory.
• Serre, Jean-Pierre. Corps locaux. Hermann. 1968.