congruences...

Bonjour,

J'ai un petit problème :

Si y est un entier, et p un nombre premier >2 tel que p=3 mod 4, pourquoi a-t-on :
y^((p-1)/2) =1 mod p ?

C'est faux pour p=1 mod 4.

Merci !

Réponses

  • Euh... C'est faux aussi pour p=3 mod 4. Ex : p=3 et y=2
  • Aïe, en effet ;-((
    Je vais chercher si j'ai d'autres précisions sur p ou y
  • y^((p-1)/2) =1 mod p ?
    <BR>
    <BR>c'est pas plutôt : y^p-1=1(p) . non?<BR>
  • euh effectivement, vu comme ça, y'a un peu trop de racine au polynôme $X^{\frac{p-1}{2} } - 1$ dans $F_p$
    par contre, ça fait penser à la caractérisation des carrés de $F_p$ ...
  • Oubliez ce poste !
    je suis désolée je crois que le problème est plus simple, on supposait déjà que le critère du haut était vérifié (c'est le critère d'Euler), et je sais pas encore pourquoi le C ne convient pas dans le 2 ème cas mais c'est pas grave.

    Merci
  • C'est que pour la suite on veut le C impair afin d'avoir une formule correcte pour des racines
Connectez-vous ou Inscrivez-vous pour répondre.