pを素数とし、 nを、pの倍数であり、p^2の倍数でない自然数とするとき、 mod nにおいて{0,n/p,2n/p,……,(p-1)n/p}という集合が体になることに気付きました。 具体例を書きます。 n=21,p=7、つまり、 mod 21において{0,3,6,9,12,15,18}という集合が体になるこ…

nを2以上の自然数、a,bを整数とする mod n^2において、 anとbnの和が(a+b)nになることと、(an+1)と(bn+1)の積が((a+b)n+1)になることが、似ていることに気付きました。 つまり、 {0,n,2n,……,(n-1)n} (mod n^2)という加法群と、 {1,n+1,2n+1,……,((n-1)n+1)}(m…

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 とな…