付値体

**付値体**(ふちたい、)とは、乗法付値により得られる距離に対する距離空間の位相が入った位相体のことを**付値体**という。体 *K* の乗法付値 |\cdot| で付値体になるとき、\scriptstyle (K,\ |\cdot|) と表す。

付値体 \scriptstyle (K,\ |\cdot|) に対して、乗法付値 |\cdot| がアルキメデス付値であるとき、**アルキメデス付値体**、非アルキメデス付値のとき、**非アルキメデス付値体**という。

付値体の位相体としての性質は、項目位相体を参照のこと。

## 例
* 自明な付値による付値体は離散位相による位相体と等しい。逆に離散位相による位相体は、自明な付値による付値体である。
* 実数体の付値として、絶対値 |\cdot| を選ぶと、\scriptstyle (\mathbb{R},\ |\cdot|) は付値体となる。
* 複素数体の付値として、絶対値 |\cdot| を選ぶと、\scriptstyle (\mathbb{C},\ |\cdot|) は付値体となる。
* *p* を素数に対して、有理数体の付値として、''p''進付値 |\cdot|_{p} を選ぶと、\scriptstyle (\mathbb{Q},\ |\cdot|_{p}) は付値体となる。

## 離散付値体
体 *K* 上の乗法付値 |\cdot| が離散付値であるとき、付値体 \scriptstyle (K,\ |\cdot|) を**離散付値体**という。

離散付値 |\cdot| に対する付値環、付値イデアルを \scriptstyle\mathcal{O},\ \mathfrak{p} とおき、 |\cdot| の素元を &pi; とし、1 より大きい正数 *q* を

が満たされる様にとると
\right.\right\}\ \ \ \ (n=1,2,\ldots)
}}
であり、便宜的に \mathfrak{p}^0 = \mathcal{O} とおくと

は *K* の 0 に対する基本近傍系となる。また、乗法群 \scriptstyle K^{\times} に対して
\right.\right\}\ \ \ \ (n=0,1,2,\ldots)
}}
とおくと

が成立し、\{U^{(n)}|n=0,1,2,\ldots\} は \scriptstyle K^{\times} の 1 に対する基本近傍系となる。
また、各 *n* に対して、U^{(n)} は *K* の単数群 \scriptstyle\mathcal{O}^{\times} の部分群となる。これを *n* **次主単数群**といい、特に U^{(1)} を**主単数群**という。

上記の付値イデアルのベキおよび *n* 次主単数群に対して、以下のことが成立する。

各 \scriptstyle n=1,2,\ldots に対して

が成立する。

## 完備化
付値体 \scriptstyle (K,\ |\cdot|) の数列 \scriptstyle\{a_n\}_{n\ge 0} が**コーシー列**または**基本列**であるとは、任意の正数 &epsilon; に対して、ある整数 *N* が存在して、*N* より大きい任意の整数 *m*, *n* に対し

が成立することである。任意の *K* のコーシー列が *K* 内の点に収束するとき、*K* は**完備**であるといい、このとき \scriptstyle (K,\ |\cdot|) を |\cdot| に対する**完備体**という。

付値体 \scriptstyle (K,\ |\cdot|) のコーシー列は、*K* 内に収束するとは限らないので、付値体は完備であるとは限らない。例えば、先に付値体の例として挙げた例のうち、\scriptstyle (\mathbb{R},\ |\cdot|) と \scriptstyle (\mathbb{C},\ |\cdot|) は、いずれも完備体であるが、\scriptstyle (\mathbb{Q},\ |\cdot|_{p}) は完備体ではない。

任意の付値体 \scriptstyle (K,\ |\cdot|) に対して、以下の条件を満たす完備体 \scriptstyle (K^{*},\ |\cdot|^{*}) が存在する。これを *K* の**完備化**という。
# K^{*} は *K* の拡大体である。
# K は K^* の中で稠密である。
# K^* は |\cdot| の延長となる乗法付値 |\cdot|^* を持つ。
# K^* は |\cdot|^* に対して完備である。

任意の付値体 \scriptstyle (K,\ |\cdot|) に対して、完備体は付値体として同型を除いて唯一存在する。

### 完備な離散付値体
完備体 \scriptstyle (K,\ |\cdot|) が離散付値体、つまり |\cdot| が離散付値である場合を考える。
すると、*K* の 0 ではない元 &alpha; は、以下の形に一意的に表現される：

