代数体のソースを表示

[[数学]]の[[体論]]・[[代数的整数論]]における'''代数体'''（だいすうたい、{{lang-en-short|algebraic number field}}{{efn2|algebraic number field が[[代数的数]]全体の成す体（the field of algebraic numbers; 有理数体 {{mathbf|Q}} の代数閉包）の意味で用いられることがある{{citation needed|date=2018年10月}}。それを日本語で代数的数体と呼ぶ場合がある{{citation needed|date=2018年10月}}が、代数的数体を代数体と同義（本項に扱う内容）で用いることもある{{citation needed|date=2018年10月}}。また本項で言う意味で algebraic number field を number field（数体）と呼ぶ場合もある<ref>[[#Reference-PlanetMath-number field|number field - PlanetMath.]] (and ProofWiki (but, no source)).</ref>が、number field（数体）はより広く「複素数体の部分体」というで用いられる<ref>ProofWiki.</ref>場合が多いため紛らわしい<ref>ProofWiki (but, no source).</ref>{{citation needed|date=2018年10月}}。}}）とは、[[有理数]]体の[[有限拡大|有限次]][[代数拡大|代数]][[体の拡大|拡大体]]のことである。代数体 ''K'' の有理数体上の拡大次数 <math> [K:\mathbb{Q}]</math> を、''K'' の次数といい、次数が ''n'' である代数体を、''n'' 次の代数体という。
特に、2次の代数体を[[二次体]]、1のベキ根を添加した体を[[円分体]]という。

''K'' を ''n'' 次の代数体とすると、''K'' は[[単拡大]]である。つまり、''K'' の元 ''&theta;'' が存在して、''K'' の任意の元 ''&alpha;'' は、以下の様に表される。
{{Indent|<math>\alpha = a_0 + a_1\theta + \cdots + a_{n-1}\theta^{n-1}</math> 。ただし、<math>a_0,\ a_1,\ldots,\ a_{n-1}</math> は[[有理数]]。}}

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

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

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

== 基本的な概念 ==

以下において、代数体 ''K'' の元 ''&alpha;'' に対して、<math>\alpha^{(1)},\ldots,\alpha^{(n)}</math> を、''&alpha;'' の[[代数的数#共役数|共役数]]とする。

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

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

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

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

=== 判別式 ===
''K'' の整基底 <math>\{\omega_1,\ldots,\ \omega_n\}</math> に対して、以下の形の[[行列式]]を考える。

{{Indent|<math>\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}</math> 。}}

すると、<math>\Delta(\omega_1,\ldots,\omega_n)^2</math> は整基底の取り方によらず一定の値である。
<math>\Delta(\omega_1,\ldots,\omega_n)^2</math> を ''K'' の'''{{ill2|label=判別式|代数体の判別式|en|discriminant of a number field}}''' (discriminant)といい、<math>D_K</math> で表す。

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

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

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

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

<math>\mathcal{O}_K</math> 上の通常のイデアル<ref group="注">分数イデアルの条件 1, 2 を満たす、<math>\mathcal{O}_K</math> の部分集合 <math>\mathfrak{a}</math> のこと。</ref>は、明らかに分数イデアルである。通常のイデアルと分数イデアルとを区別する必要があるとき、通常のイデアルのことを、'''整イデアル''' (integral ideal) という。

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

代数体 ''K'' の分数イデアルは、イデアルの乗法で、可換な乗法群をなす。単位元は、<math>(1)(=\mathcal{O}_K)</math> であり、<math>\mathfrak{a}</math> の逆元は、
{{Indent|<math>\mathfrak{a}^{-1} = \{ \lambda\in K| \lambda\mathfrak{a}\sub \mathcal{O}_K \}</math>}}
である。
これを、'''[[イデアル群]]''' (ideal group)という。

任意の分数イデアル <math>\mathfrak{a}</math> は、一意的に、
{{Indent|<math>\mathfrak{a} = \prod_{i=1}^r\mathfrak{p}_i^{e_i}</math> 　　（各 <math>e_i</math> は、0 ではない有理整数）}}
と素イデアルの積で表される。

==== 分数イデアルのノルム ====
<math>\mathfrak{a}</math> を、''n''次代数体 ''K'' の分数イデアルとし、<math>\alpha_1,\ldots,\alpha_n</math> を、<math>\mathfrak{a}</math> の基底とする。また、<math>\omega_1,\ldots,\omega_n</math> を、代数体 ''K'' の整基底としたとき、<math>|\Delta(\alpha_1,\ldots,\alpha_n)/\Delta(\omega_1,\ldots,\omega_n)|</math> <ref group="注"><math>\Delta(\ldots)</math> は、項目[[代数体#判別式|判別式]] で定義された行列式。</ref>は、基底の取り方に依存しない。そこで、<math>|\Delta(\alpha_1,\ldots,\alpha_n)/\Delta(\omega_1,\ldots,\omega_n)|</math> を、分数イデアル <math>\mathfrak{a}</math> の'''ノルム'''といい、<math>N\mathfrak{a}</math> と書く。

* ノルムの性質
*# 任意の分数イデアル <math>\mathfrak{a}</math> に対して、<math>N\mathfrak{a}</math> は 0 でない有理数である。
*# 整イデアルに対して、分数イデアルとしてのノルムと整イデアルとしてのノルムは等しい。
*# 任意の分数イデアル <math>\mathfrak{a},\ \mathfrak{b}</math> に対して、<br /><math style="margin-left:2em;">N\mathfrak{ab} = N\mathfrak{a}N\mathfrak{b}</math> 。

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

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

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

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

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

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

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

==== 単数基準 ====
代数体 ''K'' の基本単数を  <math>\eta_1,\ldots,\ \eta_{r}</math> とし、
{{Indent|<math>l^{(i)}_j = \begin{cases}\log|\eta^{(i)}_j| & (\eta_i\in\mathbb{R}) \\ 2\log|\eta^{(i)}_j| & (\eta_i\not\in\mathbb{R})\end{cases}</math>}}
としたとき
{{Indent|<math>R[\eta_1,\ldots,\eta_r] = \begin{vmatrix}l^{(1)}_1 & \cdots & l^{(1)}_r \\ \vdots & \ddots & \vdots \\ l^{(r)}_1 & \cdots & l^{(r)}_r\end{vmatrix}</math>}}
とおくと、先に述べた基本単数系になる条件から、<math>|R[\eta_1,\ldots,\eta_r]|</math> は基本単数系によらず一定の値である。この値を ''K'' の'''[[単数基準]]''' (regulator) または'''レギュレータ'''という。

=== 類数 ===
代数体 ''K'' のイデアル類群 <math>C_K</math> は有限群であるが、イデアル類群の位数のことを'''[[類数]]''' (class number) という。

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

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

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

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

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

<math> j=1,\ldots,r_1 + r_2</math> に対して、''K'' 上の[[付値#アルキメデス付値|アルキメデス付値]] <math>|\cdot|_j</math> を
{{Indent|<math>
|\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})
</math>}}
とおく<ref group="注"><math>\alpha^{(j)}</math> は <math>\mathbb{Q}(\theta^{(j)})</math> に含まれる ''&alpha;'' の共役数とする。</ref>。ただし、<math>|\cdot|</math> は、実数または複素数の[[絶対値]]を ''K'' に制限したものである。

すると、これら <math>r_1+r_2</math> 個の[[付値#乗法付値|乗法付値]]は互いに[[付値#付値の同値性|同値]]ではない。これらを'''正規付値''' (normal valuation)という。

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

==== 有限素点 ====
<math>\mathfrak{p}</math> を代数体 ''K'' の素イデアルとする。''K'' の 0 でない元 ''&alpha;'' に対して
{{Indent|<math>
(\alpha) = \mathfrak{p}^{\mu}\mathfrak{b}
</math>}}
ただし、<math>\mathfrak{b}</math> を <math>\mathfrak{p}</math> と互いに素な分数イデアル、''&mu;'' を有理整数と表したとき、
{{Indent|<math>
|\alpha|_{\mathfrak{p}} = (N\mathfrak{p})^{-\mu}
</math>}}
によって、''K'' 上の[[付値#アルキメデス付値|非アルキメデス付値]]を定める。

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

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

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

==== 積公式 ====
{{main|積公式}}
<math>v</math> を素点の1つとし、<math>|\cdot|_v</math> を <math>v</math> に含まれる正規付値とする。
このとき、''K'' の 0 でない任意の元 ''&alpha;'' に対して
{{Indent|<math>
\prod_{v}|\alpha|_v = 1
</math>}}
が成立する。ただし、積は ''K'' の素点全てを動くものとする。

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

== 関連項目 ==
*[[代数的数]]
*[[代数的整数論]]
*[[二次体]]
*[[円分体]]

==注釈==
{{notelist2}}

==出典==
{{reflist}}

== 参考文献 ==
{{参照方法|date=2015年10月|section=1}}
* {{Cite book|和書|last=河田|first=敬義|year=1992|title=数論 -古典数論から類体論へ-|publisher=岩波書店|location=東京}}
* {{Cite book|和書|last=森田|first=康夫|year=1999|title=整数論|publisher=東京大学出版会|location=東京}}
* {{Cite book|和書|last=ノイキルヒ|first=J.|translator=足立恒雄(監修)・梅垣敦紀|year=2003|title=代数的整数論|publisher=シュプリンガー・フェアラーク東京|location=東京}}
* {{Cite book|
|first = James S.
|last = Milne
|year = 2020
|title = Algebraic Number Theory (v3.08)
|url = https://www.jmilne.org/math/CourseNotes/ANTc.pdf
|format = PDF
|ref = harv
}}

== 外部リンク ==
<!--* {{MathWorld|urlname=AlgebraicNumberField|title=Algebraic Number Field}} Number Field へソフトリダイレクト-->
* {{MathWorld|urlname=NumberField|title=Number Field}}
<!--* {{nlab|urlname=algebraic+number+field|title=algebraic number field}} number field へリダイレクト-->
* {{nlab|urlname=number+field|title=number field}}
* {{PlanetMath|urlname=NumberField|title=number field}}{{anchors|Reference-PlanetMath-number field}}
* {{ProofWiki|urlname=Definition:Algebraic_Number_Field|title=Definition:Algebraic Number Field}}
<!--* {{ProofWiki|urlname=Definition:Number_Field|title=Definition:Number Field}} 複素数体の部分体の意味-->
* {{SpringerEOM|urlname=Algebraic_number_field|title=Algebraic number field}}
<!--* {{SpringerEOM|urlname=Number_field|title=Number field}} 複素数体の部分体の意味-->

{{DEFAULTSORT:たいすうたい}}
[[Category:体論]]
[[Category:代数的整数論]]
[[Category:数学に関する記事]]