■(2^2820−1)は素数であるか? (その1)
2821=7・13・31はカーマイケル数で,底を2〜aに取り替えても一切反応しません.
(証明)
a^6=1 (mod7)
a^12=1 (mod13)
a^30=1 (mod31)
より,
a^2820=(a^6)^470=1 (mod7)
a^2820=(a^12)^235=1 (mod13)
a^2820=(a^30)^94=1 (mod31)
つまり
a^2820=1 (mod2821)
===================================