![next](next_motif.gif)
![up](up_motif.gif)
Next:Algorithme:Up:No
TitlePrevious:Tests
de primalité probabiliste
Teste de Solovay-Strassen
-
Définition: Soit p impair, premier et
. On dit que x est un résidu quadratique
modulo p si:
admet une solution dans ![tex2html_wrap_inline325](img41.gif)
-
Résidus quadratiques de 11 sont 1,3,4,5,9
car (
,
,
,
,
)
-
Critère d'Euler:. x
est un résidu quadratique modulo p sss:
![displaymath341](img47.gif)
-
Ex:
![displaymath343](img48.gif)
-
Symbole de Legendre:
![tex2html_wrap_inline345](img49.gif)
0 si
1 si a
est un résidu quadratique mod p
-1 si a n'est pas un résidu
quadratique mod p
-
Donc
![displaymath363](img51.gif)
-
Pour n entier impair, le Jacobi de n est
![tex2html_wrap_inline369](img52.gif)
sont les facteurs premiers de n
-
Ex: