局所存在定理

$K$ を局所体とし、代数閉包 $\overline{K}$ を固定する。対応 $L \mapsto N_{L/K}L^{\times}$ は、$\overline{K}$ に含まれる $K$ の有限次 Abel 拡大の全体から、$K^{\times}$ の指数有限の開部分群の全体への、包含関係を逆にする全単射である。さらに $N(LL') = N(L) \cap N(L')$、$N(L \cap L') = N(L)N(L')$ が成り立つ（$N(L) := N_{L/K}L^{\times}$）。