代数的整数論において，数体 のヒルベルト類体（） とは， の最大アーベル不分岐拡大である．その 上の次数は の類数に等しく， の 上のガロワ群は の素イデアルに対するフロベニウス元を用いて のイデアル類群に自然に同型である．
この文脈では， のヒルベルト類体は（古典的なイデアル論的解釈で）おいて不分岐であるだけでなく， の無限素点においても不分岐である．つまり， のすべての実埋め込みは の実埋め込み（複素埋め込みではなく）に拡張する．
例 もし の整数環が一意分解整域であるならば，特に ならば， 自身がヒルベルト類体である． とする．判別式は である．体 の判別式は でありしたがっていたるところ の不分岐拡大でありアーベルである． を用いて， の類数が 2 であることを示せる．したがってそのヒルベルト類体は である． の単項でないイデアルの1つは であり， においてこれは主イデアル になる． アルキメデス的素点における分岐をなぜ考慮に入れなければならないかを見るため， に の平方根を付け加えて得られる実二次体 を考える．この体の類数は で判別式は であるが，判別式 の拡大 は のすべての素イデアルで不分岐であり， は のすべての有限素点が不分岐であるような次数が 1 よりも大きい有限アーベル拡大を持つ．これは のヒルベルト類体が 自身であることに矛盾しない： のすべての真の有限アーベル拡大はある座で分岐しなければならず，拡大 においてアルキメデス的座で分岐がある： の実埋め込みは の（実ではなく）複素埋め込みに拡張する． 虚数乗法の理論により，虚二次体のヒルベルト類体は（ 加群としての）整数環の生成元における楕円モジュラー関数の値によって生成される．
歴史 与えられた数体 に対する（狭義）ヒルベルト類体の存在は により予想され，フィリップ・フルトヴェングラーによって証明された．ヒルベルト類体の存在は与えられた体のイデアル類群の構造の研究において貴重な道具である．
他の性質
ヒルベルト類体 は以下も満たす： は の有限次ガロワ拡大で， である，ただし は の類数． のイデアル類群は の 上のガロワ群に同型である． のすべてのイデアルは拡大環 の主イデアルである（）． のすべての素イデアル は の 個の素イデアルの積に分解する，ただし は のイデアル類群における の位数．
実は， は一，二，四番目の性質を満たす一意的な体である．
明示的な構成 が虚二次体で が の整数環によって虚数乗法を持つ楕円曲線のとき， の 不変量を に添加するとヒルベルト類体を得るTheorem II.4.1 of ．
一般化 類体論において，（アルキメデス的なものも含んでよい）素イデアルの形式的な積である与えられたに関するを研究する．射類体はモジュラスを割る素点の外で不分岐でモジュラスを割る素点である分岐条件を満たす最大アーベル拡大である．するとヒルベルト類体は自明なモジュラス についての射類体である．
狭義類体はすべての無限素点からなるモジュラスについての射類体である．例えば，上の議論は が の狭義類体であることを示している．
イデアル類群への応用
ヒルベルト類体を使うと次のような論法でイデアル類群の性質を調べることができる。まずイデアル類群をヒルベルト類体を使ってガロア群と解釈する。ガロア群の性質を分岐理論などの代数的整数論や体論を使って調べる。調べたことを今度はガロア群をイデアル類群と解釈してイデアル類群の性質に翻訳する。
この論法が使われる例としてフルトヴェングラーの定理の証明を見る。
フルトヴェングラーの定理 を素数、 を体拡大でともに ベキ分体に含まれるとする。つまり、ある自然数 と1の 乗根 があって、 と は に含まれているとする。このとき の類数 は の類数 を割り切る。
この証明には先の論法で「イデアル類群」「ガロア群」をそれぞれ「類数」「体の拡大次数」に置き換えたより簡単な論法が使われる。具体的には次の通り。まず を のヒルベルト類体、 を
のヒルベルト類体とする。それぞれの拡大次数は
と
であるので、類数を体の拡大次数と解釈することができた。次にこの拡大次数を調べる。 は
の不分岐アーベル拡大なので、 と
の合成体
は
上の不分岐アーベル拡大である。よって
は
の部分体であるので、拡大次数
は
を割り切る。 と置く。 と
がともに ベキ分体に含まれるという仮定から素数
のこれらの体における分岐指数は
上の拡大次数でなければならず、 の上にある
の素イデアルの
における分岐指数は
である。一方、 はヒルベルト類体
の部分体なので
の不分岐拡大である。よって 、つまり
でなければならない。これから
がわかる。 は
を割り切るので もそうである。最後にこれらの拡大次数が類数であったことを思い出すことにより証明は完結する。
岩澤の類数公式の証明もヒルベルト類体を使うとイデアル類群をガロア群と解釈できることを使う。の証明でも、不分岐アーベル拡大、つまりヒルベルト類体の部分体の存在を示すことによって類数の性質を導くという論法が使われる。
脚注
参考文献
J. S. Milne, Class Field Theory (Course notes available at http://www.jmilne.org/math/). See the Introduction chapter of the notes, especially p. 4.