1
Soient deux nombres premiers distincts et un groupe d’ordre . Montrer que admet un unique -Sylow qui est distingué et que , où est un -Sylow de . Montrer que est isomorphe au produit semi-direct d’un groupe cyclique d’ordre par un groupe cyclique d’ordre . Montrer que si n’est pas divisible par , ce produit semi-direct est en fait un produit direct.