pを奇素数、nを2以上の自然数とする。 mod p^nの元のうち、pで割った余りが1になるようなものの集合は、乗法に関して位数p^(n-1)の巡回群になるようです。 例としてp=5,n=2、つまりmod 25のときをあげると 6^0=1 6^1=6 6^2=11 6^3=16 6^4=21 6^5=1=6^0 とな…