ヒルベルト類体
類体論において,(アルキメデス的なものも含んでよい)素イデアルの形式的な積である与えられたモジュラス(英語版)に関する射類体(英語版)を研究する.射類体はモジュラスを割る素点の外で不分岐でモジュラスを割る素点である分岐条件を満たす最大アーベル拡大である.するとヒルベルト類体は自明なモジュラス 1 についての射類体である.
狭義類体はすべての無限素点からなるモジュラスについての射類体である.例えば,上の議論は Q(√3, i) が Q(√3) の狭義類体であることを示している.