既約剰余群

ここで、ちょっとバックします。

Z/ｐZは巡回群であることは、前に出てきました。

では、素数のべき乗の既約剰余群（Zｐ＾ｎZ）はどうでしょうか？

実は、これは巡回群の直積に同型になります。

Z/２＾ｎZ≅（Z/２＾n-2Z)(Z/2Z)

Z/p^nZ≅（Z/p^n-1Z)(Z/(p-1)Z)

のようになります。

このへんは難しいです。