わからへんわからへん...わからへん($2^n$回)
「教えて、とんとん...とん($2^n$回)」
画像の名前
$\mathbb{Z}/p^n\mathbb{Z}$の乗法群の位数は$(p-1)p^{n-1}$(参考文献参照)であるから$G$の位数は$(p-1)p^{n-1}p^n=(p-1)p^{2n-1}$.$p$と$p-1$は互いに素であり$p-1$以下の$1+rp$の形の数は$1$のみ.よってシローの定理から位数$p^{2n-1}$の部分群をただ一つもつ.$\Box$
コメント:メインは乗法群の位数を求めるところだと思います.
参考文献:AKITOさんの動画
【代数学#83】(Z/p^nZ)の乗法群の構造