カーマイケル数は、と互いに素な底を用いたフェルマーテストを通過する合成数のこと。絶対疑素数（absolute pseudoprime）とも 言いかえると、と互いに素な任意のに対してを満たす Korselt's Criterion がカーマイケル数 ⇔ がsquarefreeかつについて