1
Faire la liste des classes de conjugaison de dans en les dénombrant.
2
Montrer que les -cycles sont conjugués dans .
3
Montrer que les éléments d’ordre sont conjugués dans .
4
Montrer que tout sous-groupe distingué de qui contient un élément d’ordre les contient tous. (On remarquera que le groupe engendré par un élément d’ordre est un Sylow.)
5
Montrer que tout sous-groupe distingué de non réduit à contient au moins deux types d’éléments en plus de l’identité. Montrer alors que .