類体論

数学における**類体論**（るいたいろん、, ）は、代数的整数論の理論。代数体のアーベル拡大を一般化されたイデアル類群やイデール類群といったその体に内在的な数学的対象と関係付け分類・記述する。

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

## 概説

体  のガロア拡大であってそのガロア群がアーベル群であるものを  のアーベル拡大という。例えば二次拡大や円分拡大、クンマー拡大などがアーベル拡大の例である。

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

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


{ 有限次アーベル拡大 } ← 1:1 → { 一般化されたイデアル類群 }


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

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

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

有限次アーベル拡大を個別に一般化されたイデアル類群に対応させるのではなく、 の有限次アーベル拡大をすべて合成した**最大アーベル拡大**  のガロア群を直接記述する方法も知られている。有限次代数体の場合、その最大アーベル拡大のガロア群

は無限群になるが、クルル位相により位相群とみたときこれは副有限群の構造を持つ。現代的な類体論の定式化では、**[[イデール類群]]**（イデール群を体の乗法群で割ったもの）と呼ばれる  から（おおよそ）内在的に定まる位相群から

への**相互律準同型**（reciprocity homomorphism）と呼ばれる準同型が構成される。ガロア対応により有限次アーベル拡大は

の開部分群と一対一対応し、相互律準同型によりそれはイデール類群の開部分群と一対一対応する。有限次アーベル拡大に対応するイデール類群の開部分群は、その有限次アーベル拡大体のイデール類群のノルム写像による像として特徴づけられる。


{ 有限次アーベル拡大 }

↕ 1:1

{
 の開部分群
}

↕ 1:1

{ イデール類群の開部分群 }


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

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

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

類体論の主要な結果は少し用語と記号を準備すれば簡単に述べることができる。以降、この節を通して

は任意の有限次代数体を表すものとする。

### 用語と記号

代数体

のすべての素点

をわたる形式的な無限積

で次の3条件を満たすものを（ の）という。

* 
* ほとんどすべての  に対して 
* 無限素点  については  が0もしくは1

モジュラスに対して、約数、倍数、最大公約数、最小公倍数、割り切れる、素点の指数、などの概念が自然に定義される。 の整数環の0ではないイデアルは素イデアル分解を使って自然にモジュラスとみなせる。

モジュラス

の有限素点だけを取り出したものを

と書く。ここで、素点

が有限素点であることを
、無限素点であることを

と表している。
を

の**有限部分**（ﬁnite part）という。これは自然に

のイデアルと思える。

の分数イデアルで

の有限部分と互いの素なもの全体を

と置く。これは自然に群になる。群としての構造は

と互いに素な素イデアルを底とする自由アーベル群である。

の部分群

を

という形の単項イデアル全体とする。ここで

と

は

の0ではない整数で以下の条件を満たすものである。

*  と  は  と互いに素
* 
* 実素点  に対して 。ここで  の元  に対して  で実素点  による  の像を表している。

包含関係

にある群

を
** を法とする合同群**（congruence subgroup modulo ）と呼ぶ
。

を有限次拡大とする。

の部分群

を

の分数イデアルのノルムになっているような元全体とする。これは
（ は  の素イデアルで

と互いに素なもの、 はそれの

における剰余次数）で生成される

の部分群である。
と置く。これを**拡大  に対する合同群**という。

さらに

はアーベル拡大であったとする。この拡大で不分岐な

の素イデアル

に対してそのフロベニウス元を

と書く。
で分岐する素イデアルを含まない分数イデアル

に対しても、素イデアル分解を使って

を定義する。この記号を**アルティン記号**（Artin symbol）と呼ぶ。モジュラス

が

で分岐する素イデアルすべてで割り切れるなら、アルティン記号により

から

への群準同型が定義される。これを**アルティン写像**（Artin map）と呼ぶ。

### 類体論の主結果

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

#### 相互法則

代数体の任意の有限次アーベル拡大  に対して、この拡大で分岐するすべての（有限及び無限）素点で割り切れるモジュラス

が存在し、このモジュラスに対してアルティン写像は全射かつその核はこの拡大の合同群と等しい。したがってアルティン写像から同型

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

が得られる。これを**アルティン相互法則**（Artin reciprocity law）という。

#### 存在定理

を代数体

の任意のモジュラスとし、
を

を法とする任意の合同群とする。このとき、あるアーベル拡大

が存在して

が成り立つ。これを（高木の）**存在定理**（Existence Theorem）という。

### 補足

#### 歴史的な用語

有限次拡大  に対して  が成り立つとき、 を（高木の意味での）**類体**（class field）という。アルティン相互法則より、すべてのアーベル拡大は類体である。高木はこれを「アアベル体即ち類体」と言い表した。これを**基本定理**と呼ぶ。

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

アルティン相互法則から  と  は同型である。これを**同型定理**と呼ぶ。再びアルティン相互法則から、素イデアル  のイデアル類群における位数と拡大  におけるこの素イデアルの剰余次数は等しい。これを**分解定理**と呼ぶ。歴史的には、同型定理と分解定理が（基本定理などと一緒に）まず高木によって証明された後、アルティンによって相互法則が証明された。現代ではこれらの定理はアルティン相互法則の系として証明されるようになった。

