>>166
つづき

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

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

つづく