Pseudoprimo

Versión para impresión

Un número compuesto m se dice pseudoprimo si m divide a 2m2.  En términos de congruencias, esto se escribe así: 2m2(modm)

Esta definición está inspirada en el Pequeño teorema de Fermat, que dice que para todo primo p se tiene que apa(modp), y en el caso particular de a=2 es cierto que 2p2(modp) para todo primo p.  En este sentido, son pseudoprimos, pues satisfacen una propiedad que todos los primos satisfacen pero no son primos.

Los pseudoprimos más pequeños que se conocen son 341, 561, 645 y 1105.

Es posible demostrar que hay una infinidad de pseudoprimos.