カーマイケル数

フェルマーテスト 絶対疑素数 absolute_pseudoprime squarefree

カーマイケル数 nは、 nと互いに素な底 aを用いたフェルマーテストを通過する合成数のこと。絶対疑素数（absolute pseudoprime）とも

言いかえると、 nと互いに素な任意の aに対して a^{n-1} \equiv 1 \mod nを満たす n

Korselt's Criterion

nがカーマイケル数 ⇔ nがsquarefreeかつ \forall p \in {nの素因数}について (p-1) | (n-1)