Soit un corps fini de cardinal . Si sont tels que , on considère l’application (remarquer que est un morphisme de groupe). On note .
1
Expliquer pourquoi .
2
Montrer que . En déduire que et .
3
Soit l’indicateur d’Euler. Montrer par récurrence sur , diviseur de , que le nombre d’éléments de d’ordre est égal à (ceci prouve que est cyclique).