petit calcul modulo p

Bonjour a tous, je me pose une petite question en refaisant qq exos pour un exam demain :

Je dois prouver que si $p$ est premier, pour tout $\alpha \in \mathbb{F}_p^*$ :
$$
\alpha^{\frac 1 2 (p^2-1)}=1
$$
en utilisant 2 fois le petit Thm de Fermat, on voit bien que :
$$
\alpha^{p^2-1}=1
$$
Mais il me semble que ca ne suffit pas pour conclure... Quelqu'un aurait-il une petite piste ?? Merci !

Réponses

  • On n'a pas $\alpha^{p - 1} = 1$ ? D'où le résultat en élevant les deux termes à la puissance $\frac{p + 1}{2}$ qui est un entier car $p$ est impair ?
  • $F_p^*$ est d'ordre p-1 donc tout élément de $F_p^* $ est d'ordre diviseur de $p-1$. Mais $p-1|(p^2-1)/2$ (p impair bien sûr).
  • oui, c'est vrai, j'aurais du le voir. merci bien :)
Connectez-vous ou Inscrivez-vous pour répondre.