但し、\scriptstyle R_\supset\Gamma は、|\cdot| の剰余体 \scriptstyle R_/\mathfrak{m}_ の 0 を含む完全代表系、\scriptstyle\{\pi_n\}\! は |\cdot| の素元である。

特に &pi; を素元とし、\pi_n = \pi^n とすれば

と表される。付値イデアルを \mathfrak{p}=(\pi) としたとき、上記の展開のことを *K* の \mathfrak{p} **進展開**という。

例として、''p''進体 \mathbb{Q}_p の元 &alpha; は

と表現される。これを *p*進体の''p''進展開という。

### 完備体の拡大
付値体 \scriptstyle (K,\ |\cdot|_K) は、|\cdot|_K によって完備であり、*L* を *K* の代数拡大体とすると、 |\cdot|_K は、*L* に一意的に延長が可能である。もし、*L* が *K* の有限次拡大であるならば、*L* の乗法付値を |\cdot|_L とおくと、*L* は |\cdot|_L で完備となり、

が成立する。但し、*n* は *L* の *K* に対する拡大次数である。

注意として、*L* が *K* の無限次代数拡大体であるとき、*L* が完備になるとは限らない。
例えば、*p*進体の代数閉包は完備ではない。

### アルキメデス付値による完備体
アルキメデス付値に対する完備体 *K* は、実数体または複素数体に同型である（オストロフスキーの定理）。

さらに、*K* のアルキメデス付値 |\cdot| による位相体とすると、*K* から実数体もしくは複素数体の中への同型写像 &sigma; と、ある正数 &rho; が存在して、

と表される。但し |\cdot|_{\infty} は実数体もしくは複素数体の絶対値とする。

逆に &tau; を上を満たすような *K* から複素数体の中への同型写像としたとき、
* *K* の完備化が実数体に同型であるとき、\tau=\sigma である。
* *K* の完備化が複素数体に同型であるとき、\tau = \sigma または、\scriptstyle\tau(\alpha) = \overline{\sigma(\alpha)} のいずれかである。

### 非アルキメデス付値による完備体
非アルキメデス付値に対する完備体の性質として、以下のものが挙げられる。

(1) 非アルキメデス付値に対する完備体 \scriptstyle (K,\ |\cdot|) 内のコーシー列 \scriptstyle\{ a_n \}_{n\ge 0} の収束点を &alpha; としたとき、&alpha; が 0 でないならば、十分大きな全ての *n* に対して

が成立する。

(2) 非アルキメデス付値体 \scriptstyle (K,\ |\cdot|) の完備化を \scriptstyle (K',\ |\cdot|') とする。このとき、*K* が代数閉体であるならば、K' も代数閉体である。

このことから、例えば、*p*進体 \mathbb{Q}_p の代数閉包を \overline{\mathbb{Q}_p} とし、*p*進付値をこの代数閉包に延長したもので完備化した体を \mathbb{C}_p とおくと、 \mathbb{C}_p は代数閉体となる。

#### ヘンゼルの補題
非アルキメデス付値体 \scriptstyle (K,\ |\cdot|) が完備であるとする。このとき、ヘンゼルの補題と呼ばれる非常に有用な命題が成立する。

**ヘンゼルの補題**

*K* の |\cdot| の付値環、付値イデアル、剰余体を \scriptstyle R,\ \mathfrak{m},\ F とする。*R* 係数多項式 \scriptstyle f(x)\! は、以下の条件を満たすとする：
# f(x)\not\equiv 0\pmod{\mathfrak{m}}
# 互いに素である *F* 係数多項式 \tilde{g}(x),\ \tilde{h}(x) が存在して、
::f(x) \equiv \tilde{g}(x)\tilde{h}(x)\pmod{\mathfrak{m}}
このとき、*R* 係数多項式 g(x),\ h(x) (\deg g = \deg\tilde{g}) が存在して
,\ \ \ \ h(x) \equiv \tilde{h}(x)\pmod{\mathfrak{m}}
}}
が成立する。

つまり、*K* 係数多項式の可約性が、*K* よりも単純な体である剰余体上での可約性に帰着される。

ヘンゼルの補題を用いて、以下のことが示される。（さらなる応用例はヘンゼル体を参照のこと）

