- 730 名前：１３２人目の素数さん mailto:sage [2022/01/03(月) 11:14:35.08 ID:M7Pqf1pT.net]
- >>681
つづき
https://ja.wikipedia.org/wiki/%E5%B0%84%E6%9C%89%E9%99%90%E7%BE%A4
射有限群（英語: pro-finite group）あるいは副有限群は、有限群の射影系の極限になっているような位相群である。ガロア群やp-進整数を係数とする代数群など、数論的に興味深い様々な群が射有限群の構造を持つ。
射有限群は完全不連結でコンパクトなハウスドルフ位相群として定義される。同値な定義として、離散有限群の成す射影系（逆系）の射影極限（逆極限）として得られる位相群に同型であるような群を射有限群と定めるいうこともできる。
https://en.wikipedia.org/wiki/Profinite_group
Profinite group
(引用終り)
以上
