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|am−a. En términos de congruencia, esto es, am≡a(modm) para todo entero a.
Los pseudoprimos absolutos son contrajemplos a la validez de la implicación inversa del Pequeño teorema de Fermat.
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.