Pour Fermat on utilise le "petit" théorème de Fermat :
Si p est premier alors p divise a^p-a pout tout a. On peut donc ce servir de ce théorème pour avoir un test de primalité.
Attention : 2^561-2 divise 561.
Cherchez un peu sur Google avec "nombres de Carmichael"
Solovay-Strassen (a/p) (Symbole de Jacobi)=a^((p-1)/2) mod p.
Pour k test, on est sûr à 1-1/2^k (si à chaque fois c'est égal) que n est premier, sinon on est sûr qu'il est composé.
Erathostène : vous devrez savoir.
Rabin-Miller:C'est dérivé du test de Fermat.
Pour k test, on est sûr à 1-1/4^k (sauf s'il est composé).
ECPP : courbes elliptiques un programme de François Morain est disponible.
Eratosthène et ECPP sont des algorithme sûr (mathématiquement).
Alors la factorisation est difficile (qui peut le prouver?) n'est-ce pas?.
561=3*11*17
-----