1
Soit un groupe d’ordre .
(a) Montrer que admet un unique -Sylow qui est distingué dans .
(b) Soit un -Sylow. Montrer que est un sous-groupe d’ordre de et que ce groupe est cyclique.
(c) On suppose que n’est pas distingué dans . Montrer que admet sous-groupes cycliques d’ordre distincts deux à deux. Quel serait le nombre d’éléments d’ordre dans ? Aboutir à une contradiction. En déduire que est distingué dans et que est distingué dans .
(d) Montrer que , où est un -Sylow. En déduire que est isomorphe au produit semi-direct d’un groupe cyclique d’ordre par un groupe cyclique d’ordre .