Nombre pseudoprimer

Els nombres pseudoprimers són els que no éssent primers, verifiquen el test de primalitat de base b:

Siguin $a$ un nombre enter i $p$ un altre nombre enter no primer. El nombre $p$ és pseudoprimer respecte la base $a$ si $a^{p-1} \equiv 1 \pmod{p}$.

Els nombres pseudoprimers respecte qualsevol base són els nombres de Carmichael.