を**高木群**（Takagi group）、アルティン写像の核を**アルティン群**（Artin group）と呼ぶことがある。この言葉を使えば、相互法則の核に対する主張は「アルティン群と高木群は等しい」と言い表すことができる。古くはこのように言い表されていた。
がアルティン写像の核に入ることは簡単に分かるので、このことの実質的な内容は

がアルティン写像の核に入るということである。

#### 乗法合同

と

を

の0ではない元とする。分数イデアル

の分子が整イデアル

によって割り切れ、分母が

と互いに素であるとき、
と

は

を法として**乗法合同**であるという。モジュラス

の有限部分

を法として

と

が乗法合同であり、かつ

を割るすべての実素点による埋め込みで

と

の符号が等しいとき、
と

はモジュラス

を法として乗法合同である、ということもある。この言葉を使うならば、
は

を法として1と乗法合同である元で生成される単項イデアル全体、と言い表すことができる。

#### イデアルの群

モジュラス

に対して

と互いに素な分数イデアルのなす群

は

を割り切る有限素点の集合だけによって決まる。特に

に含まれる無限素点には依存しない。他方、
は有限素点の指数にも依存し、指数が大きくなれば小さくなっていく。無限素点の有無でも大きさは変わる。相互法則の意味するところの1つは「 に分岐する無限素点を付け加え、有限素点の指数を適当に大きくすれば、
はアルティン写像の核に入るぐらい小さくなる」という点である。

商群

のことを**射類群**（ray class group）と呼ぶことがある

。
のときこれは通常のイデアル類群なので、これはイデアル類群の一般化になっている。
が

の実素点すべての積であったとする。このとき

はすべての分数イデアルからなる群であり、

は総正な元で生成される単項イデアル全体の群である。この

を
**狭義のイデアル類群**または（narrow class group）という。

任意のモジュラス

に対して

の位数は類数  を用いて

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


と表すことができる。ここで

は

の整数環の

による剰余類環の可逆元の個数、
は

を割り切る実素点の個数、
は

の単数群における

を法として1に乗法合同な単数の成す群の指数である。特に、
は有限群である。

存在定理によって合同群に対してアーベル拡大

が定まり、逆にアーベル拡大

があれば合同群

が定まる。この対応を一対一にするためには合同群に対して適切な同値関係を定義する必要がある。これは次のように定義される。

を法とする合同群

と

を法とする合同群

が同値であるとは、
と

の公倍数であるような

が存在して

の核と

の核が等しいことと定義する。この同値関係による合同群の同値類とアーベル拡大の対応は一対一になる。イデールによる定式化ではこの対応がより直接的に記述される。

#### 導手

を代数体の有限次アーベル拡大とする。アルティン相互法則が成り立つような2つのモジュラスの最大公約数でもアルティン相互法則が成り立つ。したがってアルティン相互法則が成り立つ最小のモジュラスが存在する。このモジュラスを**導手**（、）と呼び、記号では  と表す。

#### 判別公式

を代数体の有限次アーベル拡大、 をこの拡大に対してアルティン相互法則が成り立つようなモジュラスとする。このとき、相対判別式

と導手を関係づける公式
: \mathrm{disc}(L/K) = \prod_\chi \mathfrak{f}_{\chi, 0}
が知られている。ここで

は

の指標をすべてわたり、
は合同群

に対応するアーベル拡大の導手、
はその有限部分である。これは**ハッセの判別公式**（）と呼ばれている。

#### 射類体

任意のモジュラス

に対して存在定理より

に対応するアーベル拡大体が存在する。この拡大体は

によって決まるので

で表す。この体はと呼ばれている。

射類体の導手

は

を割るが一致するとは限らない。例えば有理数体のモジュラス

に対する射類体は有理数体に一致するので導手は

である。またこの例から分かるように異なるモジュラスに対する射類体が等しくなるということもある。

#### 不分岐類体論

代数体

の自明なモジュラス

を取り
 と置く。存在定理よりこれに対応するアーベル拡大

が存在する。これを

上の**[[ヒルベルト類体]]**、または**絶対類体**（absolute class ﬁeld）と呼ぶ。射類体の記号を使えば、これを

と表すこともできる。もともとヒルベルトが存在を予想した「類体」は無限素点で何も条件をつけていないのでこの体とは異なる。しかし、現在ヒルベルト類体と呼ばれているものはここで定義したものである。

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

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

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

ヒルベルト類体はすべての射類体に含まれる。代数体のすべてのイデアルはヒルベルト類体に延長すると単項イデアルになることが知られている（）。

#### 終結定理

類体論は、有限次アーベル拡大

に対してイデアルのノルムの成す群

に

を乗じた群、つまり拡大に対する合同群

