Soit un groupe d’ordre , où et sont deux nombres premiers distincts. On suppose que .
1
Montrer qu’il n’y a qu’un -Sylow et qu’il est distingué.
2
Montrer que est produit semi-direct où est un -Sylow de .
3
Si ne divise pas , déterminer la structure de .
4
Si , déterminer le morphisme structurel . Déterminer alors la structure de .
5
Si divise , montrer qu’il n’y a qu’un seul produit semi-direct non abélien, à isomorphisme près.