以下において、代数体 K の元 α に対して、 α ( 1 ) , … , α ( n ) {\displaystyle \alpha ^{(1)},\ldots ,\alpha ^{(n)}} を、α の(共役数 )とする。
共役体 K を n 次の代数体とし、 K = Q ( θ ) {\displaystyle K=\mathbb {Q} (\theta )} とする。θ の共役数 θ ( 1 ) , … , θ ( n ) {\displaystyle \theta ^{(1)},\ldots ,\ \theta ^{(n)}} に対して、 K ( i ) = Q ( θ ( i ) ) {\displaystyle K^{(i)}=\mathbb {Q} (\theta ^{(i)})} ( i = 1 , … , n {\displaystyle i=1,\ldots ,\ n} ) を、K の共役体 (conjugate field)という。もし K の共役体が全て K と等しいとき、K はガロア体 (Galois field)または有理数体上のガロア拡大体 という。
共役体 K ( i ) {\displaystyle K^{(i)}} が実数の部分体すなわち θ ( i ) {\displaystyle \theta ^{(i)}} が実数であるとき、 K ( i ) {\displaystyle K^{(i)}} を実共役体 (real conjugate field)という。そうでない場合、虚共役体 (imaginary conjugate field)という。
K の共役体のうち、実共役体の個数を r 1 {\displaystyle r_{1}} 、虚共役体の個数を r 2 {\displaystyle r_{2}} とすると、 n = r 1 + r 2 {\displaystyle n=r_{1}+r_{2}} であり、 r 2 {\displaystyle r_{2}} は偶数である。
K の全ての共役体が実共役体であるとき、K を総実体 (totally real field) または総実代数体 という。また、全ての共役体が虚共役体であるとき、K を総虚体 (totally imaginary field) または総虚代数体 という。
判別式 K の整基底 { ω 1 , … , ω n } {\displaystyle \{\omega _{1},\ldots ,\ \omega _{n}\}} に対して、以下の形の行列式 を考える。
Δ ( ω 1 , … , ω n ) = | ω 1 ( 1 ) ω 2 ( 1 ) ⋯ ω n ( 1 ) ω 1 ( 2 ) ω 2 ( 2 ) ⋯ ω n ( 2 ) ⋮ ⋮ ⋱ ⋮ ω 1 ( n ) ω 2 ( n ) ⋯ ω n ( n ) | {\displaystyle \Delta (\omega _{1},\ldots ,\omega _{n})={\begin{vmatrix}\omega _{1}^{(1)}&\omega _{2}^{(1)}&\cdots &\omega _{n}^{(1)}\\\omega _{1}^{(2)}&\omega _{2}^{(2)}&\cdots &\omega _{n}^{(2)}\\\vdots &\vdots &\ddots &\vdots \\\omega _{1}^{(n)}&\omega _{2}^{(n)}&\cdots &\omega _{n}^{(n)}\end{vmatrix}}} 。
すると、 Δ ( ω 1 , … , ω n ) 2 {\displaystyle \Delta (\omega _{1},\ldots ,\omega _{n})^{2}} は整基底の取り方によらず一定の値である。 Δ ( ω 1 , … , ω n ) 2 {\displaystyle \Delta (\omega _{1},\ldots ,\omega _{n})^{2}} を K の(判別式 )(英語版) (discriminant)といい、 D K {\displaystyle D_{K}} で表す。
判別式の性質 任意の代数体 K に対して、判別式は 0 でない有理整数である。 ミンコフスキーの定理 。有理数体と異なる代数体の判別式は、 ± 1 {\displaystyle \pm 1} と異なる。(つまり、 | D K | > 1 {\displaystyle |D_{K}|>1} となる。) (エルミートの定理 ) 。任意の正数 N に対して、判別式の絶対値が N 以下の代数体は有限個しか存在しない。 (シュティッケベルガーの定理 ) 。代数体 K の判別式 D K {\displaystyle D_{K}} に対して、 D K ≡ 0 , 1 {\displaystyle D_{K}\equiv 0,\ 1} (mod 4) である。 n 次の代数体 K の判別式 D K {\displaystyle D_{K}} に対して、 | D K | 1 / 2 ≥ n n n ! ( n 4 ) n / 2 {\displaystyle |D_{K}|^{1/2}\geq {\frac {n^{n}}{n!}}\left({\frac {n}{4}}\right)^{n/2}} 。 イデアル ここでは、代数体上のイデアル に特化した内容を述べる。
イデアルのノルム 定義 O K {\displaystyle {\mathcal {O}}_{K}} の任意のイデアル a {\displaystyle {\mathfrak {a}}} に対して、剰余環 O K / a {\displaystyle {\mathcal {O}}_{K}/{\mathfrak {a}}} は有限環である。このとき、剰余環 O K / a {\displaystyle {\mathcal {O}}_{K}/{\mathfrak {a}}} の元の個数を、イデアル a {\displaystyle {\mathfrak {a}}} の(ノルム ) (norm)といい、 N a {\displaystyle N{\mathfrak {a}}} で表す。 ノルムの性質 任意のイデアル a {\displaystyle {\mathfrak {a}}} に対して、ノルムは1以上の有理整数である。 与えられた整数 m に対して、ノルムが m であるイデアルは有限個である。 任意のイデアル a , b {\displaystyle {\mathfrak {a}},\ {\mathfrak {b}}} に対して、 N a b = N a N b {\displaystyle N{\mathfrak {ab}}=N{\mathfrak {a}}N{\mathfrak {b}}} 。 任意の O K {\displaystyle {\mathcal {O}}_{K}} の元 α に対して、 N ( α ) = | N K / Q α | {\displaystyle N(\alpha )=|N_{K/\mathbb {Q} }\alpha |} 。 素イデアルのノルム O K {\displaystyle {\mathcal {O}}_{K}} の素イデアル p {\displaystyle {\mathfrak {p}}} に対して、ある有理素数 p と、正整数 f が存在して、 N p = p f {\displaystyle N{\mathfrak {p}}=p^{f}} 。
このとき、
f を
p {\displaystyle {\mathfrak {p}}} の次数という。
任意の有理素数 p に対して、 ( p ) = p 1 e 1 ⋯ p r e g {\displaystyle (p)={\mathfrak {p}}_{1}^{e_{1}}\cdots {\mathfrak {p}}_{r}^{e_{g}}} ( p 1 , … , p g {\displaystyle {\mathfrak {p}}_{1},\ldots ,\ {\mathfrak {p}}_{g}} は相異なる素イデアル、 e i ≥ 1 {\displaystyle e_{i}\geq 1} ) と素イデアル分解したとき 、 N p i = p f i {\displaystyle N{\mathfrak {p}}_{i}=p^{f_{i}}} となる正整数 f i {\displaystyle f_{i}} が存在し、 n = e 1 f 1 + ⋯ + e g f g {\displaystyle n=e_{1}f_{1}+\cdots +e_{g}f_{g}} が成り立つ。 分数イデアル 以下の3条件を満たす K {\displaystyle K} の部分集合 a {\displaystyle {\mathfrak {a}}} を、K の分数イデアル (fractional ideal)という。
α , β ∈ a {\displaystyle \alpha ,\ \beta \in {\mathfrak {a}}} に対して、 α + β ∈ a {\displaystyle \alpha +\beta \in {\mathfrak {a}}} 。 α ∈ a {\displaystyle \alpha \in {\mathfrak {a}}} 、 λ ∈ O K {\displaystyle \lambda \in {\mathcal {O}}_{K}} に対して、 λ α ∈ a {\displaystyle \lambda \alpha \in {\mathfrak {a}}} 。 λ ∈ O K {\displaystyle \lambda \in {\mathcal {O}}_{K}} ( λ ≠ 0 {\displaystyle \lambda \neq 0} ) が存在して、 λ a ⊂ O K {\displaystyle \lambda {\mathfrak {a}}\subset {\mathcal {O}}_{K}} 。 O K {\displaystyle {\mathcal {O}}_{K}} 上の通常のイデアル[注 2] は、明らかに分数イデアルである。通常のイデアルと分数イデアルとを区別する必要があるとき、通常のイデアルのことを、整イデアル (integral ideal) という。
a {\displaystyle {\mathfrak {a}}} を n 次代数体 K の分数イデアルとすると、 α 1 , … , α n {\displaystyle \alpha _{1},\ldots ,\alpha _{n}} が存在して、 a {\displaystyle {\mathfrak {a}}} の元は、 α 1 , … , α n {\displaystyle \alpha _{1},\ldots ,\alpha _{n}} の有理整数を係数とする1次結合で一意的に表現される。このとき、 { α 1 , … , α n } {\displaystyle \{\alpha _{1},\ldots ,\alpha _{n}\}} を、 a {\displaystyle {\mathfrak {a}}} の基底という。
代数体 K の分数イデアルは、イデアルの乗法で、可換な乗法群をなす。単位元は、 ( 1 ) ( = O K ) {\displaystyle (1)(={\mathcal {O}}_{K})} であり、 a {\displaystyle {\mathfrak {a}}} の逆元は、
a − 1 = { λ ∈ K | λ a ⊂ O K } {\displaystyle {\mathfrak {a}}^{-1}=\{\lambda \in K|\lambda {\mathfrak {a}}\subset {\mathcal {O}}_{K}\}}
である。 これを、イデアル群 (ideal group)という。
任意の分数イデアル a {\displaystyle {\mathfrak {a}}} は、一意的に、
a = ∏ i = 1 r p i e i {\displaystyle {\mathfrak {a}}=\prod _{i=1}^{r}{\mathfrak {p}}_{i}^{e_{i}}} (各 e i {\displaystyle e_{i}} は、0 ではない有理整数)
と素イデアルの積で表される。
分数イデアルのノルム a {\displaystyle {\mathfrak {a}}} を、n 次代数体 K の分数イデアルとし、 α 1 , … , α n {\displaystyle \alpha _{1},\ldots ,\alpha _{n}} を、 a {\displaystyle {\mathfrak {a}}} の基底とする。また、 ω 1 , … , ω n {\displaystyle \omega _{1},\ldots ,\omega _{n}} を、代数体 K の整基底としたとき、 | Δ ( α 1 , … , α n ) / Δ ( ω 1 , … , ω n ) | {\displaystyle |\Delta (\alpha _{1},\ldots ,\alpha _{n})/\Delta (\omega _{1},\ldots ,\omega _{n})|} [注 3] は、基底の取り方に依存しない。そこで、 | Δ ( α 1 , … , α n ) / Δ ( ω 1 , … , ω n ) | {\displaystyle |\Delta (\alpha _{1},\ldots ,\alpha _{n})/\Delta (\omega _{1},\ldots ,\omega _{n})|} を、分数イデアル a {\displaystyle {\mathfrak {a}}} のノルム といい、 N a {\displaystyle N{\mathfrak {a}}} と書く。
ノルムの性質 任意の分数イデアル a {\displaystyle {\mathfrak {a}}} に対して、 N a {\displaystyle N{\mathfrak {a}}} は 0 でない有理数である。 整イデアルに対して、分数イデアルとしてのノルムと整イデアルとしてのノルムは等しい。 任意の分数イデアル a , b {\displaystyle {\mathfrak {a}},\ {\mathfrak {b}}} に対して、 N a b = N a N b {\displaystyle N{\mathfrak {ab}}=N{\mathfrak {a}}N{\mathfrak {b}}} 。 イデアル類群 代数体 K のイデアル群を J K {\displaystyle J_{K}} とし、 J K {\displaystyle J_{K}} に含まれる単項イデアル全体を、 P K {\displaystyle P_{K}} とおくと、 P K {\displaystyle P_{K}} は、 J K {\displaystyle J_{K}} の部分群となる。剰余群 J K / P K {\displaystyle J_{K}/P_{K}} を K のイデアル類群 (ideal class group) という。
イデアル類群の性質 任意の代数体に対して、イデアル類群は有限群である。 単数 代数体 K に対し、K の元 ε で生成される単項イデアル (ε) が O K {\displaystyle {\mathcal {O}}_{K}} と等しいとき、ε は、K の(単数 ) (unit)であるという。同値な定義として、 ε および ε − 1 {\displaystyle \varepsilon ^{-1}} が共に O K {\displaystyle {\mathcal {O}}_{K}} の元であるとき、ε は単数である。
単数群 代数体 K に対し、K の単数からなる集合は、可換な乗法群である。これを K の(単数群 ) (unit group) という。
ディリクレの単数定理 ディリクレの単数定理 (Dirichlet's unit theorem)。代数体 K の次数を n とし、 r 1 , 2 r 2 {\displaystyle r_{1},\ 2r_{2}} を、K の実共役体、虚共役体の個数とする。このとき、K の単数群 E K {\displaystyle E_{K}} は 以下の性質を持つ r 1 + r 2 {\displaystyle r_{1}+r_{2}} 個の生成元 ρ , η 1 , … , η r 1 + r 2 − 1 {\displaystyle \rho ,\ \eta _{1},\ldots ,\ \eta _{r_{1}+r_{2}-1}} を持つ。
ある正整数 m が存在して、 ρ m = 1 {\displaystyle \rho ^{m}=1} 。 η 1 , … , η r 1 + r 2 − 1 {\displaystyle \eta _{1},\ldots ,\ \eta _{r_{1}+r_{2}-1}} は乗法的独立である。つまり、 η 1 e 1 ⋯ η r 1 + r 2 − 1 e r 1 + r 2 − 1 = 1 {\displaystyle \eta _{1}^{e_{1}}\cdots \eta _{r_{1}+r_{2}-1}^{e_{r_{1}+r_{2}-1}}=1} ならば、 e 1 = ⋯ = e r 1 + r 2 − 1 = 0 {\displaystyle e_{1}=\cdots =e_{r_{1}+r_{2}-1}=0} である。基本単数系 ディリクレの単数定理で与えられる η 1 , … , η r 1 + r 2 − 1 {\displaystyle \eta _{1},\ldots ,\ \eta _{r_{1}+r_{2}-1}} を(基本単数系 ) (fundamental units system) といい、それぞれを、基本単数 (fundamental unit) という。
注意:基本単数系は、K に対して1組しか存在しないわけではない。以下のことにより、一般に、基本単数系は無限に存在する。
η 1 , … , η r {\displaystyle \eta _{1},\ldots ,\ \eta _{r}} を、代数体 K の基本単数系とする。 η 1 ′ , … , η r ′ {\displaystyle \eta '_{1},\ldots ,\ \eta '_{r}} が、K の基本単数系である必要十分条件は、各
i ( i = 1 , … , r ) {\displaystyle (i=1,\ldots ,r)} に対して、
η i ′ = ρ a i 0 η 1 a i 1 ⋯ η r a i r {\displaystyle \eta '_{i}=\rho ^{a_{i0}}\eta _{1}^{a_{i1}}\cdots \eta _{r}^{a_{ir}}} ( ρ m = 1 , a i j ∈ Z ) {\displaystyle (\rho ^{m}=1,\ a_{ij}\in \mathbb {Z} )} と、
η 1 ′ , … , η r ′ {\displaystyle \eta '_{1},\ldots ,\ \eta '_{r}} を
η 1 , … , η r {\displaystyle \eta _{1},\ldots ,\ \eta _{r}} を用いて表したとき、
| a 11 ⋯ a 1 r ⋮ ⋱ ⋮ a r 1 ⋯ a r r | = ± 1 {\displaystyle {\begin{vmatrix}a_{11}&\cdots &a_{1r}\\\vdots &\ddots &\vdots \\a_{r1}&\cdots &a_{rr}\end{vmatrix}}=\pm 1} が成立することである。
単数基準 代数体 K の基本単数を η 1 , … , η r {\displaystyle \eta _{1},\ldots ,\ \eta _{r}} とし、
l j ( i ) = { log | η j ( i ) | ( η i ∈ R ) 2 log | η j ( i ) | ( η i ∉ R ) {\displaystyle l_{j}^{(i)}={\begin{cases}\log |\eta _{j}^{(i)}|&(\eta _{i}\in \mathbb {R} )\\2\log |\eta _{j}^{(i)}|&(\eta _{i}\not \in \mathbb {R} )\end{cases}}}
としたとき
R [ η 1 , … , η r ] = | l 1 ( 1 ) ⋯ l r ( 1 ) ⋮ ⋱ ⋮ l 1 ( r ) ⋯ l r ( r ) | {\displaystyle R[\eta _{1},\ldots ,\eta _{r}]={\begin{vmatrix}l_{1}^{(1)}&\cdots &l_{r}^{(1)}\\\vdots &\ddots &\vdots \\l_{1}^{(r)}&\cdots &l_{r}^{(r)}\end{vmatrix}}}
とおくと、先に述べた基本単数系になる条件から、 | R [ η 1 , … , η r ] | {\displaystyle |R[\eta _{1},\ldots ,\eta _{r}]|} は基本単数系によらず一定の値である。この値を K の単数基準 (regulator) またはレギュレータ という。
類数 代数体 K のイデアル類群 C K {\displaystyle C_{K}} は有限群であるが、イデアル類群の位数のことを類数 (class number) という。
類数公式 一般の代数体に対して、類数を求める公式があり、それを一般に類数公式 (class number formula)という。
類数公式 K を代数体とし、K の実共役体、虚共役体の数を、それぞれ r 1 , 2 r 2 {\displaystyle r_{1},\ 2r_{2}} とし、w を、K に含まれる 1 のベキ根の数とする。R 、 D K {\displaystyle D_{K}} を、それぞれ K の単数基準、判別式とし、 ζ K ( s ) {\displaystyle \zeta _{K}(s)} をデデキントのゼータ関数 としたとき、K の類数 h K {\displaystyle h_{K}} は、以下の式で求められる。 h K = w | D K | 1 / 2 2 r 1 ( 2 π ) r 2 R Res s = 1 ζ K ( s ) {\displaystyle 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 = Q ( θ ) {\displaystyle K=\mathbb {Q} (\theta )} に対して、θ の共役数を以下の様に並べる:
θ ( 1 ) , … , θ ( r 1 ) {\displaystyle \theta ^{(1)},\ldots ,\theta ^{(r_{1})}} は実数で、 j = 1 , … , r 2 {\displaystyle j=1,\ldots ,r_{2}} に対して、 θ ( r 1 + j ) , θ ( r 1 + r 2 + j ) {\displaystyle \theta ^{(r_{1}+j)},\ \theta ^{(r_{1}+r_{2}+j)}} は複素共役とする。但し、 r 1 + 2 r 2 = n {\displaystyle r_{1}+2r_{2}=n} とする。
j = 1 , … , r 1 + r 2 {\displaystyle j=1,\ldots ,r_{1}+r_{2}} に対して、K 上の(アルキメデス付値 ) | ⋅ | j {\displaystyle |\cdot |_{j}} を
| α | j = { | α ( j ) | ( j = 1 , … , r 1 ) | α ( j ) | 2 ( j = r 1 , … , r 1 + r 2 ) ( α ∈ K × ) {\displaystyle |\alpha |_{j}={\begin{cases}|\alpha ^{(j)}|&(j=1,\ldots ,r_{1})\\|\alpha ^{(j)}|^{2}&(j=r_{1},\ldots ,r_{1}+r_{2})\end{cases}}\ \ \ \ (\alpha \in K^{\times })}
とおく[注 4] 。但し、 | ⋅ | {\displaystyle |\cdot |} は、実数または複素数の絶対値 を K に制限したものである。
すると、これら r 1 + r 2 {\displaystyle r_{1}+r_{2}} 個の(乗法付値 )は互いに(同値 )ではない。これらを正規付値 (normal valuation)という。
j = 1 , … , r 1 + r 2 {\displaystyle j=1,\ldots ,r_{1}+r_{2}} に対して、正規付値 | ⋅ | j {\displaystyle |\cdot |_{j}} に同値な K の乗法付値全体の集合を v ∞ j {\displaystyle v_{\infty }^{j}} とおいたとき、 v ∞ 1 , … , v ∞ r 1 + r 2 {\displaystyle v_{\infty }^{1},\ldots ,v_{\infty }^{r_{1}+r_{2}}} を無限素点 (infinite prime/infinite place)または無限素因子 という。特に、 v ∞ 1 , … , v ∞ r 1 {\displaystyle v_{\infty }^{1},\ldots ,v_{\infty }^{r_{1}}} を実素点 (real prime/real place)、実無限素点 または実素因子 といい、 v ∞ r 1 + 1 , … , v ∞ r 1 + r 2 {\displaystyle v_{\infty }^{r_{1}+1},\ldots ,v_{\infty }^{r_{1}+r_{2}}} を複素素点 (complex prime/complex place)、複素無限素点 または虚素因子 という。
有限素点 p {\displaystyle {\mathfrak {p}}} を代数体 K の素イデアルとする。K の 0 でない元 α に対して
( α ) = p μ b {\displaystyle (\alpha )={\mathfrak {p}}^{\mu }{\mathfrak {b}}}
但し、 b {\displaystyle {\mathfrak {b}}} を p {\displaystyle {\mathfrak {p}}} と互いに素な分数イデアル、μ を有理整数と表したとき、
| α | p = ( N p ) − μ {\displaystyle |\alpha |_{\mathfrak {p}}=(N{\mathfrak {p}})^{-\mu }}
によって、K 上の(非アルキメデス付値 )を定める。
すると、 p {\displaystyle {\mathfrak {p}}} と q {\displaystyle {\mathfrak {q}}} が相異なる素イデアルとすれば、 | ⋅ | p {\displaystyle |\cdot |_{\mathfrak {p}}} と | ⋅ | q {\displaystyle |\cdot |_{\mathfrak {q}}} は同値ではない。 この乗法付値を p {\displaystyle {\mathfrak {p}}} に対する正規付値 という。
| ⋅ | p {\displaystyle |\cdot |_{\mathfrak {p}}} と同値な K の乗法付値全体の集合を v p {\displaystyle v_{\mathfrak {p}}} としたとき、これを有限素点 (finite prime/finite place)または有限素因子 という。
素点 無限素点と有限素点を合わせて素点 (prime/place)または素因子 という。
積公式 v {\displaystyle v} を素点の1つとし、 | ⋅ | v {\displaystyle |\cdot |_{v}} を v {\displaystyle v} に含まれる正規付値とする。 このとき、K の 0 でない任意の元 α に対して
∏ v | α | v = 1 {\displaystyle \prod _{v}|\alpha |_{v}=1}
が成立する。但し、積は K の素点全てを動くものとする。
つまり、任意の代数体に対して、付値の集合を正規付値全体の集合とすれば、積公式 が成立する。