今回も皆さんありがとうございました。あー、救われる
https://twitter.com/study_unnatural/status/1662282207988432897?s=20
プリュ―ファー群というものらしいです。この名前で調べたら出てきた。
(Q/Z)(p^∞)という記法で書いているものがみつからなくて、結局Twitterで聞くまで分からなかったからあえてこの記法で書いておく。(ヤフー知恵袋とかだと検索にかかるんだろうけど、noteに書いて検索にかかるのだろうか。)
で、プリュ―ファー群の真の部分群はZ/p^nZの形になる。
https://twitter.com/study_unnatural/status/1662330730117226502?s=20