También conocidos como números de Charmichael.
Un número compuesto $m$ se dice pseudoprimo absoluto si para todo entero $a$ es cierto que $m | a^m-a$. En términos de congruencia, esto es, $$a^m \equiv a \pmod{m}$$ para todo entero $a$.
Los pseudoprimos absolutos son contrajemplos a la validez de la implicación inversa del Pequeño teorema de Fermat [1].
El pseudoprimo más pequeño que se conoce es el número 561, y fue Carmichael el primero en notar la existencia de los pseudoprimos.
En 1994 fue probado que existen una infinidad de pseudoprimos absolutos.