■フェルマー商(その11)
フェルマーの小定理a^(p-1)−1はpで割り切れるというものであるが、
フェルマー商
(a^(p-1)−1)/p
は整数値をとる.
n>1のとき、
2^n=1 (mod n)の解はない
nが素数、擬似素数なら
2^n=2 (mod n)は常に成立する
===================================
2^n=3 (mod n)
の最小解は、n=4700063497=19・47・5263229
である。2,3,7,17,31,41,43,73,・・・では割り切れない合成数である。
===================================
n=3^kに対して
2^n=-1 (mod n)
n=32,6,66,946,・・・に対して
2^n=-2 (mod n)
===================================