代数体

数学の体論・代数的整数論における**代数体**（だいすうたい、）とは、有理数体の有限次代数拡大体のことである。代数体 *K* の有理数体上の拡大次数  [K:\mathbb{Q}] を、*K* の次数といい、次数が *n* である代数体を、*n* 次の代数体という。
特に、2次の代数体を二次体、1のベキ根を添加した体を円分体という。

*K* を *n* 次の代数体とすると、*K* は単拡大である。つまり、*K* の元 *&theta;* が存在して、*K* の任意の元 *&alpha;* は、以下の様に表される。

このとき *&theta;* は *n* 次の代数的数であるので、*K* を \mathbb{Q} 上のベクトル空間とみたとき、\{1,\ \theta,\ldots,\ \theta^{n-1} \} は基底となる。

## 整数環
*n* 次の代数体 *K* に含まれる代数的整数全体の集合を \mathcal{O}_K とすると、以下のことが成立する。
# \mathcal{O}_K は整域である。このことより、\mathcal{O}_Kを *K* の**[[整数環]]** (ring of integers) という。
# \mathcal{O}_K は、有理整数環上ランク *n* の自由加群である。つまり、\mathcal{O}_K の元、\omega_1,\ldots,\ \omega_n が存在して、任意の \mathcal{O}_K の元 *&alpha;* は、以下の形に一意的に表される。\alpha = a_1\omega_1 + \cdots + a_{n}\omega_n 。ただし、a_1,\ldots,\ a_n は有理整数。上記 \{\omega_1,\ldots,\ \omega_n\} を *K* の**整基底** (integral basis) または**整数基**という。
# \mathcal{O}_K は整閉である。つまり、*K* の元 *&beta;* に対して、\beta^r + \alpha_{r-1}\beta^{r-1}\cdots + \alpha_1\beta + \alpha_0 = 0 となる *K* の元　\alpha_0,\ \alpha_1,\ldots,\ \alpha_{r-1} が存在するならば、*&beta;* は、\mathcal{O}_K の元である。
# \mathcal{O}_K はデデキント環である。
# 一般に、\mathcal{O}_K は一意分解整域ではない。

特別な代数体の整数環については、その数論的性質が詳しく研究されており、特別な名称が付けられている。
; ガウス整数
: \mathbb{Q}(\sqrt{-1}) の整数環、\mathbb{Z}[\sqrt{-1}] のことである。
; アイゼンシュタイン整数
: \mathbb{Q}(\sqrt{-3}) の整数環、\mathbb{Z}[(-1+\sqrt{-3})/2] のことである。

## 基本的な概念

以下において、代数体 *K* の元 *&alpha;* に対して、\alpha^{(1)},\ldots,\alpha^{(n)} を、*&alpha;* の共役数とする。

### 共役体
*K* を *n* 次の代数体とし、 K=\mathbb{Q}(\theta) とする。&theta; の共役数 \theta^{(1)},\ldots,\ \theta^{(n)} に対して、
 K^{(i)} = \mathbb{Q}(\theta^{(i)}) ( i=1,\ldots,\ n) を、*K* の**共役体** (conjugate field)という。もし *K* の共役体が全て *K* と等しいとき、*K* は**ガロア体** (Galois field)または有理数体上の**ガロア拡大体**という。

共役体  K^{(i)} が実数の部分体すなわち \theta^{(i)} が実数であるとき、  K^{(i)} を**実共役体** (real conjugate field)という。そうでない場合、**虚共役体** (imaginary conjugate field)という。

*K* の共役体のうち、実共役体の個数を r_1、虚共役体の個数を r_2 とすると、n = r_1 + r_2 であり、r_2 は偶数である。

*K* の全ての共役体が実共役体であるとき、*K* を**[[総実体]]** (totally real field) または**総実代数体**という。また、全ての共役体が虚共役体であるとき、*K* を**[[総虚体]]** (totally imaginary field) または**総虚代数体**という。

### 判別式
*K* の整基底 \{\omega_1,\ldots,\ \omega_n\} に対して、以下の形の行列式を考える。

すると、\Delta(\omega_1,\ldots,\omega_n)^2 は整基底の取り方によらず一定の値である。
\Delta(\omega_1,\ldots,\omega_n)^2 を *K* の**** (discriminant)といい、D_K で表す。

