【加群】アルティン加群だが、ネーター加群でない例:Twitterより

note.com

今回も皆さんありがとうございました。あー、救われる

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