Démonstration du critère d’Euler

[gloomy]

On a déjà montré en cours que z/nz est cyclique, c’est admis
Cette partie vise à démontrer quelques résultats sur les résidus quadratiques dont le critère d’Euler en question et le théorème de Wilson

[gloomy]

S’il est admis que z/pz est cyclique et engendré par a je peux calculer le produit des a^k, avec k parcourant l’ensemble, et je trouve le bon résultat
Mais je n’utilise pas l’indication du prof sur l’application qui à x associe x^-1* a barre

[Nabuco]

Relis le message de JeanN qui détaille ce que je voulais dire.
Tu as possiblement montré que Z/nZ est cyclique, mais pas que (Z/nZ)^* (son groupe multiplicatif) est cyclique car ça c'est généralement faux. En plus aucune raison que a soit un générateur.

[gloomy]

Ah oui au temps pour moi a génère Z/pz muni de l’addition

[gloomy]

Je vois l’idée mais je n’ai aucune idée de comment démontrer ce que JeanN m’a proposé, c’est pour cela que j’essayais de trouver autre chose, à tort

[JeanN]

Tu n’arrives pas à montrer l’existence ? L’unicité ? Le fait que y est différent de x ?

[gloomy]

Je pense que c’est bon
Je n’arrivais juste pas à utiliser le fait que a n’est pas un carré, mais j’ai trouvé mon erreur
Bonne soirée et merci