; 判別式の性質
:# 任意の代数体 *K* に対して、判別式は 0 でない有理整数である。
:# **[[ミンコフスキーの定理]]**。有理数体と異なる代数体の判別式は、\pm 1 と異なる。(つまり、|D_K| > 1 となる。)
:# **[[エルミートの定理]]**。任意の正数 *N* に対して、判別式の絶対値が *N* 以下の代数体は有限個しか存在しない。
:# **[[シュティッケベルガーの定理]]**。代数体 *K* の判別式 D_K に対して、 D_K\equiv 0,\ 1 (mod 4) である。
:# *n* 次の代数体 *K* の判別式 D_K に対して、|D_K|^{1/2} \ge \frac{n^n}{n!}\left(\frac{n}{4}\right)^{n/2} 。

### イデアル
ここでは、代数体上のイデアルに特化した内容を述べる。

#### イデアルのノルム
;定義
: \mathcal{O}_K の任意のイデアル \mathfrak{a} に対して、剰余環 \mathcal{O}_K/\mathfrak{a} は有限環である。このとき、剰余環 \mathcal{O}_K/\mathfrak{a} の元の個数を、イデアル \mathfrak{a} の**[[イデアルのノルム|ノルム]]** (norm)といい、N\mathfrak{a} で表す。
; ノルムの性質
:# 任意のイデアル \mathfrak{a} に対して、ノルムは1以上の有理整数である。
:# 与えられた整数 *m* に対して、ノルムが *m* であるイデアルは有限個である。
;# 任意のイデアル \mathfrak{a},\ \mathfrak{b} に対して、N\mathfrak{ab} = N\mathfrak{a}N\mathfrak{b} 。
:# 任意の \mathcal{O}_K の元 *&alpha;* に対して、N(\alpha) = | N_{K/\mathbb{Q}}\alpha | 。
:
; 素イデアルのノルム
:# \mathcal{O}_K の素イデアル \mathfrak{p} に対して、ある有理素数 *p* と、正整数 *f* が存在して、N\mathfrak{p} = p^f。  このとき、*f* を \mathfrak{p} の次数という。
:# 任意の有理素数 *p* に対して、(p) = \mathfrak{p}_1^{e_1}\cdots\mathfrak{p}_r^{e_g} (\mathfrak{p}_1,\ldots,\ \mathfrak{p}_g は相異なる素イデアル、 e_i\ge 1) と素イデアル分解したとき 、N\mathfrak{p}_i = p^{f_i} となる正整数 f_i が存在し、 n = e_1f_1 + \cdots + e_gf_g が成り立つ。

### 分数イデアル
以下の3条件を満たす K の部分集合 \mathfrak{a} を、*K* の**[[分数イデアル]]** (fractional ideal)という。
# \alpha,\ \beta\in\mathfrak{a} に対して、\alpha + \beta\in\mathfrak{a} 。
# \alpha\in\mathfrak{a}、\lambda\in \mathcal{O}_K に対して、\lambda\alpha\in\mathfrak{a} 。
# \lambda\in \mathcal{O}_K (\lambda\ne 0) が存在して、\lambda\mathfrak{a}\sub \mathcal{O}_K 。

\mathcal{O}_K 上の通常のイデアルは、明らかに分数イデアルである。通常のイデアルと分数イデアルとを区別する必要があるとき、通常のイデアルのことを、**整イデアル** (integral ideal) という。

\mathfrak{a} を *n* 次代数体 *K* の分数イデアルとすると、\alpha_1,\ldots,\alpha_n が存在して、\mathfrak{a} の元は、\alpha_1,\ldots,\alpha_n の有理整数を係数とする1次結合で一意的に表現される。このとき、\{\alpha_1,\ldots,\alpha_n\} を、\mathfrak{a} の基底という。

代数体 *K* の分数イデアルは、イデアルの乗法で、可換な乗法群をなす。単位元は、(1)(=\mathcal{O}_K) であり、\mathfrak{a} の逆元は、

である。
これを、**[[イデアル群]]** (ideal group)という。

任意の分数イデアル \mathfrak{a} は、一意的に、

と素イデアルの積で表される。

