早朝四時の0次元類体論講義@alg_d氏による朝の講義。有限体上の代数拡大はアーベル拡大、という話からこういうことになりました。分かるということです。いうことが分かりましたね。なります(L/Kは有限次拡大を動く)。@alg_dそこでGalois群の代わりとなるような群を探しましょう。Galois群は中間体と部分群が対応するような群です。そこでここでは有理整数環Zを取ります。Gal(K^alg/K)が《近似》できたことになります。@alg_dこういうのがQとかでも成り立つってのが(1次元)類体論です。@alg_d質問は随時受け付けます。