剰余群Z/mZの単数群が巡回群になるのは、m=2,4,p^k,2p^k (p:奇素数、k≧1)のときに限る
ことはどう証明するのでしょう？

数学の本スレに誤爆してしまいました