#### 分数イデアルのノルム
\mathfrak{a} を、*n*次代数体 *K* の分数イデアルとし、\alpha_1,\ldots,\alpha_n を、\mathfrak{a} の基底とする。また、\omega_1,\ldots,\omega_n を、代数体 *K* の整基底としたとき、|\Delta(\alpha_1,\ldots,\alpha_n)/\Delta(\omega_1,\ldots,\omega_n)| は、基底の取り方に依存しない。そこで、|\Delta(\alpha_1,\ldots,\alpha_n)/\Delta(\omega_1,\ldots,\omega_n)| を、分数イデアル \mathfrak{a} の**ノルム**といい、N\mathfrak{a} と書く。

* ノルムの性質
*# 任意の分数イデアル \mathfrak{a} に対して、N\mathfrak{a} は 0 でない有理数である。
*# 整イデアルに対して、分数イデアルとしてのノルムと整イデアルとしてのノルムは等しい。
*# 任意の分数イデアル \mathfrak{a},\ \mathfrak{b} に対して、N\mathfrak{ab} = N\mathfrak{a}N\mathfrak{b} 。

### イデアル類群
代数体 *K* のイデアル群を J_K とし、J_K に含まれる単項イデアル全体を、P_K とおくと、P_K は、 J_K の部分群となる。剰余群 J_K/P_K を *K* の**[[イデアル類群]]** (ideal class group) という。

; イデアル類群の性質
:# 任意の代数体に対して、イデアル類群は有限群である。

### 単数
代数体 *K* に対し、*K* の元 *&epsilon;* で生成される単項イデアル (&epsilon;) が \mathcal{O}_K と等しいとき、*&epsilon;* は、*K* の**[[代数体の単数|単数]]** (unit)であるという。同値な定義として、 *&epsilon;* および \varepsilon^{-1} が共に \mathcal{O}_K の元であるとき、*&epsilon;* は単数である。

#### 単数群
代数体 *K* に対し、*K* の単数からなる集合は、可換な乗法群である。これを *K* の**[[代数体の単数群|単数群]]** (unit group) という。

