純粋・応用数学（含むガロア理論）8

485 ：現代数学の系譜 雑談 ：2021/05/26(水) 20:25:48.00 ID:VMEh8nPz.net

>>478
余談ですが
足立先生『ガロア理論講義』（下記）
無限次ガロア拡大で、射有限なガロア群があったね
（離散有限群の成す射影系（逆系）の射影極限（逆極限））

（参考）
https://tosuu.web.fc2.com/2018/seminar.html
都内数学科学生集合 2018年度 ゼミ情報
足立恒雄『ガロア理論講義』ゼミ
教科書 足立恒雄『ガロア理論講義』
内容・目標 新入生ゼミの延長でガロア理論を学びます。7章の無限次ガロア拡大が面白いと聞いたので

https://ja.wikipedia.org/wiki/%E5%B0%84%E6%9C%89%E9%99%90%E7%BE%A4
射有限群（英語: pro-finite group）あるいは副有限群は、有限群の射影系の極限になっているような位相群である。ガロア群やp-進整数を係数とする代数群など、数論的に興味深い様々な群が射有限群の構造を持つ。
射有限群は完全不連結でコンパクトなハウスドルフ位相群として定義される。同値な定義として、離散有限群の成す射影系（逆系）の射影極限（逆極限）として得られる位相群に同型であるような群を射有限群と定めるいうこともできる。
例
・体の無限次拡大のガロア理論では、射有限なガロア群が自然に現れる。具体的に、L/K を（無限次元の）ガロア拡大とし、K の元を動かさない L 上の体自己同型全体の成す群 G = Gal(L/K) を考える。この無限ガロア群は、F が F/K が有限次ガロア拡大であるような L/K の中間体すべてを亘るとき、有限ガロア群 Gal(F/K) が成す射影系の逆極限である。この射影系における射は、F2 ⊆ F1 なるとき、制限準同型 Gal(F1/K) → Gal(F2/K) で与えられる。得られる Gal(L/K) の位相はヴォルフガンク・クルルに因んでクルル位相 (Krull topology) として知られる。
多くの体 K で、どのような有限群が体 K 上のガロア群として得られるかということは一般にははっきりしない。このような問題は体 K に対するガロアの逆問題と呼ばれる（複素一変数の有理函数体のように、ガロアの逆問題が解決されている体もある）。
・代数幾何学において考察される基本群もまた射有限である。これは大雑把に言って、代数的には代数多様体の有限被覆だけしか「見る」ことができないということを反映するものであり、代数的位相幾何学における基本群は一般には射有限ではない。
(引用終り)
以上