Pseudoprimo de base a

Un número compuesto $m$ es un pseudoprimo de base $a$ si $m$ divide a $a^m -a$. En términos de congruencia se escribe así $$a^m \equiv a \pmod{m}$$ .

Esta es una generalización del concepto de pseudoprimo. Que finalemente, son definiciones inspiradas en el Pequeño teorema de Fermat.