小定理的伪素数，也是最重要的一类伪素数。其定义是：对自然数formula_1和一个与其互素的自然数"a"，如果formula_1整除 "a" - 1，则称formula_1是一个以"a"为底的费马伪素数或者关于"a"的费马伪素数。最小的费马伪素数是341（"=11×31"，关于2）。如果formula_1关于任何与其互素的数都是费马伪素数，则称formula_1是绝对伪素数（或卡迈克尔数，来自找到第一个绝对伪素数的数学家罗伯特·丹尼·卡迈克尔）。最小的绝对伪素数是561。有人已经证明了费马伪素数的个