類体論のソースを表示

[[File:One5Root.svg|thumb|320px|複素平面内の [[1の冪根|1 の 5 乗根]]。これらの根を[[有理数]]体に添加すると、[[アーベル拡大]]が生成される。]]
[[数学]]における'''類体論'''（るいたいろん、{{lang-en-short|class field theory}}, {{lang-de-short|Klassenkörpertheorie}}）は、[[代数的整数論]]の理論。[[代数体]]の[[アーベル拡大]]を一般化された[[イデアル類群]]や[[イデール類群]]といったその体に内在的な[[数学的対象]]と関係付け分類・記述する。

[[有限体]]上の[[代数曲線]]の[[代数函数体|函数体]]や[[局所体]]に対しても同様の理論が成り立ち、類体論という言葉はこれらの理論の総称としても用いられる。

== 概説 ==
{{quotebox|align=right|width=30%|
quote=高木-アルティンの類体論は, 特にガウス以降19世紀を通して創りあげられたドイツ数学が荘厳華麗に結晶させた「凍れる音楽」であり, …
|source={{Citation|和書
| author = 三宅克哉
| contribution = アルティンの相互法則について
| title = [https://www2.tsuda.ac.jp/suukeiken/math/suugakushi/sympo02/ 近現代数学史, 第2回数学史シンポジウム報告集]
| contribution-url = https://www2.tsuda.ac.jp/suukeiken/math/suugakushi/sympo02/2_4miyake.pdf
| format = PDF
| year = 1992
| page = 44
}}
}}
{{quotebox|align=right|width=30%|
quote=
Class ﬁeld theory has a reputation for being difﬁcult, which is partly justiﬁed. But it is necessary to make a distinction: there is perhaps nowhere in science a theory in which the proofs are so difﬁcult but at the same time the results are of such perfect simplicity and of such great power.<br/>
＜翻訳＞類体論は難しいという評判である。これは確かに一理あるが、ただ難しいだけなのではない。結果が完全な簡明さと強力さを兼ね備えているにもかかわらず、証明が難解なのだ。全科学を見渡しても類体論ほどこのような特徴を備えている理論は他には見つからないだろう。
|author=[[ジャック・エルブラン]]
|source={{harvtxt|Milne|2020|p=147}}
}}
[[可換体|体]] {{mvar|K}} の[[ガロア拡大]]であってその[[ガロア群]]が[[アーベル群]]であるものを {{mvar|K}} のアーベル拡大という。例えば[[二次体|二次拡大]]や[[円分拡大]]、[[クンマー拡大]]などがアーベル拡大の例である。

類体論とは、{{mvar|K}} が代数体の場合にそのアーベル拡大という {{mvar|K}} の'''外部'''の対象がどれだけ存在しどのような性質を持つかを {{mvar|K}} に'''内在的'''な数学的対象で記述できることを示した理論である。

古典的な[[イデアル]]論を用いた定式化では、内在的な数学的対象として一般化されたイデアル類群というものが用いられる。有限次アーベル拡大 {{math|''L''/''K''}} があると、これに対応する一般化されたイデアル類群が定まり、[[アルティン写像]]によってこのイデアル類群とガロア群 {{math|Gal(''L''/''K'')}} は同型になる。これを[[アルティン相互法則]]という。逆に、一般化されたイデアル類群があると、対応する有限次アーベル拡大が定まり、同様のことが成り立つ。これを[[高木の存在定理]]という。このようにして「有限次アーベル拡大」と「一般化されたイデアル類群」が一対一に対応するというのが類体論の主要な結果である。

<div style="text-align:center">
{ 有限次アーベル拡大 } ← 1:1 → { 一般化されたイデアル類群 }
</div>

通常の意味でのイデアル類群も一般化されたイデアル類群の一つであるので、これに対応するアーベル拡大が存在する。このアーベル拡大は最大[[分岐拡大|不分岐]]アーベル拡大という性質を持っている。これには特別に[[ヒルベルト類体]]という名前がつけられている。

類体論は有限次アーベル拡大を分類するだけではなく、アルティン相互法則によって各アーベル拡大での[[素イデアル]]の分解の様相も教えてくれる。素イデアルがあると、[[フロベニウス元]]と呼ばれるガロア群の元が定まる。素イデアルの分解の様相はこの元を見ればわかる。アルティン相互法則によってフロベニウス元に対応する一般化されたイデアル類群の元が定まる。これは元の素イデアルの剰余類である。よってこの剰余類をみれば素イデアルの分解の様相が分かる。このことは[[二次体]]における[[素数]]の因数分解の様子を完全に与える[[平方剰余の相互法則|二次の相互律]]の広範な一般化になっている。[[3乗剰余の相互法則|三次の相互律]]といったようなより高次の「[[冪剰余記号|冪剰余の相互律]]」もアルティン相互法則から導くことができる。[[数論]]的にはこの点も重要である。

「類体論」という名称は一般化されたイデアル類群に対応するアーベル拡大を'''類体'''と呼んでいたことにちなむ。類体は特別な有限次アーベル拡大体と思われていたが、予期に反して有限次アーベル拡大体はすべて類体であることが判明した。標語的に言えば'''有限次アーベル拡大＝類体'''である。類体論の研究対象が任意のアーベル拡大であるのはこのためである。

有限次アーベル拡大を個別に一般化されたイデアル類群に対応させるのではなく、{{mvar|K}} の有限次アーベル拡大をすべて合成した'''最大アーベル拡大''' {{math|''K''{{sup|ab}}}} のガロア群を直接記述する方法も知られている。有限次代数体の場合、その最大アーベル拡大のガロア群
{{math|Gal(''K''{{sup|ab}}/''K'')}}
は無限群になるが、[[クルル位相]]により[[位相群]]とみたときこれは[[副有限群]]の構造を持つ。現代的な類体論の定式化では、'''[[イデール類群]]'''（[[イデール]]群を体の乗法群で割ったもの）と呼ばれる {{mvar|K}} から（おおよそ）内在的に定まる位相群から
{{math|Gal(''K''{{sup|ab}}/''K'')}}
への'''相互律準同型'''（reciprocity homomorphism）と呼ばれる準同型が構成される。ガロア対応により有限次アーベル拡大は
{{math|Gal(''K''{{sup|ab}}/''K'')}}
の開部分群と一対一対応し、相互律準同型によりそれはイデール類群の開部分群と一対一対応する。有限次アーベル拡大に対応するイデール類群の開部分群は、その有限次アーベル拡大体のイデール類群の[[ノルム (体論)|ノルム]]写像による像として特徴づけられる。

<div style="text-align:center">
{ 有限次アーベル拡大 }
<br/>
↕ 1:1
<br/>
{
{{math|Gal(''K''{{sup|ab}}/''K'')}} の開部分群
}
<br/>
↕ 1:1
<br/>
{ イデール類群の開部分群 }
</div>

代数体に対する類体論は、1910年代から1920年代にかけて、[[高木貞治]]や[[エミール・アルティン]]らによって証明された。その後、1930年代以降に大域体の完備化である[[局所体]]についても同様の理論が確立された。これは{{仮リンク|局所類体論|en|Local class field theory}}と呼ばれている。局所類体論では局所体 {{mvar|K}} の乗法群 {{mvar|K{{sup|×}}}} を用いてそのアーベル拡大が分類・記述される。また有限体上の一変数代数関数体に対しても同様の理論が確立された。有限体上の一変数代数関数体と代数体はまとめて'''[[大域体]]'''もしくは'''一次元大域体'''と呼ばれるので、これらに対する類体論は'''大域類体論'''と呼ばれる。

代数体についての類体論の元々の証明は、代数体に対して直接類体論を証明するというものだった。その後、局所体類体論を使って証明するという手法が確立された。現代の類体論の教科書ではこの手法による証明を採用しているものが多くある。

== イデアルを使った定式化 ==

類体論の主要な結果は少し用語と記号を準備すれば簡単に述べることができる。以降、この節を通して
{{mvar|K}}
は任意の有限次代数体を表すものとする。

=== 用語と記号 ===

代数体
{{mvar|K}}
のすべての[[素点]]
{{math|𝔭}}
をわたる形式的な無限積
{{math|1=𝔪 = ∏{{sub|𝔭}} 𝔭{{sup|''n''{{sub|𝔭}}}}}}
で次の3条件を満たすものを（{{mvar|K}} の）{{仮リンク|モジュラス (代数的整数論)|label='''モジュラス'''|en|Modulus (algebraic number theory)}}{{Sfn|Conrad|p=8}}という。

* {{math|1=''n''{{sub|𝔭}} ≧ 0}}
* ほとんどすべての {{math|𝔭}} に対して {{math|1=''n''{{sub|𝔭}} = 0}}
* [[無限素点]] {{math|𝔭}} については {{math|1=''n''{{sub|𝔭}}}} が0もしくは1

モジュラスに対して、[[約数]]、[[倍数]]、[[最大公約数]]、[[最小公倍数]]、割り切れる、素点の[[指数]]、などの概念が自然に定義される{{Sfn|高木|1971|p=148|ps=。ここでは約数、倍数、最大公約数、最小公倍数しか定義されていないが、その他の用語も通常の整数やイデアルにおけるものを準用する。}}。{{mvar|K}} の整数環の0ではないイデアルは素イデアル分解を使って自然にモジュラスとみなせる。

モジュラス
{{math|𝔪}}
の[[有限素点]]だけを取り出したものを
{{math|1=𝔪{{sub|0}} = ∏{{sub|𝔭∤∞}} 𝔭{{sup|''n''{{sub|𝔭}}}}}}
と書く{{Sfn|Milne|2020|p=149}}。ここで、[[素点]]
{{math|𝔭}}
が有限素点であることを
{{math|𝔭∤∞}}、無限素点であることを
{{math|𝔭∣∞}}
と表している{{Sfn|Neukirch|2015|p=113}}。{{math|𝔪{{sub|0}}}}
を
{{math|𝔪}}
の'''有限部分'''（ﬁnite part）という{{Sfn|Conrad|p=8}}。これは自然に
{{mvar|K}}
の[[代数体#イデアル|イデアル]]と思える。

{{mvar|K}}
の分数イデアルで
{{math|𝔪}}
の有限部分と互いの素なもの全体を
{{math|''I''{{sub|𝔪}}}}
と置く。これは自然に群になる。群としての構造は
{{math|𝔪}}
と互いに素な素イデアルを底とする自由アーベル群である。

{{math|''I''{{sub|𝔪}}}}
の部分群
{{math|''P''{{sub|𝔪}}}}
を
{{math|(''α''/''β'')}}
という形の単項イデアル全体とする{{Sfn|Conrad|p=8}}。ここで
{{mvar|α}}
と
{{mvar|β}}
は
{{mvar|K}}
の0ではない整数で以下の条件を満たすものである。

* {{mvar|α}} と {{mvar|β}} は {{math|𝔪{{sub|0}}}} と互いに素
* {{math|''α'' ≡ ''β'' mod 𝔪{{sub|0}}}}
* 実素点 {{math|𝔭}} に対して {{math|''α''{{sub|𝔭}}/''β''{{sub|𝔭}} > 0}}。ここで {{mvar|K}} の元 {{mvar|γ}} に対して {{math|''γ''{{sub|𝔭}}}} で実素点 {{math|𝔭}} による {{mvar|γ}} の像を表している。

包含関係
{{math|''I''{{sub|𝔪}} ⊃ ''H'' ⊃ ''P''{{sub|𝔪}}}}
にある群
{{mvar|H}}
を
'''{{math|𝔪}} を法とする合同群'''（congruence subgroup modulo {{math|𝔪}}）と呼ぶ
{{Sfnm|1a1=高木|1y=1971|1p=151|2a1=Milne|2y=2020|2p=158}}。

{{math|''L''/''K''}}
を有限次拡大とする。
{{math|''I''{{sub|𝔪}}}}
の部分群
{{math|''N''{{sub|𝔪}}(''L''/''K'')}}
を
{{mvar|L}}
の分数イデアルのノルムになっているような元全体とする。これは
{{math|𝔭{{sup|''f''}}}}（{{math|𝔭}} は {{mvar|K}} の素イデアルで
{{math|𝔪}}
と互いに素なもの、{{mvar|f}} はそれの
{{math|''L''/''K''}}
における剰余次数）で生成される
{{math|''I''{{sub|𝔪}}}}
の部分群である{{Sfn|Milne|2020|p=157}}。{{math|1=''H''{{sub|𝔪}}(''L''/''K'') = ''P''{{sub|𝔪}}・''N''{{sub|𝔪}}(''L''/''K'')
}}
と置く。これを'''拡大 {{math|''L''/''K''}} に対する合同群'''という{{Sfnm|1a1=Conrad|1p=9|2a1=加塩|2y=2015|2p=30}}。

さらに
{{math|''L''/''K''}}
はアーベル拡大であったとする。この拡大で不分岐な
{{mvar|K}}
の素イデアル
{{math|𝔭}}
に対してそのフロベニウス元を
{{math|({{Sfrac|''L''/''K''|𝔭}}) ∈ {{math|Gal(''L''/''K'')}}}}
と書く。{{math|''L''/''K''}}
で分岐する素イデアルを含まない分数イデアル
{{math|𝔞}}
に対しても、素イデアル分解を使って
{{math|({{Sfrac|''L''/''K''|𝔞}})}}
を定義する。この記号を'''アルティン記号'''（Artin symbol）と呼ぶ。モジュラス
{{math|𝔪}}
が
{{math|''L''/''K''}}
で分岐する素イデアルすべてで割り切れるなら、アルティン記号により
{{math|''I''{{sub|𝔪}}}}
から
{{math|Gal(''L''/''K'')}}
への群準同型が定義される。これを'''アルティン写像'''（Artin map）と呼ぶ{{Sfn|Conrad|p=15}}。

=== 類体論の主結果 ===

類体論の主結果は次の相互法則と存在定理である。

==== 相互法則 ====
{{main|[[アルティン相互法則]]}}
代数体の任意の有限次アーベル拡大 {{math|''L''/''K''}} に対して、この拡大で分岐するすべての（有限及び無限{{Efn|
無限素点は、それが実素点であり、実素点の上にある素点がすべて実素点であるとき分解するという。それ以外のとき分岐するという({{harvtxt|Milne|2020|p=4}})。
}}）素点で割り切れるモジュラス
{{math|𝔪}}
が存在し、このモジュラスに対してアルティン写像は全射かつその核はこの拡大の合同群と等しい。したがってアルティン写像から同型

: <math>I_{\mathfrak{m}}/H_{\mathfrak{m}}(L/K)  \to \mathrm{Gal}(L/K)</math>

が得られる。これを'''アルティン相互法則'''（Artin reciprocity law）という{{Sfn|Conrad|p=15}}。

==== 存在定理 ====
{{main|[[高木の存在定理]]}}
{{math|𝔪}}
を代数体
{{mvar|K}}
の任意のモジュラスとし、{{mvar|H}}
を
{{math|𝔪}}
を法とする任意の合同群とする。このとき、あるアーベル拡大
{{math|''L''/''K''}}
が存在して
{{math|1=''H'' = ''H''{{sub|𝔪}}(''L''/''K'')}}
が成り立つ。これを（高木の）'''存在定理'''（Existence Theorem）という{{Sfn|Conrad|p=10}}。

=== 補足 ===

==== 歴史的な用語 ====

有限次拡大 {{math|''L''/''K''}} に対して {{math|1=[''I''{{sub|𝔪}} : ''H''{{sub|𝔪}}(''L''/''K'')] = [''L'' : ''K'']}} が成り立つとき、{{mvar|L}} を（高木の意味での）'''類体'''（class field）という{{Sfn|Conrad|p=9}}。アルティン相互法則より、すべてのアーベル拡大は類体である。高木はこれを「アアベル体即ち類体」と言い表した{{Sfn|高木|1971|loc=序文}}。これを'''基本定理'''と呼ぶ{{Sfn|高木|1971|p=174}}。

任意の類体はガロア拡大であり{{Sfn|高木|1971|p=246}}、またそのガロア群はアーベル群なので{{Sfn|高木|1971|p=246}}、類体は基礎の体上のアーベル拡大である。よって、基本定理と合わせると、類体とアーベル拡大とは完全に同義である。こうして、類体論が確立された結果、アーベル拡大と類体は同じものであることが判明したため、類体論の主要な結果に「類体」の語が現れないのである。

アルティン相互法則から {{math|''I''{{sub|𝔪}}/''H''{{sub|𝔪}}(''L''/''K'')}} と {{math|Gal(''L''/''K'')}} は同型である。これを'''同型定理'''{{Sfn|高木|1971|p=196}}と呼ぶ。再びアルティン相互法則から、素イデアル {{math|𝔭}} のイデアル類群における位数と拡大 {{math|''L''/''K''}} におけるこの素イデアルの剰余次数は等しい。これを'''分解定理'''と呼ぶ{{Sfn|高木|1971|p=196}}。歴史的には、同型定理と分解定理が（基本定理などと一緒に）まず高木によって証明された後、アルティンによって相互法則が証明された{{Sfn|Conrad}}。現代ではこれらの定理はアルティン相互法則の系として証明されるようになった。

{{math|''H''{{sub|𝔪}}(''L''/''K'')}}
を'''高木群'''（Takagi group）、アルティン写像の核を'''アルティン群'''（Artin group）と呼ぶことがある。この言葉を使えば、相互法則の核に対する主張は「アルティン群と高木群は等しい」と言い表すことができる。古くはこのように言い表されていた{{Sfn|Gras|2005|p=144}}。{{math|''N''{{sub|𝔪}}(''L''/''K'')}}
がアルティン写像の核に入ることは簡単に分かる{{Sfn|Milne|2020|p=157}}ので、このことの実質的な内容は
{{math|''P''{{sub|𝔪}}}}
がアルティン写像の核に入るということである。

==== 乗法合同 ====

{{math|''α''}}
と
{{math|''β''}}
を
{{mvar|K}}
の0ではない元とする。分数イデアル
{{math|(''α''/''β'' &minus; 1)}}
の分子が整イデアル
{{math|𝔪{{sub|0}}}}
によって割り切れ、分母が
{{math|𝔪{{sub|0}}}}
と互いに素であるとき、{{math|''α''}}
と
{{math|''β''}}
は
{{math|𝔪{{sub|0}}}}
を法として'''乗法合同'''であるという{{Sfn|高木|1971|p=142}}。モジュラス
{{math|𝔪}}
の有限部分
{{math|𝔪{{sub|0}}}}
を法として
{{math|''α''}}
と
{{math|''β''}}
が乗法合同であり、かつ
{{math|𝔪}}
を割るすべての実素点による埋め込みで
{{math|''α''}}
と
{{math|''β''}}
の符号が等しいとき、{{math|''α''}}
と
{{math|''β''}}
はモジュラス
{{math|𝔪}}
を法として乗法合同である、ということもある。この言葉を使うならば、{{math|''P''{{sub|𝔪}}}}
は
{{math|𝔪}}
を法として1と乗法合同である元で生成される単項イデアル全体、と言い表すことができる。

==== イデアルの群 ====

モジュラス
{{math|𝔪}}
に対して
{{math|𝔪}}
と互いに素な分数イデアルのなす群
{{math|''I''{{sub|𝔪}}}}
は
{{math|𝔪}}
を割り切る有限素点の集合だけによって決まる。特に
{{math|𝔪}}
に含まれる無限素点には依存しない。他方、{{math|''P''{{sub|𝔪}}}}
は有限素点の指数にも依存し、指数が大きくなれば小さくなっていく。無限素点の有無でも大きさは変わる。相互法則の意味するところの1つは「{{math|𝔪}} に分岐する無限素点を付け加え、有限素点の指数を適当に大きくすれば、{{math|''P''{{sub|𝔪}}}}
はアルティン写像の核に入るぐらい小さくなる」という点である。

商群
{{math|''I''{{sub|𝔪}}/''P''{{sub|𝔪}}}}
のことを'''射類群'''（ray class group）と呼ぶことがある
{{Sfn|Neukirch|2015|p=174}}
{{Efn|
射（ray）という言葉はドイツ語のStrahlから来ている。{{harvtxt|高木|1971|p=149}}
によれば、かつて[[:en:Rudolf Fueter|Fueter]]が「数の乗法群」の意味でStrahlの語を使ったという。高木は「fantasticな造語の邦訳」を避け、Strahlは日本語に訳さず記号表記で通している。
}}。{{math|1=𝔪 = (1)}}
のときこれは通常のイデアル類群なので、これはイデアル類群の一般化になっている。{{math|𝔪}}
が
{{mvar|K}}
の実素点すべての積であったとする。このとき
{{math|''I''{{sub|𝔪}}}}
はすべての分数イデアルからなる群であり、
{{math|''P''{{sub|𝔪}}}}
は総正な元で生成される単項イデアル全体の群である。この
{{math|''I''{{sub|𝔪}}/''P''{{sub|𝔪}}}}
を
'''狭義のイデアル類群'''または{{仮リンク|狭義類群|label='''狭義類群'''|en|narrow class group}}（narrow class group）という{{Efn|
狭くなるのは類であって、群としては大きくなる。そのため
{{harvtxt|Milne|2020|p=5}}
では「narrow-class group」と「narrow」と「class」をハイフンで結合した表記を使っている。また、「狭義」は「narrow sense」の訳語として使われることが多いこと、狭義類群は一般化されたイデアル類群、つまり広義のイデアル類群の一種であることから、「狭義類群」という訳語は混乱を生じさせやすく、注意が必要である。
}}。

任意のモジュラス
{{math|𝔪}}
に対して
{{math|''I''{{sub|𝔪}}/''P''{{sub|𝔪}}}}
の[[位数 (群論)|位数]]は類数 {{mvar|h}} を用いて

: <math>| I_{\mathfrak{m}}/P_{\mathfrak{m}} | =
h \frac{\varphi(\mathfrak{m}_0) 2^\rho}{e}
</math>

と表すことができる。ここで
{{math|''φ''(𝔪{{sub|0}})}}
は
{{mvar|K}}
の整数環の
{{math|𝔪{{sub|0}}}}
による剰余類環の可逆元の個数、{{mvar|ρ}}
は
{{math|𝔪}}
を割り切る実素点の個数、{{mvar|e}}
は
{{mvar|K}}
の単数群における
{{math|𝔪}}
を法として1に乗法合同な単数の成す群の指数である{{Sfn|高木|1971|p=150}}。特に、{{math|''I''{{sub|𝔪}}/''P''{{sub|𝔪}}}}
は有限群である。

存在定理によって合同群に対してアーベル拡大
{{mvar|L}}
が定まり、逆にアーベル拡大
{{mvar|L}}
があれば合同群
{{math|''H''{{sub|𝔪}}(''L''/''K'')}}
が定まる。この対応を一対一にするためには合同群に対して適切な同値関係を定義する必要がある。これは次のように定義される。

{{math|𝔪}}
を法とする合同群
{{math|''H''}}
と
{{math|𝔪&prime;}}
を法とする合同群
{{math|''H''&prime;}}
が同値であるとは、{{math|𝔪}}
と
{{math|𝔪&prime;}}
の公倍数であるような
{{math|𝔪&prime;&prime;}}
が存在して
{{math|''I''{{sub|𝔪&prime;&prime;}} → ''I''{{sub|𝔪}}/''H''}}
の核と
{{math|''I''{{sub|𝔪&prime;&prime;}} → ''I''{{sub|𝔪&prime;}}/''H''&prime;}}
の核が等しいことと定義する。この同値関係による合同群の同値類とアーベル拡大の対応は一対一になる{{Sfn|Conrad|p=12}}。イデールによる定式化ではこの対応がより直接的に記述される。

==== 導手 ====
{{math|''L''/''K''}}
を代数体の有限次アーベル拡大とする。アルティン相互法則が成り立つような2つのモジュラスの最大公約数でもアルティン相互法則が成り立つ。したがってアルティン相互法則が成り立つ最小のモジュラスが存在する。このモジュラスを'''導手'''（{{lang-en-short|conductor}}、{{lang-de-short|führer}}）と呼び、記号では {{math|𝔣{{sub|''L''/''K''}}}} と表す{{Sfn|Conrad|p=9}}。

==== 判別公式 ====
{{math|''L''/''K''}}
を代数体の有限次アーベル拡大、{{math|𝔪}} をこの拡大に対してアルティン相互法則が成り立つようなモジュラスとする。このとき、相対判別式
{{math|disc(''L''/''K'')}}
と導手を関係づける公式
: <math>\mathrm{disc}(L/K) = \prod_\chi \mathfrak{f}_{\chi, 0}</math>
が知られている。ここで
{{math|''χ''}}
は
{{math|''I''{{sub|𝔪}}/''H''{{sub|𝔪}}}}
の指標をすべてわたり、{{math|𝔣{{sub|''χ''}}}}
は合同群
{{math|Ker ''χ''}}
に対応するアーベル拡大の導手、{{math|𝔣{{sub|''χ'', 0}}}}
はその有限部分である。これは'''ハッセの判別公式'''（{{lang-de-short|Führerdiskriminantenproduktformel}}）と呼ばれている{{Sfn|Conrad|p=12}}{{Sfn|高木|1971|p=237}}。

==== 射類体 ====
{{main|{{仮リンク|射類体|en|Ray class field}}}}

任意のモジュラス
{{math|𝔪}}
に対して存在定理より
{{math|1=''H'' = ''P''{{sub|𝔪}}}}
に対応するアーベル拡大体が存在する。この拡大体は
{{math|𝔪}}
によって決まるので
{{math|1=''K''{{sub|𝔪}}}}
で表す。この体は{{仮リンク|射類体|label='''射類体'''|en|Ray class field}}と呼ばれている。

射類体の導手
{{math|𝔣{{sub|''K''{{sub|𝔪}}/''K''}}}}
は
{{math|𝔪}}
を割るが一致するとは限らない。例えば有理数体のモジュラス
{{math|1=𝔪 = (2)}}
に対する射類体は有理数体に一致するので導手は
{{math|1=𝔣 = (1)}}
である。またこの例から分かるように異なるモジュラスに対する射類体が等しくなるということもある。

==== 不分岐類体論 ====
{{main|ヒルベルト類体}}

代数体
{{mvar|K}}
の自明なモジュラス
{{math|1=𝔪 = (1)}}
を取り
{{math|1=''H'' = ''P''{{sub|(1)}}}} と置く。存在定理よりこれに対応するアーベル拡大
{{math|''K''&prime;}}
が存在する。これを
{{mvar|K}}
上の'''[[ヒルベルト類体]]'''、または'''絶対類体'''（absolute class ﬁeld）と呼ぶ{{Sfn|Neukirch|2015|p=166}}。射類体の記号を使えば、これを
{{math|''K''{{sub|(1)}}}}
と表すこともできる。もともとヒルベルトが存在を予想した「類体」は無限素点で何も条件をつけていないのでこの体とは異なる。しかし、現在ヒルベルト類体と呼ばれているものはここで定義したものである{{Sfn|Conrad|p=7}}。

アルティン相互法則により次が成り立つ。

* ヒルベルト類体のもとの代数体上のガロア群はイデアル類群と同型である。またその同型写像はアルティン写像により与えられる。

* 代数体のすべての素イデアルはヒルベルト類体において不分岐である。さらに、素イデアルが定めるイデアル類群の元の位数とヒルベルト類体における剰余次数は等しい。

ヒルベルト類体はすべての射類体に含まれる。代数体のすべてのイデアルはヒルベルト類体に延長すると単項イデアルになることが知られている（{{仮リンク|単項化定理|en|Principal ideal theorem}}）。

==== 終結定理 ====

類体論は、有限次アーベル拡大
{{math|''L''/''K''}}
に対してイデアルのノルムの成す群
{{math|''N''{{sub|𝔪}}(''L''/''K'')}}
に
{{math|''P''{{sub|𝔪}}}}
を乗じた群、つまり拡大に対する合同群
{{math|''H''{{sub|𝔪}}(''L''/''K'')}}
を考えることでアーベル体に対して深い理解をもたらした。しかし、この手法は非アーベル拡大には通じない。このことを端的に示すのが次の終結定理である。

: '''終結定理''' {{math|''L''/''K''}} を任意の有限次拡大とする。このとき、この拡大に対する合同群 {{math|''H''{{sub|𝔪}}(''L''/''K'')}} は {{math|''L''}} に含まれる最大アーベル拡大に対する合同群に等しい{{Sfnm|1a1=高木|1y=1971|1p=246|2a1=Milne|2y=2020|2p=161|ps=. 定理の表現の仕方はMilneにあわせている。}}。

言い換えると、体拡大に対する合同群からは、含まれているアーベル拡大についての情報しか得られない。類体論に主要な貢献をなした高木は、この定理を提示したのち、「合同類別を以てしては、その統制力は直接には {{mvar|k}} 上の「アアベル」体以上には及び得ない。それ以上、類体論の拡張は将来の発展にまたねばならない」という言葉で自著『代数的整数論 : 一般論及類体論』を締めくくった{{Sfn|高木|1971|p=247}}。その後の発展については[[#類体論の一般化]]参照。

== イデールを使った定式化 ==

イデアルの言葉による類体論は、具体的であり、多くの場合に最も便利である{{Sfn|Milne|2020|p=177}}。しかし、モジュラス
{{math|𝔪}}
を固定するため一度に取り扱えるのは導手が
{{math|𝔪}}
を割る有限次アーベル拡大だけであったり、また無限次アーベル拡大が扱えないなどの短所もある。イデールの言葉による類体論では、無限次拡大も扱え、すべてのアーベル拡大を同時に取り扱える。

{{mvar|K}}
を大域体、つまり代数体もしくは有限体上の1変数代数関数体とし、その[[イデール群]]を
{{math|''J''{{sub|''K''}}}}、[[イデール類群]]を
{{math|''C''{{sub|''K''}}}}、最大アーベル拡大を {{math|''K''{{sup|ab}}}} と表す{{Efn|
記号は主として {{harvtxt|Cassels|Fröhlich|1967|p=173}} に従い、定理の述べ方は主として {{harvtxt|Milne|2020}} に従う。
}}。このとき、'''大域アルティン写像'''（global Artin map）{{Efn|
{{harvtxt|Milne|2020|p=180|loc=Remark 5.8}} でそう呼んでいる。
}}、または'''大域相互律写像'''（global reciprocity map）{{Sfn|Gras|2005|p={{Google books quote|id=UDTqCAAAQBAJ|text=global reciprocity map|page=104|104}}}}、'''標準射'''（canonical morphism）{{Sfn|Weil|1995|p={{Google books quote|id=DJf6CAAAQBAJ|page=275|275}}}}などと呼ばれる準同型

: <math>
\varphi_K : J_K \to \mathrm{Gal}(K^\mathrm{ab}/K)
</math>

が存在して、次を満たす。

; 局所と大域
: {{mvar|K}} の任意の素点 {{mvar|v}} に対し、次の図式
:: <math>
\begin{array}{ccc}
K_v^{\times} & \stackrel{(1)}{\to} & \mathrm{Gal}(K_v^\mathrm{ab}/K_v) \\
\quad \downarrow \stackrel{(4)}{} &  & \downarrow \stackrel{(2)}{} \\
J_K & \stackrel{(3)}{\to} & \mathrm{Gal}(K^\mathrm{ab}/K)
\end{array}
</math>
: は可換図式{{Sfn|Weil|1995|pp={{Google books quote|id=DJf6CAAAQBAJ|page=277|277-278}}}}{{Sfn|Weil|1995|p={{Google books quote|id=DJf6CAAAQBAJ|page=245|245}}|loc=Proposition 2}}。ここで、(1) の写像は{{仮リンク|局所類体論|en|Local class field theory}}で定義される局所アルティン写像、(2) は作用の制限から得られる写像、(3) は {{math|''φ''{{sub|''K''}}}}、(4) は {{math|''K''{{supsub|×|''v''}}}} の元 {{mvar|x}} を {{mvar|v}} 成分は {{mvar|x}} でその他の成分は1のイデールに送る写像である。

; 相互法則
: 主イデールは {{math|''φ''{{sub|''K''}}}} の核に含まれる{{Sfn|Milne|2020|p=179}}。つまり
:: <math>
\varphi_K(K^\times) = \{ 1 \}
</math>
: が成り立つ。また任意の有限次アーベル拡大 {{math|''L''/''K''}} に対して {{math|''φ''{{sub|''K''}}}} から自然に同型
:: <math>
\varphi_{L/K} : C_K/N_{L/K}C_L \stackrel{\simeq}{\to} \mathrm{Gal}(L/K)
</math>
: が誘導される。ここで {{math|''N''{{sub|''L''/''F''}}}} はイデール類群の[[ノルム (体論)|ノルム写像]]である。

; 存在定理
: イデール類群 {{math|''C''{{sub|''K''}}}} の任意の有限指数開部分群 {{mvar|N}} に対して一意に定まる有限次アーベル拡大 {{math|''L''/''K''}} が存在して {{math|1=''N'' = ''N''{{sub|''L''/''K''}}(''C''{{sub|''L''}})}} が成り立つ{{Sfn|Milne|2020|p=179}}。

相互法則と存在定理から、{{math|Gal(''K''{{sup|ab}}/''K'')}} と、{{math|''C''{{sub|''K''}}}} の有限指数開部分群についての[[副有限群|副有限完備化]]は同型になる{{Sfn|Cassels|Fröhlich|1967|p=173}}。そして {{mvar|K}} の有限次アーベル拡大とイデール類群 {{math|''C''{{sub|''K''}}}} の有限指数開部分群の間に1対1の対応

: { {{mvar|K}} の有限次アーベル拡大 } ∋ {{mvar|L}} ↦ {{math|''N''{{sub|''L''/''K''}}''C''{{sub|''L''}}}} ∈ { {{math|''C''{{sub|''K''}}}} の有限指数開部分群 }

が存在することがわかる{{Sfn|Milne|2020|p=179}}。

考えている大域体 {{mvar|K}} が代数体の場合には、{{math|''φ''{{sub|''K''}}}} は全射であり、その核は単位元の連結成分 {{math|''D''{{sub|''K''}}}} であるため、

: <math>
C_K/D_K \simeq \mathrm{Gal}(K^\mathrm{ab}/K)
</math>

であることが示される{{Sfn|Cassels|Fröhlich|1967|p=173}}。そして、無限次アーベル拡大の場合に1対1対応

: { {{mvar|K}} の有限次とは限らないアーベル拡大 } ∋ {{mvar|L}} ↦ {{math|''N''{{sub|''L''/''K''}}''C''{{sub|''L''}}}} ∈ { {{math|''C''{{sub|''K''}}}} の単位元の連結成分を含む閉部分群 }

が成り立つ{{Sfn|Lang|1994|p={{Google books quote|id=o1blBwAAQBAJ|text=bijection|page=212|212}}}}{{Sfn|Gras|2005|p={{Google books quote|id=UDTqCAAAQBAJ|text=Infinite Global Class Field Theory Correspondence|page=123|123}}}}。

考えている大域体 {{mvar|K}} が有限体上の1変数代数関数体の場合には、{{math|''φ''{{sub|''K''}}}} は全射とは限らないが、その像は稠密であり、単射である{{Sfn|Milne|2020|p=180}}。

== ガロア・コホモロジーを使った定式化 ==

[[ガロア・コホモロジー]]を使う文脈では、類体論の相互法則は次のように述べられる（[[ブラウアー群]]も参照）。

{{mvar|K}} を有限次代数体、{{mvar|L}} を {{mvar|K}} の有限次ガロア拡大（アーベルでなくともよい）とする。{{mvar|L}}
のイデール類群
{{math|''C''{{sub|''L''}}}}
には[[ガロア群]]
{{math|Gal(''L''/''K'')}}
が作用するので、{{math|''C''{{sub|''L''}}}} を[[ガロア加群]]と見て[[群のコホモロジー]]を取ったものを
{{math|''H''{{sup|''q''}}(Gal(''L''/''K''), ''C''{{sub|''L''}})}}
と書く（{{mvar|q}} は任意の整数、定義については {{harvtxt|Neukirch|2015|p=15}} を参照）。このとき、invariant map（{{Lit|不変量写像}}）と呼ばれる同型写像

: <math>
\mathrm{inv}_{L/K}: H^2(\mathrm{Gal}(L/K), C_L) \stackrel{\simeq}{\to} \tfrac{1}{[L:K]}\mathbb{Z}/\mathbb{Z}
</math>

が存在する{{Sfn|Neukirch|2015|p=150}}。この同型によって
{{math|1/[''L'' : ''K'']}}
が定める右側の群の元に対応する左側の
{{math|''H''{{sup|2}}(Gal(''L''/''K''), ''C''{{sub|''L''}})}}
の元を
{{math|''u''{{sub|''L''/''K''}}}}
と書く。これを'''基本類'''（fundamental class）という{{Sfn|Neukirch|2015|p=152}}。任意の整数 {{mvar|q}} に対して、基本類のカップ積が定める写像

: <math>
u_{L/K} \cup : H^q(\mathrm{Gal}(L/K), \mathbb{Z}) \stackrel{\simeq}{\to} H^{q+2}(\mathrm{Gal}(L/K), C_L)
</math>

は同型写像になる{{Sfn|Neukirch|2015|p=152}}。この同型の {{math|1=''q'' = &minus;2}} の場合を考えることにより、アルティン相互法則と呼ばれる同型

: <math>
\mathrm{Gal}(L/K)^\mathrm{ab} \xrightarrow{u_{L/K} \cup} C_K/N_{L/K} C_L
</math>

が得られる{{Sfn|Neukirch|2015|p=152}}。ここで
{{math|Gal(''L''/''K''){{sup|ab}}}}
は
{{math|Gal(''L''/''K'')}}
の最大アーベル商（[[交換子部分群|アーベル化]]）である。この写像は'''相互律写像'''（reciprocity map）{{Sfn|Neukirch|2015|p=152}}、または[[中山正]]にちなんで'''中山写像'''（Nakayama map）{{Sfn|Neukirch|2015|p=70}}{{Sfn|Koch|2001|p=90}}と呼ばれている。この同型写像の逆写像から得られる写像

: <math>
(\quad, L/K) : C_K \to \mathrm{Gal}(L/K)^\mathrm{ab}
</math>

を'''ノルム剰余記号'''（norm residue symbol）という{{Sfn|Neukirch|2015|p=152}}。以上から、有限次ガロア拡大 {{math|''L''/''K''}} に対して完全系列

: <math>
1 \to N_{L/K} C_L \to C_K \xrightarrow{(\quad, L/K)} \mathrm{Gal}(L/K)^\mathrm{ab} \to 1
</math>

が存在することがわかる。これがガロア・コホモロジーの文脈で述べられる類体論の相互法則である。

なお、{{mvar|L}}
や
{{mvar|K}}
が局所体の場合にも、イデール類群
{{math|''C''{{sub|''L''}}}}
を
{{mvar|L}}
の乗法群
{{math|''L''{{sup|×}}}}
に置き換えれば同様のことが成り立つ{{Sfn|Neukirch|2015|p=91-93}}。局所体の場合と大域体の場合をまとめて扱えるように、共通する上述の性質を抽象化したものが{{仮リンク|類構造|en|class formation}}である{{Sfn|Cassels|Fröhlich|1967|p=178}}。

コホモロジーを用いずに非常に明示的で応用が利く方法などもある{{要説明|date=2023年2月}}。

== 各種特別な体に関する類体論 ==
幾つかの小さい体、例えば有理数体 '''Q''' やその虚二次拡大体については、もっとたくさんの情報が得られる詳細な理論が存在する。例えば、'''Q''' の絶対ガロア群のアーベル化 ''G'' は、全ての[[素数]]に亙って取った[[p進整数| ''p''-進整数環]]の単元群の無限直積（に自然同型）であり、対応する '''Q''' の最大アーベル拡大は[[1の冪根| 1 の冪根]]全てによって生成された体となる。このことは、もとは[[レオポルト・クロネッカー]]の予想であった[[クロネッカー・ウェーバーの定理|クロネッカー–ヴェーバーの定理]]として知られる。この場合の、類体論の相互律同型（あるいはアルティンの相互律写像）も同定理に従って具体的に書くことができる。1 の全ての冪根からなる群を
: <math> \mu_\infty (\subset \mathbb{C}^\times)</math>
と書くことにする（円周群 '''C'''<sup>&times;</sup> のねじれ部分群）と、アルティンの相互律写像はそれが数論的正規化されているならば
: <math>\hat{\mathbb{Z}}^\times \to G_{\mathbb{Q}}^\text{ab} = \text{Gal}(\mathbb{Q}(\mu_\infty)/\mathbb{Q}); \quad x \mapsto (\zeta  \mapsto \zeta^x) </math>
によって、あるいはそれが幾何学的正規化されているならば
: <math>\hat{\mathbb{Z}}^\times \to G_{\mathbb{Q}}^\text{ab} = \text{Gal}(\mathbb{Q}(\mu_\infty)/\mathbb{Q}); \quad x \mapsto (\zeta \mapsto \zeta^{-x})</math>
によって与えられる。しかし、このような小さな代数体に対する詳細理論の主要な構成法は一般の代数体の場合にまで拡張することはできないし、一般類体論で用いられるのはもっと違った概念的原理である。

== 類体論の一般化 ==
　3つの主要な一般化があり、それぞれが非常に興味深い。 [[ラングランズ・プログラム]]、[[遠アーベル幾何学]]、および高次類体論である。

　数論における一つの自然な展開は、大域体の（アーベルとは限らない）一般のガロワ拡大に対する情報を与える[[非可換類体論]]の構成と理解を行うことである。[[ラングランズ・プログラム|ラングランズ対応]]が非可換類体論と見做されることが多く、そして実際にラングランズ対応が確立されたときには大域体の非可換ガロワ拡大に関する非常に豊かな理論を含むことになるのだが、しかしラングランズ対応はアーベル拡大の場合の類体論が持っていた有限次ガロワ拡大についての数論的情報のほとんどを含んでいないのである。しかもラングランズ対応は類体論の存在定理に対応するものも含んでいない、即ち、ラングランズ対応における類体の概念は存在しないのである。局所および大域の非可換類体論はいくつか存在し、それらはラングランズ対応の観点に対する別の選択肢を与えてくれる。

　類体論のもう1つの一般化は[[遠アーベル幾何学]]であり、完全な[[絶対ガロア群]]または{{仮リンク|代数的基本群|en|etale fundamental group}}(Algebraic fundamental group)の情報から元のオブジェクト（たとえば、数体またはその上の双曲線）を復元するアルゴリズムを研究するものである。<ref>{{Citation|first=Ivan|last=Fesenko|year=2015|title=Arithmetic deformation theory via arithmetic fundamental groups and nonarchimedean theta functions, notes on the work of Shinichi Mochizuki, Eur. J. Math., 2015|url=https://ivanfesenko.org/wp-content/uploads/2021/10/notesoniut.pdf}}</ref> <ref>{{Citation|first=Ivan|last=Fesenko|year=2021 |title=Class field theory, its three main generalisations, and applications, May 2021, EMS Surveys 8(2021) 107-133 |url=https://ivanfesenko.org/wp-content/uploads/2021/11/232.pdf}}</ref>

　もう1つ、数論幾何における自然な展開は、高次局所体および高次大域体のアーベル拡大を構成及び理解することである。後者の高次大域体は、整数環上の有限型[[概型|スキーム]]の函数体およびその適当な局所化や完備化として生じる。「高次局所および大域類体論」は[[代数的K理論|代数的 ''K''-理論]]や、一次元類体論で用いられる ''K''<sub>1</sub> の代わりに適当なミルナー ''K''-群を用いる。高次局所および大域類体論は、A. パーシン、[[加藤和也 (数学者)|加藤和也]]、[[イヴァン・フェセンコ]]、[[スペンサー・ブロック]]、[[斎藤秀司]]らの数学者が展開した。代数的 ''K''-理論を用いずに高次大域類体論を展開しようとする試みもある (G. Wiesend) が、このやり方は高次局所類体論を含むものではなく、また局所理論と大域理論との間に互換性がない。

== 歴史 ==
{{main|[[類体論の年表]]}}
類体論の起源は[[カール・フリードリヒ・ガウス|ガウス]]によって与えられた[[平方剰余の相互律]]にある。それが一般化されるまでには長きに亙る歴史的な取り組み、たとえば[[二次形式]]とその{{仮リンク|「種の理論」|en|Genus of a quadratic form}}(Genus of a quadratic form)、[[エルンスト・クンマー|クンマー]]・[[レオポルト・クロネッカー|クロネッカー]]・[[クルト・ヘンゼル|ヘンゼル]]などのイデアルおよび完備化に関する業績、[[円分体]]および[[クンマー拡大]]の理論などがあった。

最初の二つの類体論は、非常にはっきりした円分類体論と虚数乗法類体論である。これらは付加的な構造（有理数体の場合には 1 の冪根、有理数体の虚二次拡大体の場合には楕円曲線が虚数乗法を持つことと位数有限であること）が利用できる。随分後になって、[[志村五郎|志村]]の理論は代数的数体のクラスに対する非常に明示的な新たな類体論を与えた。これらは基礎体の具体的な構造を非常に陽に用いる理論であって、勝手な数体に対してもうまくいくように拡張することはできない。正標数 ''p'' の体に関しては、[[河田敬義|河田]]と[[佐武一郎|佐武]]がヴィット双対性を用いて相互律準同型の ''p''-成分の非常に平易な記述を得ている。

しかし、一般類体論はこういったものとは異なる概念を用い、その構成法が任意の大域体に対してうまく機能するようにしなければならない。

大きな転機となったのは1898年[[ダフィット・ヒルベルト|ヒルベルト]]が（狭義の）[[ヒルベルト類体]]の存在と性質を予想したことである。また彼の提起した[[ヒルベルトの23の問題|有名な問題]]が更なる発展の刺激となって、[[高木貞治]]、[[フィリップ・フルトヴェングラー]]、[[エミール・アルティン]]、[[ヘルムート・ハッセ]]ほか多数による[[相互律|種々の相互律]]が導かれることとなった。著しく重要な[[高木の存在定理]]が1920年に知られ、全ての主要な結果は1930年ごろまでには出そろっていた。証明されるべき古典的な予想の最後の一つは{{仮リンク|単項化定理|en|principalisation property}}であった。類体論の最初の証明には、頑強な解析学的手法が用いられた。1930年代以降は、無限次元拡大とそのガロワ群に関する[[ヴォルフガンク・クルル]]の理論が有効であることが次第に認められていく。この理論は[[ポントリャーギン双対性]]と結びついて、中心的な結果である[[アルティンの相互律]]のより抽象的な定式化が分かり易くなった。重要な段階は、1930年代に[[クロード・シュヴァレー]]によって[[イデール]]が導入されたことである。イデールをイデアル類の代わりに用いることで、大域体のアーベル拡大を記述する構造は本質的に明確化および単純化され、中心的な結果のほとんどが1940年までに証明された。

この結果の後には、[[群コホモロジー]]の言葉を使った定式化がなされ、それが何世代かの数論学者が類体論を学ぶ際の標準となったが、コホモロジーを用いる方法の難点の一つは、それがあまり具体的でないことである。[[ベルナルド・ドワーク]]、[[ジョン・テイト]]、ミッシェル・ハゼウィンケルによる局所理論への貢献、および[[ユルゲン・ノイキルヒ]]による局所および大域理論の再解釈の結果として、あるいは多くの数学者による明示的な相互公式に関する業績と関連して、1990年代にはコホモロジーを用いない非常に明確な類体論の表現が確立された。このあたりの詳細は、例えばノイキルヒの本を参照せよ。

== 脚注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{notelist}}
=== 出典 ===
{{reflist|2}}

== 参考文献 ==

* {{Citation | last1=Artin | first1=Emil | author1-link=エミール・アルティン | last2=Tate | first2=John | author2-link=ジョン・テイト | title=Class field theory | isbn=978-0-201-51011-9 | year=1990 | publisher=Addison-Wesley | location=Redwood City, Calif.}}
* {{citation | first1=Henri | last1=Cohen | author1-link=Henri Cohen (number theorist) | first2=Peter | last2=Stevenhagen | chapter=Computational class field theory | pages=497–534 | editor1-first=J.P. | editor1-last=Buhler | editor2-first=Stevenhagen | editor2-last=P. | title=Algorithmic Number Theory: Lattices, Number Fields, Curves and Cryptography | series=MSRI Publications | volume=44 | publisher=[[Cambridge University Press]] | year=2008 | isbn=978-0-521-20833-8 | zbl=1177.11095 }}
* {{Citation | publisher=[[Academic Press]] | editor1-first=J.W.S. | editor1-last=Cassels | editor1-link=J. W. S. Cassels | editor2-first=Albrecht | editor2-last=Fröhlich | editor2-link=Albrecht Fröhlich | title=Algebraic Number Theory | year=1967 | zbl=0153.07403}}
* {{Citation | last1=Iwasawa | first1=Kenkichi | authorlink=Kenkichi Iwasawa | title=Local class field theory | url=https://books.google.co.jp/books?id=iJ7vAAAAMAAJ&redir_esc=y&hl=ja | publisher=The Clarendon Press Oxford University Press | series=Oxford Mathematical Monographs | isbn=978-0-19-504030-2 | mr=863740 | year=1986 | zbl=0604.12014 }}
* {{Citation | last1=Neukirch | first1=Jürgen | author1-link=ユルゲン・ノイキルヒ | title=Class Field Theory | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-3-540-15251-4 | year=1986}}
* {{Cite book|
|first = Jürgen
|last = Neukirch
|author-link=ユルゲン・ノイキルヒ
|year = 2015
|title = Class Field Theory (Free Online Edition)
|url = https://www.mathi.uni-heidelberg.de/~schmidt/Neukirch-en/Neukirch_cft_02_may15.pdf
|format = PDF
|ref = harv
}}
* {{Neukirch ANT}}
*{{Citation | last1=Kawada | first1=Y. | author1-link= 河田敬義 | title=Class formations | year=1955 | journal=Duke Math.J. | volume=22 | pages=165–177 | zbl=0067.01904 }}
*{{Citation | last1=Kawada | first1=Y. | author1-link= 河田敬義 | last2=Satake |first2=I. | author2-link= 佐武一郎| title=Class formations. II | year=1956 | journal=J.Fac. Sci.Univ. Tokyo Sect. 1A | volume=7 | pages=353–389 | zbl=0101.02902 }}
* {{Citation |url=http://www.math.uconn.edu/~kconrad/blurbs/gradnumthy/cfthistory.pdf |title=History of class field theory. |first1=Keith |last1=Conrad | ref = harv}}
* {{Citation | last=Gras | first=Georges | title=Class field theory: From theory to practice | year=second corrected printing 2005 | publisher=[[Springer Science+Business Media|Springer]] | location=New York | ref = {{SfnRef|Gras|2005}}}}
* {{Cite book|
|first = J.S.
|last = Milne
|year = 2020
|title = Class Field Theory (v4.03)
|url = https://www.jmilne.org/math/CourseNotes/cft.html
|ref = harv
}}
* {{Cite book|和書
|author     = 高木貞治
|authorlink = 高木貞治
|year       = 1971
|title      = 代数的整数論 : 一般論及類体論 第2版
|publisher  = [[岩波書店]]
|isbn       = 9784000056304
| ref = {{SfnRef|高木|1971}}
}}
* {{Cite web|和書 | author = 加塩朋和 | url =  https://www.rs.tus.ac.jp/a25594/2015_Class_Field_Theory.pdf | title = 代数学特論１ | date = 2015 | accessdate = 2022-06-01 | ref = {{SfnRef|加塩|2015}} }}
* {{Cite journal| doi = 10.2969/aspm/03010087| pages = 87–106| last = Koch| first = Helmut| title = The History of the Theorem of Shafarevich in the Theory of Class Formations| journal = Class Field Theory – Its Centenary and Prospect| date = 2001| url = https://projecteuclid.org/ebooks/advanced-studies-in-pure-mathematics/Class-Field-Theory--Its-Centenary-and-Prospect/chapter/The-History-of-the-Theorem-of-Shafarevich-in-the-Theory/10.2969/aspm/03010087 | ref = harv}}
* {{Cite book| publisher = [[Springer-Verlag]]| first = André | last = Weil | title = Basic number theory| year = 1995 | isbn = 978-3-540-58655-5 | url = {{Google books|DJf6CAAAQBAJ|Basic number theory|plainurl=yes}} | ref = harv }}

== 関連項目 ==
*[[遠アーベル幾何学]]
*[[ラングランズ・プログラム]]
*[[非可換類体論]]、{{仮リンク|Non-abelian class field theory|en|Non-abelian class field theory}}
*{{仮リンク|局所類体論|en|local class field theory}}
*[[宇宙際タイヒミュラー理論]]
{{Normdaten}}
{{DEFAULTSORT:るいたいろん}}
[[Category:代数的整数論|*]]
[[Category:類体論|*]]
[[Category:数学に関する記事]]