Soit $n$ un entier naturel. On dit que $n$ est un nombre de Carmichael si $a^n = a [n]$ pour tout entier $a$.
Un entier naturel $n$ est de Carmichael ssi $n$ est sans facteur carré et pour tout nombre premier $p$ divisant $n$,
$$ p-1 | n-1 $$