55

1.6
1.6.1

Pruebas de Primalidad.

Introduccin.

Para decidir si un nmero n pequeo es primo, podemos usar el mtodo

de en
sayo y error para verificar que no tiene divisores primos inferiores a n.
Para un nmero un poco ms grande, la estrategia usual es primero verificar si
tiene divisores primos pequeos, sino se usa el test para seudoprimos fuertes de
Miller-Rabin con unas pocas bases pi (con pi primo) y usualmente se combina
con el test de Lucas. Esta manera de proceder decide de manera correcta si un
nmero es primo o no, hasta cierta cota 10 M . Es decir, la combinacin de algoritmos decide de manera correcta si n < 10 M Sino, decide de manera correcta
solamente con una alta probabilidad y cabe la (remota) posibilidad de declarar un
nmero compuesto como primo.
Aqu solo vamos a tratar rpidamente la prueba de Miller-Rabin.

1.6.2

Prueba de primalidad de Miller Rabin.

Iniciamos con test de primalidad de Fermat, por razones histricas. Esta prueba se
basa el el teorema,
Teorema 1.9 (Fermat)
Sea p primo. Si MCD( a, p) = 1 entonces a p1 1 (mod p).

Este teorema nos dice que si n es primo y a es un entero tal que 1 a n 1,

entonces an1 1 (mod n).
Por tanto, para probar que n es compuesto bastara encontrar 1 a n 1 tal
que an1
/ 1 (mod n).