局所体
局所体(きょくしょたい、)とは、離散付値に対して完備であり、剰余体が有限体である付値体のことである。
局所体の定義としては、上に挙げたもの以外にもいくつかあり、そのうちの代表的なものを挙げる。これらは互いに同値な定義である。応用上、局所体を"p"進体もしくは有限体係数の1変数ベキ級数体の有限次代数拡大体に限定することも多い。
その場合、局所体を
と定義されることもある。このとき、大域体から局所体を得ることを局所化という。
上記の定義の他に、実数体や複素数体も局所体に含めることもある。これらが
と、上記局所体の定義とよく似た性質を持っているからである。
この場合、非アルキメデス付値による局所体を非アルキメデス的局所体、アルキメデス付値による局所体をアルキメデス的局所体という。
しかし実数体(複素数体)と "p"進体または1変数ベキ級数体とでは性質の異なる部分が多いので、ここでは当初の定義通り、特に断らない限り局所体といった場合、実数体や複素数体は含まれないとする。しかし、局所体との類似点や相違点を知るために、局所体の性質に対応する実数体や複素数体の結果も記述することにする。
なお、この項では局所体としての性質を記述し、"p"進体もしくはベキ級数体固有の性質については述べない。それらに対する詳細は個々の記事を参照のこと。
局所体を特徴付ける位相的性質を述べる。局所体 に対して、乗法群 は以下の様に分解される。
ここで、 は素元 によって生成される巡回群、 は の剰余体の元の個数、 は の  乗根全体のなす群、 は単数群、 は主単数群である。
さらに単数群 は、以下の様に分解される。
(1) の標数が 0 であるとき
但し、 は に含まれる 1 のベキ根全体のなす群であり、その位数を "m" とする。
(2) の標数が 0 でないとき
である。
また、主単数群 は、以下の様に分解される。
(1) の標数が 0 であるとき
但し、 は に含まれる 1 の ベキ乗根全体のなす群の位数であり、 である。
(2) の標数が 0 でないとき
続いて、実数体もしくは複素数体の場合を考察すると
(1) 実数体の場合
単数群 は であり
(2) 複素数体の場合
単数群 は と同型であり
formula_5 を局所体とし、"F" を formula_6 の剰余体、π を formula_6 の素元としたとき、formula_6 と同値な非アルキメデス付値 formula_9 として
を満たすものが唯１つ存在する。この formula_9 を "K" の正規付値という。
formula_5 を完備なアルキメデス付値体としたとき、"K" は実数体もしくは複素数体と同型であるが、 "K" の正規付値を、"K" が実数体と同型であるときは、formula_12 とし、"K" が複素数体と同型であるとき、formula_13 と定める。ここで、formula_14 は実数もしくは複素数上の絶対値とする。
上で定義された正規付値と、先に挙げた単数群の分解を用いることで、以下のことが得られる。
局所体 "K" に対して、正整数 "n" を "K" の標数が 0 でないときは、"K" の標数で割り切れない様にとる("K" の標数が 0 であるときは "n" は任意の正整数でよい)。formula_15 を formula_16 に含まれる "n" 乗数全体からなる群とし、formula_17 を単数群 "U" に含まれる "n" 乗数全体からなる群とすれば、
\#\mu_n(K)
が成立する。但し formula_18 は "K" に含まれる 1 の "n" 乗根全体のなす群とし、formula_19 は "K" の正規付値である。
"K" が実数体もしくは複素数体であるときは、上式に類似した
\#\mu_n(K)
が成立する。
1次元トーラス formula_20 を "T" とし、加法群 formula_21 から乗法群 "T" への連続な同型写像を
で定める。
"K" を局所体とすると、"K" は加法に対する局所コンパクトな位相群と見なせるので、"K" から "T" への連続な準同型写像、つまり "K" の連続な指標が存在する。連続な指標全体からなる群つまり指標群を formula_22 とおく。
局所体 "K" に対して、"K" の正規指標 formula_23 を以下の様に定める。
(1) "K" が "p"進体のとき
"p"進体 の 0 ではない元 "x" に対して、
と "p" 進展開したとき
と定めると、"p" 進体上の連続な指標となる。
(2) "K" が "p"進体の有限次拡大体であるとき
(1) で得られた formula_24 と、formula_25 に対するトレースを用いて
で定義すると、"K" 上の連続な指標となる。
(3) "K" が有限体係数の1変数ベキ級数体 formula_26 であるとき
"F" の標数を "p" とし、"K" 上の点 "x" を
と表したとき、"K" 上の正規指標 formula_23 を
で定める。ここで、formula_28 を formula_29 を満たす様にとる。
"K" がいずれの場合に対しても、"K" の任意の元 "a" を１つ取り固定したとき、
は、"K" の連続な指標となる。このことから "K" の元 "a" に対して、指標群 formula_22 の元として formula_31 を対応させることにより、"K" と formula_22 は同一視される。
上で述べた "K" と formula_22 が同一視できることは、"K" が実数体もしくは複素数体でも成立する。
実数体の場合は、任意の実数 "a" に対して、formula_34 とすれば、実数体と formula_35 は同一視され、複素数体の場合は、任意の複素数 "a" に対して、formula_36 とすれば、複素数体と formula_37 は同一視される。
局所体 "K" の付値環を "R" とすると、"R" はコンパクトであるので、"K" を加法に対する位相群とみなすことにより、"K" 上のハール測度 μ で、formula_38 と正規化されたものが唯一存在する。
次に、formula_1 を乗法に対する位相群とみなすことにより、単数群 "U" に対して、formula_40 と正規化されたハール測度 formula_41 が唯１つ存在する。このとき formula_42 は μ を用いて以下の様に表される。
(1) "K" が "p"進体の有限次拡大と同型のとき
formula_9 を "K" の正規付値としたとき、
が成立する。ここで、"q" は剰余体の元の個数とする。
(2) "K" が formula_44 と同型のとき
formula_9 を "K" の正規付値としたとき、
が成立する。
ここで、実数体や複素数体についても考察する。これらの絶対値に対して付値環は定義できないので、ハール測度として1次元または2次元の実数空間上のルベーグ測度を考える。 formula_46 に対して、"K" の加法群としてのハール測度を formula_47、乗法群 formula_1 のハール測度を formula_49 とし、formula_9 を "K" の正規付値とすれば
が成立する。
局所体の場合の関係式と見比べると、実数体や複素数体の結果は、formula_51 に対応していることがわかる。このことからも絶対値を formula_52 と書く妥当性の一端が現れている。
局所体 "K" の有限次代数拡大体 "L" は局所体であり、"K" の離散付値は "L" に同値なものを除いて一意的に延長される。従って、"K" の離散付値は "K" の代数閉包 formula_53 まで一意的に延長される。しかし、 formula_53 は完備ではないので局所体ではないが、 formula_53 の完備化 formula_56 を考えれば局所体となる。
この項では、局所体の有限次代数拡大体の性質について述べる。
"K" を局所体とすると、任意の正整数 "n" に対して、"K" の "n" 次の代数拡大体 "L" で "K" の不分岐拡大となるものが同型を除いて唯１つ存在する。さらに formula_57 を、それぞれ "K", "L" の付値環とすると、
が成立し、formula_58 は位数 "n" の巡回群となる。
上記において、formula_58 は以下の性質を満たす "L" の自己同型写像 formula_60 で生成される。
但し、formula_61 は formula_62 の付値環、formula_63 はその付値イデアル、"q" を "K" の剰余体 formula_64 の元の個数とする。
この formula_60 を formula_66 のフロベニウス自己同型写像もしくはフロベニウス置換という。
さて、局所体 "K" の "n" 次代数拡大体に対して、不分岐拡大となるものは上のことから同型を除いて１つしか存在しないが、それ以外(つまり不分岐ではない拡大体)については、以下のことが成立する。
"T" を formula_66 の最大不分岐部分拡大体とすれば、拡大次数 formula_68 は、"L" の "K" に対する剰余次数に等しく、formula_69 は完全分岐であり、拡大次数 formula_70 は、"L" の "K" に対する分岐指数に等しい。
以上のことの例として、formula_71 の2次の代数拡大体は、同型を除くと formula_72 だけであるが、
このうち最初に挙げた formula_73 が不分岐拡大である。
特に、formula_66 が有限次ガロア拡大であるとすれば、formula_69 のガロア群が可解群となるので(付値体を参照)、formula_66 のガロア群もそうである。
つまり、局所体 "K" 上の任意の代数方程式に対して、有限回の四則計算と根号を用いて代数的に根を得ることができる。