Le 20 juin 2023 à 15:14:16 :
Trivial.
Il faut d'abord démontrer que ton groupe est dans Z/pZ puis tu utilises Lagrange pour sortir a*t = 1 (mod p). Avec ça tu peux calculer les orbites et tu conclus avec le lemme de Zorn.
C'est de l'analyse fonctionnelle, l'argument attendu est beaucoup plus simple c'est sûr