19/10/25 18:51:52.53 xcx18NtP.net
>>192
つづき
幾つかの小さい体、例えば有理数体 Q やその虚二次拡大体については、もっとたくさんの情報が得られる詳細な理論が存在する。
例えば、Q のアーベル化絶対ガロワ群 G は、全ての素数に亙って取った p-進整数環の単元群の無限直積（に自然同型）であり、対応する Q の最大アーベル拡大は 1 の冪根全てによって生成された体となる。
このことは、もとはレオポルト・クロネッカーの予想であったクロネッカー?ヴェーバーの定理として知られる。
この場合の、類体論の相互律同型（あるいはアルティンの相互律写像）も同定理に従って具体的に書くことができる。
1 の全ての冪根からなる群を
μ_∞(⊃C^X)
と書くことにする（円周群C^×のねじれ部分群）と、アルティンの相互律写像はそれが数論的正規化されているならば
＾Z^X→G_Q^ab=Gal(Q(μ_∞)/Q);x→(ζ→ζ^x)
によって、あるいはそれが幾何学的正規化されているならば
＾Z^X→G_Q^ab=Gal(Q(μ_∞)/Q);x→(ζ→ζ^-x)＾
によって与えられる。
しかし、このような小さな代数体に対する詳細理論の主要な構成法は一般の代数体の場合にまで拡張することはできないし、一般類体論で用いられるのはもっと違った概念的原理である。
相互律準同型を構成する標準的な方法は、まず大域体の完備化の乗法群からその最大アーベル拡大のガロワ群への局所相互律同型を構成し（ここまでは局所類体論の範疇でできる）、それからそれらすべての局所相互律写像の積を大域体のイデール群上で定義するとき、その積が大域体の乗法群の像の上で自明となることを示すことで行われる。
最後のところのこの性質を大域相互律 (global reciprocity law) と言い、これはガウスの二次の相互律の広汎な一般化になっている。
相互律準同型を構成するのに類構造（英語版）を用いる方法もある。
コホモロジー群（特にブラウアー群）を用いる方法や、コホモロジーを用いずに非常に明示的で応用が利く方法などもある。
つづく