Remarque: Un r´esultat important de la th´eorie des groupes nous dit que An(le groupe
altern´e de degr´e n) est simple si ně5. En fait, le premier groupe fini non ab´elien qui est
simple est A5.
Exercice 6 Soit pG, ¨q un groupe fini d’ordre n. Soit HďGo`u rG:Hs:“rą1.
Montrer que si nąr! alors Gne peut ˆetre un groupe simple.
Indice: Consid´erer l’action de Gsur l’ensemble S:“G{Hqui est donn´ee par la
translation `a gauche et utiliser la “correspondance action-repr´esentation”.
Exercice 7 Soit pG, ¨q un groupe et HďGun sous-groupe. Soit „la relation suivante
sur G: Soit x, y PG, alors x„ysi xH “yH. On a montr´e en classe que „est une relation
d’´equivalence sur G. Le graphe de la relation „sera not´e par Φ:
Φ :“ tpx, yq P GˆG:x„yu.
L’ensemble GˆGadmet une structure naturelle de groupe, i.e., via le produit cart´esien
de Gavec lui-mˆeme. On peut donc se poser la question suivante: Est-ce que Φ est un
sous-groupe de GˆG? Montrer que Φ est un sous-groupe de GˆGsi et seulement si H
est un sous-groupe normal de G.
Exercice 8 Soit pG, ¨q un groupe et N✂Gun sous groupe normal. On pose G:“G{N
pour le groupe quotient de Gpar N. On posera aussi
(1) S:“ tHďG:Hest un sous-groupe de Get NďHu,
(2)
r
S:“ t
r
HďG:
r
Hest un sous-groupe de Gu.
Soit π:GÑGla projection naturelle donn´ee par gÞÑ πpgq “ gN. On pourra aussi utiliser
la notation raccourci πpgq “ g. Plus g´en´eralement, si TĎG(juste un sous-ensemble) alors
πpTq “ T“ ttN :tPTu Ď G.
(1) On consid`ere la “correspondance” suivante:
θ:SÑ
r
S
HÞÑ πpHq “ H
Montrer que θest un bijection d’ensembles.
(2) On pose Snor :“ tHPS:H✂Guet
r
Snor :“ t
r
HP
r
S:
r
H✂Gu. Commencer par
v´erifier que θpSnor q Ď
r
Snor . Montrer que θ|Snorm :Snor Ñ
r
Snor est une bijection.
2