いう一対一対応が付きます。通常のGalois理論での対応と同じようになってるわけです。ZをGalois群の《近似》だと思えるわけです。以下を満たすようなものが存在します。Gal(F^alg/F)→Gal(k/F)があります。先に出てきていた同型と一致します。あって、Galの情報がZへ行くわけですな。成り立つというのが(1次元)大域類体論。(あとRとC)でも成り立つというのが(1次元)局所類体論。終電で終点へ16コメントコメントがまだありません。厳選まとめろくな人生じゃねえ@515hikaruソフトウェア開発者。Pythonを書いています。