を考えることでアーベル体に対して深い理解をもたらした。しかし、この手法は非アーベル拡大には通じない。このことを端的に示すのが次の終結定理である。

: **終結定理**  を任意の有限次拡大とする。このとき、この拡大に対する合同群  は  に含まれる最大アーベル拡大に対する合同群に等しい。

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

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

イデアルの言葉による類体論は、具体的であり、多くの場合に最も便利である。しかし、モジュラス

を固定するため一度に取り扱えるのは導手が

を割る有限次アーベル拡大だけであったり、また無限次アーベル拡大が扱えないなどの短所もある。イデールの言葉による類体論では、無限次拡大も扱え、すべてのアーベル拡大を同時に取り扱える。

を大域体、つまり代数体もしくは有限体上の1変数代数関数体とし、そのイデール群を
、イデール類群を
、最大アーベル拡大を  と表す。このとき、**大域アルティン写像**（global Artin map）、または**大域相互律写像**（global reciprocity map）、**標準射**（canonical morphism）などと呼ばれる準同型

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


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

; 局所と大域
:  の任意の素点  に対し、次の図式
:: 
\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}

: は可換図式。ここで、(1) の写像はで定義される局所アルティン写像、(2) は作用の制限から得られる写像、(3) は 、(4) は  の元  を  成分は  でその他の成分は1のイデールに送る写像である。

; 相互法則
: 主イデールは  の核に含まれる。つまり
:: 
\varphi_K(K^\times) = \{ 1 \}

: が成り立つ。また任意の有限次アーベル拡大  に対して  から自然に同型
:: 
\varphi_{L/K} : C_K/N_{L/K}C_L \stackrel{\simeq}{\to} \mathrm{Gal}(L/K)

: が誘導される。ここで  はイデール類群のノルム写像である。

; 存在定理
: イデール類群  の任意の有限指数開部分群  に対して一意に定まる有限次アーベル拡大  が存在して  が成り立つ。

相互法則と存在定理から、 と、 の有限指数開部分群についての副有限完備化は同型になる。そして  の有限次アーベル拡大とイデール類群  の有限指数開部分群の間に1対1の対応

: {  の有限次アーベル拡大 } ∋  ↦  ∈ {  の有限指数開部分群 }

が存在することがわかる。

考えている大域体  が代数体の場合には、 は全射であり、その核は単位元の連結成分  であるため、

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


であることが示される。そして、無限次アーベル拡大の場合に1対1対応

: {  の有限次とは限らないアーベル拡大 } ∋  ↦  ∈ {  の単位元の連結成分を含む閉部分群 }

が成り立つ。

考えている大域体  が有限体上の1変数代数関数体の場合には、 は全射とは限らないが、その像は稠密であり、単射である。

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

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

 を有限次代数体、 を  の有限次ガロア拡大（アーベルでなくともよい）とする。
のイデール類群

にはガロア群

が作用するので、 をガロア加群と見て群のコホモロジーを取ったものを

と書く（ は任意の整数、定義については  を参照）。このとき、invariant map（）と呼ばれる同型写像

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


が存在する。この同型によって

が定める右側の群の元に対応する左側の

の元を

と書く。これを**基本類**（fundamental class）という。任意の整数  に対して、基本類のカップ積が定める写像

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


は同型写像になる。この同型の  の場合を考えることにより、アルティン相互法則と呼ばれる同型

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


が得られる。ここで

は

の最大アーベル商（アーベル化）である。この写像は**相互律写像**（reciprocity map）、または中山正にちなんで**中山写像**（Nakayama map）と呼ばれている。この同型写像の逆写像から得られる写像

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


を**ノルム剰余記号**（norm residue symbol）という。以上から、有限次ガロア拡大  に対して完全系列

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


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

なお、
や

が局所体の場合にも、イデール類群

を

の乗法群

に置き換えれば同様のことが成り立つ。局所体の場合と大域体の場合をまとめて扱えるように、共通する上述の性質を抽象化したものがである。

コホモロジーを用いずに非常に明示的で応用が利く方法などもある。

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

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

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

　類体論のもう1つの一般化は遠アーベル幾何学であり、完全な絶対ガロア群または(Algebraic fundamental group)の情報から元のオブジェクト（たとえば、数体またはその上の双曲線）を復元するアルゴリズムを研究するものである。 

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

## 歴史

類体論の起源はガウスによって与えられた平方剰余の相互律にある。それが一般化されるまでには長きに亙る歴史的な取り組み、たとえば二次形式とその(Genus of a quadratic form)、クンマー・クロネッカー・ヘンゼルなどのイデアルおよび完備化に関する業績、円分体およびクンマー拡大の理論などがあった。

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

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

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

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

## 脚注

### 注釈

### 出典

## 参考文献

* 
* 
* 
* 
* 
* 
* 
*
*
* 
* 
* 
* 
* 
* 
* 

* 河田敬義：「高木先生と類体論」、数学（PDF)

## 関連項目
*遠アーベル幾何学
*ラングランズ・プログラム
*非可換類体論、
*
*宇宙際タイヒミュラー理論