Université Paul Sabatier Groupes & anneaux avancés

L3 Maths 2023–2024 (automne)

TD 4

Exercice 1. Soit n > 0 entier, et p entier tel que 0 6 p 6 n. On considère l’ensemble

⊆ [[1, n]]p .

X = (i1 , . . . , ip ) : ∀s 6= t, is 6= it

1) On définit :


∀σ ∈ Sn , ∀(i1 , . . . , ip ) ∈ X : σ.(i1 , . . . , ip ) = σ(i1 ), . . . , σ(ip ) .

a) Montrer qu’on définit ainsi une action de groupes Sn X.

b) Montrer que cette action est transitive.
c) Déterminer le stabilisateur de (1, . . . , p) ∈ X.
d) En déduire le cardinal de X.
2) On définit :


∀φ ∈ Sp , ∀(i1 , . . . , ip ) ∈ X : φ.(i1 , . . . , ip ) = iφ−1 (1) , . . . , iφ−1 (p) .

a) Montrer qu’on définit ainsi une action de groupes Sp X.

b) Déterminer le stabilisateur et l’orbite de (1, . . . , p) ∈ X.
c) Déterminer l’espace des orbites Sp \ X et son cardinal.

Exercice 2. Soit k un corps et n > 0 un entier. On considère X = kn et G = Aff n (le

groupe affine, défini dans les feuilles de TD précédentes). On définit :

∀φ = (A, B) ∈ G, ∀x ∈ X : φ.x = Ax + B.

1) Montrer qu’on définit ainsi une action Aff n kn .

2) Montrer que cette action est transitive.
3) Montrer que Stab(0) est isomorphe à GLn .
4) En déduire que Aff n /GLn est en bijection avec k n . Cette bijection est-elle un isomor-
phisme de groupe ? Vous pouvez désormais réfléchir à la nature de l’espace affine.

Exercice 3. Soit k un corps, n > 0 un entier, et p entier tel que 0 6 p 6 n. On considère

le groupe G = GLn (k).
1) Soit X l’ensemble des sous-espaces vectoriels de dimension p de kn . On définit :

∀g ∈ GLn (k), ∀F ∈ X : g.F = g(F ).

a) Montrer qu’on définit ainsi une action GLn X.

b) Montrer que cette action est transitive.
c) On considère 
Fp = (x1 , . . . , xp , 0, . . . , 0), x1 , . . . , xp ∈ k .
Déterminer le sous-groupe P = Stab(Fp ) de G.
d) Décrire le quotient G/P .

1
2) Un drapeau complet de kn est un (n + 1)-uplet (F0 , . . . , Fn ) de sous-espaces vectoriels
de kn tels que
F0 · · · Fn .
Soit Y l’ensemble des drapeaux complets de kn . On définit :


∀g ∈ GLn (k), ∀(F0 , . . . , Fp ) ∈ Y : g.(F0 , . . . , Fp ) = g(F0 ), . . . , g(Fp ) .

a) Montrer qu’on définit ainsi une action GLn Y .

b) Montrer que cette action est transitive.
c) On considère F = (F0 , . . . , Fn ), où pour tout p = 0, . . . , n,

Fp = (x1 , . . . , xp , 0, . . . , 0), x1 , . . . , xp ∈ k .

Déterminer le sous-groupe B = Stab(F) de G.

d) Décrire le quotient G/B.

Exercice 4.
1) On considère G+ < SO(3) le groupe des symétries directes du cube (on choisit le centre
du cube comme origine de R3 ).
a) Montrer que pour tout g ∈ G+ , g définit une permutation des quatre grandes diago-
nales du cube. En déduire qu’il existe un morphisme φ : G+ → S4 . Montrer que φ est un
isomorphisme.1
b) Déterminer toutes les classes de conjugaison de S4 . Pour chacune d’entre elles,
déterminer quelle type de symétrie directe du cube lui correspond par φ.
c) Montrer que pour tout g ∈ G+ , g définit une permutation des trois paires de faces
opposées du cube. En déduire qu’il existe un morphisme ψ : G+ → S3 . Montrer que ψ est
surjectif, et déterminer son noyau. En déduire qu’il existe une suite exacte

1 → V4 → S4 → S3 → 1.

2) On considère à présent G < O(3) le groupe de toutes les symétries du cube.

a) Montrer que −Id3 (la symétrie centrale autour du centre du cube) appartient à G\G+ .
En déduire que G = G+ (−Id3 )G+ .
`

b) Montrer que le sous-groupe d’ordre 2 engendré par −Id3 est distingué dans G. En
déduire que G = S4 × Z/2Z (produit direct).
3) a) Montrer que le groupe diédral D3 des symétries du triangle équilatéral est isomorphe
à S3 .
b) Identifier D3 à un sous-groupe distingué de H / D6 , de sorte que −Id2 6∈ H.
c) Montrer que
D6 ' H × h−Id2 i ' S3 × Z/2Z
(produit direct).

1
indication : pour l’injectivité, penser à utiliser le fait que G+ est constitué d’isométries ; pour la
surjectivité, démontrer que toute transposition est dans l’image de φ, et utiliser le fait que Sn est engendré
par les transpositions.