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

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

この加群ってゆうめいなやつ？
名前知りたい。調べても出てこないから。 pic.twitter.com/tmdraRX3wF

— 不自然対数 (@study_unnatural) May 27, 2023

プリュ―ファー群というものらしいです。この名前で調べたら出てきた。
(Q/Z)(p^∞)という記法で書いているものがみつからなくて、結局Twitterで聞くまで分からなかったからあえてこの記法で書いておく。（ヤフー知恵袋とかだと検索にかかるんだろうけど、noteに書いて検索にかかるのだろうか。）

で、プリュ―ファー群の真の部分群はZ/p^nZの形になる。

ありがとうございます！
アルティン加群であるが、ネーター加群でない例であるプリューファー群(Q/Z)(p^∞)について:
真の部分加群はZ/p^nZと同型であることがこのようにわかりました。
画像のやり方は筋が悪いかも。 https://t.co/LSakNnj9MJ pic.twitter.com/WQROLJ4piX

— 不自然対数 (@study_unnatural) May 27, 2023