#### ディリクレの単数定理
**[[ディリクレの単数定理]]** (Dirichlet's unit theorem)。代数体 *K* の次数を *n* とし、 r_1,\ 2r_2 を、*K* の実共役体、虚共役体の個数とする。このとき、*K* の単数群 E_K は 以下の性質を持つ r_1+r_2 個の生成元 \rho,\ \eta_1,\ldots,\ \eta_{r_1+r_2-1} を持つ。
# ある正整数 *m* が存在して、\rho^m = 1 。
# \eta_1,\ldots,\ \eta_{r_1+r_2-1} は乗法的独立である。つまり、\eta_1^{e_1}\cdots\eta_{r_1+r_2-1}^{e_{r_1+r_2-1}}=1 ならば、e_1=\cdots=e_{r_1+r_2-1} = 0 である。

#### 基本単数系
ディリクレの単数定理で与えられる \eta_1,\ldots,\ \eta_{r_1+r_2-1} を**[[基本単数系]]** (fundamental units system) といい、それぞれを、**基本単数** (fundamental unit) という。

注意：基本単数系は、*K* に対して1組しか存在しないわけではない。以下のことにより、一般に、基本単数系は無限に存在する。
* \eta_1,\ldots,\ \eta_r を、代数体 *K* の基本単数系とする。\eta'_1,\ldots,\ \eta'_r が、*K* の基本単数系である必要十分条件は、各 *i* (i = 1,\ldots, r) に対して、\eta'_i = \rho^{a_{i0}}\eta_1^{a_{i1}}\cdots\eta_r^{a_{ir}} 　(\rho^m=1,\ a_{ij}\in\mathbb{Z})と、\eta'_1,\ldots,\ \eta'_r を \eta_1,\ldots,\ \eta_r を用いて表したとき、\begin{vmatrix}a_{11} & \cdots & a_{1r} \\ \vdots & \ddots & \vdots \\ a_{r1} & \cdots & a_{rr}\end{vmatrix} = \pm 1 が成立することである。

#### 単数基準
代数体 *K* の基本単数を  \eta_1,\ldots,\ \eta_{r} とし、

としたとき

とおくと、先に述べた基本単数系になる条件から、|R[\eta_1,\ldots,\eta_r]| は基本単数系によらず一定の値である。この値を *K* の**[[単数基準]]** (regulator) または**レギュレータ**という。

### 類数
代数体 *K* のイデアル類群 C_K は有限群であるが、イデアル類群の位数のことを**[[類数]]** (class number) という。類数は伝統的に文字  を使って表される。この伝統は少なくともの類数公式を証明した1838年のディリクレにまでさかのぼる。

#### 類数公式
一般の代数体に対して、類数を求める公式があり、それを一般に**[[類数公式]]** (class number formula)という。

;類数公式
: *K* を代数体とし、*K* の実共役体、虚共役体の数を、それぞれ  r_1,\ 2r_2 とし、*w* を、*K* に含まれる 1 のベキ根の数とする。*R* 、 D_K を、それぞれ *K* の単数基準、判別式とし、\zeta_K(s) をデデキントのゼータ関数としたとき、*K* の類数 h_K は、以下の式で求められる。
:h_K = \frac{w|D_K|^{1/2}}{2^{r_1}(2\pi)^{r_2}R}\mbox{Res}_{s=1}\zeta_K(s) 。

しかし、与えられた代数体の類数を求めることは大変難しい。二次体の類数公式や円分体の類数公式を見れば、類数を求めることがいかに難しいかがわかるであろう。

### 素点
#### 無限素点
*n*次代数体  K=\mathbb{Q}(\theta) に対して、&theta; の共役数を以下の様に並べる：

 \theta^{(1)},\ldots,\theta^{(r_1)} は実数で、 j=1,\ldots,r_2 に対して、 \theta^{(r_1+j)},\ \theta^{(r_1+r_2+j)} は複素共役とする。ただし、r_1+2r_2 = n とする。

 j=1,\ldots,r_1 + r_2 に対して、*K* 上のアルキメデス付値 |\cdot|_j を

とおく。ただし、|\cdot| は、実数または複素数の絶対値を *K* に制限したものである。

すると、これら r_1+r_2 個の乗法付値は互いに同値ではない。これらを**正規付値** (normal valuation)という。

 j=1,\ldots,r_1 + r_2 に対して、正規付値 |\cdot|_j に同値な *K* の乗法付値全体の集合を v_{\infty}^{j} とおいたとき、 v_{\infty}^{1},\ldots,v_{\infty}^{r_1+r_2} を**無限素点** (infinite prime/infinite place)または**無限素因子**という。特に、 v_{\infty}^{1},\ldots,v_{\infty}^{r_1} を**実素点** (real prime/real place)、**実無限素点**または**実素因子**といい、v_{\infty}^{r_1+1},\ldots,v_{\infty}^{r_1+r_2} を**複素素点** (complex prime/complex place)、**複素無限素点**または**虚素因子**という。

#### 有限素点
\mathfrak{p} を代数体 *K* の素イデアルとする。*K* の 0 でない元 *&alpha;* に対して

ただし、\mathfrak{b} を \mathfrak{p} と互いに素な分数イデアル、*&mu;* を有理整数と表したとき、
 = (N\mathfrak{p})^{-\mu}
}}
によって、*K* 上の非アルキメデス付値を定める。

すると、\mathfrak{p} と \mathfrak{q} が相異なる素イデアルとすれば、|\cdot|_{\mathfrak{p}} と |\cdot|_{\mathfrak{q}} は同値ではない。
この乗法付値を \mathfrak{p} に対する**正規付値**という。

|\cdot|_{\mathfrak{p}} と同値な *K* の乗法付値全体の集合を v_{\mathfrak{p}} としたとき、これを**有限素点** (finite prime/finite place)または**有限素因子**という。

#### 素点
無限素点と有限素点を合わせて**素点** (prime/place)または**素因子**という。 　

#### 積公式

v を素点の1つとし、|\cdot|_v を v に含まれる正規付値とする。
このとき、*K* の 0 でない任意の元 *&alpha;* に対して

が成立する。ただし、積は *K* の素点全てを動くものとする。

つまり、任意の代数体に対して、付値の集合を正規付値全体の集合とすれば、積公式が成立する。

## 関連項目
*代数的数
*代数的整数論
*二次体
*円分体

## 注釈

## 出典

## 参考文献

* 
* 
* 
* 

## 外部リンク

* 

* 
* 
* 

*