THÉORIE DES GROUPES - SÉRIE 8
8 novembre 2019
Action de groupes
Exercice 1. Soit G un groupe qui agit sur un ensemble X. Soit Y un ensemble quelconque.
Montrer qu’on a une bijection
F(X, Y ) ∼
Y
= FG (X, Y ),
g∈G
Q
où G agit sur g∈G Y en permutant les facteurs.
Astuce: Si f : X → Y est une application d’ensembles, considérer l’application
Y, x 7→ f (g −1 · x)
Y
X→ .
g∈G
g∈G
Exercice 2. Soit G un groupe qui agit sur un ensemble X. Soit Y un ensemble quelconque.
(a) Montrer qu’on a une bijection
F(XG , Y ) ∼
= FG (X, TrivG (Y )).
(b) Montrer qu’on a une bijection
F(Y, X G ) ∼
= FG (TrivG (Y ), X).
Exercice 3 (A rendre pour le 15 novembre). Soit G un groupe.
(a) Soient H1 , H2 des sous-groupes de G. Montrer que H1 et H2 sont conjugués si et seulement
s’il existe une bijection G-équivariante G/H1 → G/H2 .
(b) Soit H un sous-groupe de G. Montrer qu’on a un isomorphisme de groupes AutG (G/H) ∼
=
NG (H)/H, où AutG (G/H) est le groupe des automorphismes G-équivariants de G/H.
Exercice 4. Soient G un groupe et H un sous-groupe de G.
(i) Pour Y un G-ensemble, la restriction de l’action de G sur Y à H donne une action de H
sur Y .
(ii) Pour X un H-ensemble, le G-ensemble G ×H X est l’ensemble G × X quotienté par la
relation d’équivalence (gh, x) ∼ (g, h · x) pour tous g ∈ G, h ∈ H et x ∈ X, où G agit sur
G ×H X par multiplication à gauche dans la première variable.
Montrer que
FG (G ×H X, Y ) ∼
= FH (X, Y ).
Exercice 5. Soit H un sous-groupe de Sn qui agit transitivement sur {1, . . . , n}. Montrer que:
(a) si H1 = {h ∈ H | h · 1 = 1}, alors [H : H1 ] = n,
(b) si H est abélien, alors |H| = n.
1