以下において、*K* を非アルキメデス付値 |\cdot| による完備体とし、*R* を付値環、\mathfrak{m} を付値イデアルとする。

* *R* 係数多項式 \scriptstyle f(x) = a_n x^n + \cdots + a_0 \scriptstyle (a_n\ne 0) において、\scriptstyle a_n\in\mathfrak{m} であり、\scriptstyle a_j\not\in\mathfrak{m} となる *j* \scriptstyle(1\le j  が存在すれば、\scriptstyle f(x)\! は *R*係数多項式上可約である。

* *K* 係数の既約なモニック多項式 \scriptstyle f(x) = x^n + \cdots + a_0 において、\scriptstyle a_0\in R であるならば、\scriptstyle f(x)\! は *R* 係数の既約多項式である。

* *K* 係数の多項式 \scriptstyle f(x) = a_n x^n + \cdots + a_0 \scriptstyle (a_n\ne 0) が既約多項式であるならば、

である。

* 任意の素数 *p* に対して、*p*進体 \mathbb{Q}_p は 1 の p-1 乗根を全て含む。さらに、1 の p-1 乗根の全体と 0 を合わせた集合は、*p*進付値の剰余体の完全代表系をなす。

* *a* を有理整数、*p* を素数としたとき、\scriptstyle b^2\equiv a\mod{p} となる有理整数 *b* が存在するための必要十分条件は、X^2=a が \mathbb{Q}_p 上で解をもつことである。

#### 離散付値の場合
非アルキメデス付値体に対して、付値が離散付値である場合、以下のことが成立する。

位相体 *K* は離散付値 |\cdot| によって完備であるとする。|\cdot| の剰余体の標数を p>0 としたとき

(1) *K* の標数が *p* と等しいとき
: |\cdot| の素元を &pi; としたとき、K = F((\pi)) と表される。但し、*F* は、剰余体の完全代表系となる体である。

(2) *K* の標数が 0 であるとき
: ある標数が *p* である完全体 *F* が存在して、*K* は *F* 上の Wittベクトル環の商体となる。

## ヘンゼル体
非アルキメデス付値による完備体で得られる結果の多くは、その証明にヘンゼルの補題が使われているが、ヘンゼルの補題は完備体でなくても成立する場合がある。その様な体上では、完備体で得られた多くの結果が成り立つことになる。ヘンゼルの補題が成立する付値体のことを**ヘンゼル体**という。また、与えられた付値体 \scriptstyle (K,\ |\cdot|) の拡大体で、乗法付値 |\cdot| の延長でヘンゼル体になるとき、その体のことを、付値 |\cdot| に関する体 *K* の**ヘンゼル化**という。付値体 \scriptstyle (K,\ |\cdot|) がヘンゼル体であるとき、|\cdot| を**ヘンゼル付値**、|\cdot| の付値環を**ヘンゼル付値環**という。任意の非アルキメデス付値体に対する完備化は必ず存在するので、ヘンゼル化も存在する。

### ヘンゼル化の構成
非アルキメデス付値体 \scriptstyle (K,\ |\cdot|) に対する完備化を \scriptstyle (\tilde{K},\ |\cdot|_{\tilde{K}}) とする。\tilde{K} の *K* における分離閉包を K' とおき、|\cdot|_{\tilde{K}} の K' への制限を |\cdot|' とおくと、付値体 \scriptstyle (K',\ |\cdot|') では、ヘンゼルの補題が成立する。よって、\scriptstyle (K',\ |\cdot|') は |\cdot| に関する体 *K* のヘンゼル化となる。

完備化という手法をとらずに純粋に代数的な手法でヘンゼル化を得ることができる。

非アルキメデス付値体 \scriptstyle (K,\ |\cdot|) の分離閉包を \bar{K} とし、|\cdot| の \bar{K} への延長を |\cdot|' とする。\bar{K} の |\cdot|' に対する分解群を

とし、この分解群に対する \bar{K}/K の分解体を

とおけば、K_{|\cdot|'} は、|\cdot| に関する体 *K* のヘンゼル化となる。

### ヘンゼル体の性質
先にも述べた様に、完備体の性質の多くの性質はヘンゼル体でも成立している。先に挙げたヘンゼルの補題から得られる結果以外で、ヘンゼル体でも成立する性質(当然完備体でも成立する)をいくつか挙げる。

* 付値体 \scriptstyle (K,\ |\cdot|_K) は |\cdot|_K でヘンゼル体であり、*L* を *K* の代数拡大体とすると、 |\cdot|_K は、*L* に一意的に延長が可能である。もし、*L* が *K* の有限次拡大であるならば、*L* の乗法付値を |\cdot|_L とおくと、

が成立する。但し、*n* は *L* の *K* に対する拡大次数である。

上記の逆、つまり、任意の代数拡大体への延長が唯一である様な非アルキメデス付値体はヘンゼル体であることが知られている。

* ヘンゼル体 \scriptstyle (K,\ |\cdot|) とし、\textstyle f(x) = \sum_{j=0}^na_jx^j を *K* 上の *n* 次のモニックな多項式とし、

と分解する。すると、任意の正数 &epsilon; に対して、正数 &delta; が存在して、

の *r* 個の根 \scriptstyle\beta_1,\ldots,\beta_r に対して

が成立する。

* 体 *K* が同値ではない2つの非アルキメデス付値でヘンゼル体になるのであれば、*K* は分離閉体である。
逆に *K* を分離閉体とすると、*K* の任意の非アルキメデス付値に対して、ヘンゼル体となる。

* 非アルキメデス付値体 *K* の付値環、付値イデアルを R,\ \mathfrak{m} としたとき、*K* がヘンゼル体である必要十分条件は、

を満たす任意の多項式に対して、\scriptstyle f(x)\! は \mathfrak{m} の元を根として含むことである。

## 分岐拡大
以下において、特に断らない限り、*K* を非アルキメデス付値 |\cdot|_K に対してヘンゼル体であるとし、*K* の有限次または無限次の代数拡大体 *L* に対して、|\cdot|_K の延長が同値なものを除いて唯一存在するので、それを |\cdot|_L とおき、F_K,\ F_L をそれぞれ |\cdot|_K,\ |\cdot|_L における付値環としたとき、*L* として、F_L が F_K の分離拡大である様な *K* の代数拡大体とする。例えば、*K* を*p*進体とすれば、*K* の任意の代数拡大体 *L* に対して、上記の条件は全て満たされる。

### 不分岐拡大
*L* を *K* の有限次または無限次代数拡大体とし |\cdot|_L の |\cdot|_K に対する分岐指数が 1 であるならば、*L* を *K* の**不分岐拡大体**、L/K は**不分岐**であるという。
このことは、*L* が有限次代数拡大体であるとき、\scriptstyle [L:K] = [F_L:F_K]\! を満たすことと同値であり、\scriptstyle [L:K]=n\! としたとき、*L* を *n* 次の不分岐拡大体という。

不分岐拡大について、以下のことが成立する。

(1) *L* が *K* の不分岐拡大体であるとき、*K* を含む任意の *L* の部分体も *K* の不分岐拡大体である。

(2) *K* の剰余体 F_K の標数 *p* が正であるとき、有限次代数拡大体 *L* が *K* の不分岐拡大体である必要十分条件は、*p* と互いに素な正整数 m_1,\ldots,m_r が存在して

となることである。但し \scriptstyle\zeta_j\ (1\le j\le r) は、1 の m_j 乗根とする。特に *K* に *p* と互いに素な正整数に対する 1 のベキ乗根全てを添加した体は、*K* の最大不分岐拡大体である

(3) L,\ K' を *K* の代数閉包に含まれる有限次代数拡大とし、L'=LK' とおく。このとき、L/K が不分岐であれば、L'/K' も不分岐である。

(4) L,\ L' が *K* の不分岐拡大体であるならば、合成体 LL' も *K* の不分岐拡大体である。

*K* の（有限次ないし無限次）代数拡大体 *E* に対して、*E* に含まれる *K* の不分岐拡大体全ての合成は、包含関係で最大な *K* の不分岐拡大体であり、これを E/K の**最大不分岐部分拡大**という。
特に *K* の代数閉包 \bar{K} に対して、\bar{K}/K の最大不分岐部分拡大を *K* の**最大不分岐拡大体**という。

L/K の最大不分岐拡大 *T* に対して、以下のことが成立する。
* *T* の剰余体は F_L/F_K の分離閉包であり、*T* の値群は *K* の値群と等しい。

### 順分岐拡大
この項では、*K* の |\cdot|_K に対する剰余体 F_K の標数 *p* は正であるとする。

*L* を *K* の *n* 次代数拡大体で、*K*, *L* は初めに述べた条件を満たすとする。*T* を L/K の最大不分岐部分拡大としたとき、\scriptstyle ([L:T],\ p) = 1 が満たされるならば、*L* を *K* の*n* 次の**順分岐拡大体**、L/K は**順分岐**または**分岐が穏やか**であるという。*L* が無限次拡大体のとき、L/T の任意の有限次部分拡大体に対して、拡大次数が *p* と互いに素となるとき、順分岐と定める。

*L* が有限次拡大体で、|\cdot|_L に対する分岐指数 *e* と剰余次数 *f* に対して、\scriptstyle [L:K] = ef\! を満たすのであれば、L/K が順分岐であることは、\scriptstyle (e,\ p)=1 が成り立つことを意味する。

特に、*K* の |\cdot|_K に対する剰余体が有限体であるとき、L/K が不分岐であるならば、順分岐である。

順分岐拡大について、以下のことが成立する。

(1) *L* を *K* の有限次代数拡大体とし、*T* を L/K の最大不分岐部分拡大としたとき、*L* が *K* の順分岐拡大である必要十分条件は、*p* と互いに素な正整数 m_1,\ldots,m_r と *K* の元 a_1,\ldots,a_r が存在して

となることである。

(2) L,\ K' を *K* の代数閉包に含まれる有限次代数拡大とし、L'=LK' とおく。このとき、L/K が順分岐であれば、L'/K' も順分岐である。

(3) L,\ L' が *K* の順分岐拡大体であるならば、合成体 LL' も *K* の順分岐拡大体である。

*K* の（有限次ないし無限次）代数拡大体 *E* に対して、*E* に含まれる *K* の順分岐拡大体全ての合成は、包含関係で最大な *K* の順分岐拡大であり、E/K の**最大順分岐部分拡大**という。
特に *K* の代数閉包 \bar{K} に対して、\bar{K}/K の最大順分岐部分拡大を *K* の**最大順分岐拡大体**という。

L/K の最大不分岐部分拡大 *T* および最大順分岐部分拡大 *V* に対して、以下のことが成立する。
* *T* の剰余体と *V* の剰余体は等しく、F_L/F_K の分離閉包である。また *V* の値群 G_V は *K*, *L* の値群 G_K,\ G_L を用いて

と表される。

*L* を *K* の有限次代数拡大体で、初めに述べた条件を満たし、さらに |\cdot|_L の |\cdot|_K の分岐指数 *e*、剰余次数 *f* に対して、[L:K] = ef が満たされているとする。いま分岐指数 *e* を \scriptstyle e = e'p^s\ (s\ge 0,\ (e',\ p)=1) と表し、
*T*, *V* をそれぞれ L/K の最大不分岐部分拡大、最大順分岐部分拡大とすれば、*K*, *T*, *V*, *L* の値群・剰余体・分岐指数・剰余次数の間には、以下の様な関係が成立する。

