Voici un petit énoncé qui me pose quelques problèmes :
Soit un nombre premier.
Montrer par des congruences que si avec alors .
Jusque là, ok.
Ensuite : déterminer un élément d'ordre 4 dans le groupe multiplicatif des inversibles de .
Je pars de .
Ensuite, j'ai donc . Mais, je ne sais pas si c'est utile... je bloque un peu...
Ensuite, p est toujours un nombre premier supérieur ou égal à 3. Montrer qu'il existe une racine de -1 modulo p.
Alors, là, j'ai du mal. Je ne vois pas comment m'y prendre. J'ai essayé un raisonnement par l'absurde du genre :
" On suppose qu'il n'existe pas tel que " mais je ne vois pas de contradiction...
Pourriez-vous m'éclairer ?
-----