擬素数
フェルマーの小定理は、pが素数でありaとpが互いに素である場合、a − 1 はpで割り切れるという内容である。整数a > 1で合成数の整数xが a − 1を割り切れる場合、xはaを底とするフェルマー擬素数(英語版)と呼ばれる。xが底aのフェルマー擬素数である場合、xはaと互いに素となる。この定義とは異なる定義を用いるものもある。例えば、それを用いると奇数のみを擬素数にすることができる。
xと互いに素である全ての値をとるaに対してフェルマー擬素数である整数xはカーマイケル数と呼ばれる。