上記において、特に T=K かつ V=L であるとき、L/K は**完全分岐**であるといい、V\ne L のとき（つまり L/K が順分岐ではないとき）、L/K は**激分岐**であるという。

### ガロア拡大体の場合
有限次代数拡大体 L/K が特にガロア拡大体であるとする。

今、\scriptstyle R,\ \mathfrak{P} を *L* の付値環、付値イデアルとしたとき、各 \scriptstyle i\ge 0 に対して、\scriptstyle R/\mathfrak{P}^{i+1} の元を動かさないような L/K の同型写像の集合を

とおくと、G_i は \scriptstyle\operatorname{Gal}(L/K) の部分群となる。

特に G_0 に対して、\scriptstyle\operatorname{Aut}(F_L/F_K) を剰余体 F_L の F_K 上の自己同型写像全体とすれば

であり、G_0 は可解群となる。

さらに、L/K が完全分岐であるならば、\scriptstyle\operatorname{Gal}(L/K) = G_0 であり、十分大きな全ての *i* に対して、G_i は恒等写像しか含まない。従って \scriptstyle\operatorname{Gal}(L/K) は可解群となる。

## 注釈


## 参考文献
* 
* 
* 
* 

## 関連項目
*付値
*絶対値
*位相体
*大域体
*局所体
*距離空間