Université Paul Sabatier Toulouse
L2 Mathématiques: groupes et géométrie Année 2011-2012
TD 3: Groupe symétrique, produit semi-direct
Exercice 1 Ecrire les permutations suivantes en cycles à supports disjoints puis donner leur signature.
1 2 3 1 2 3
; ;
2 1 3 2 3 1
1 2 3 4 5 6 7 8 9 1 2 3 4 5 6 7 8 9
; ;
3 2 6 4 8 7 1 9 5 2 3 1 8 9 6 7 4 5
(124)(352)(163)(46).
Exercice 2 Soit G un groupe, montrer qu’il est isomorphe à un sous-groupe de S( G ).
Exercice 3 Soit σ ∈ Sn , on définit la relation :
i ∼σ j ⇔ ∃ k ∈ Z, i = σk ( j).
Montrer que c’est une relation d’équivalence et décrire une classe.
Exercice 4 Montrer que deux cycles de Sn de même longueur sont conjugués.
Exercice 5 Montrer que Sn est engendré par :
1. les transpositions ;
2. (1i ), 2 6 i 6 n ;
3. (i i + 1), 1 6 i 6 n − 1 ;
4. (12) et (12...n).
Exercice 6 Montrer que Z (Sn ) = {id}, ∀ n > 3.
Exercice 7
1. Décrire tous les éléments de S3 .
2. Faire sa table de composition.
3. Décrire A3 .
4. Soient s = (12) et r = (123), montrer que s2 = id, r3 = id, srs = r2 .
5. Montrer que A3 = hr i et S3 = hs, r i.
6. Faire la liste de tous les sous-groupes de S3 .
Exercice 8 Montrer qu’un groupe d’ordre 6 est isomorphe à Z/6Z ou S3 .
Exercice 9 On va décrire l’ensemble des sous-groupes de A4 .
1. En utilisant la décomposition en cycles à supports disjoints, décrire les éléments d’ordre 2 de A4 .
2. En utilisant la décomposition en cycles à supports disjoints, décrire les éléments d’ordre 3 de A4 .
3. Montrer qu’il n’y a pas de 4-cycles dans A4 . En déduire qu’il n’y a pas de sous-groupe cyclique d’ordre 4
dans A4 .
4. Montrer, en utilisant 1., qu’il n’y a qu’un seul sous-groupe d’ordre 4 dans A4 .
5. Montrer que ce sous-groupe d’ordre 4 est D (A4 ).
6. Soit H un sous-groupe d’ordre 6, montrer que D (A4 ) ⊂ H. En déduire qu’il n’y a pas de sous-groupe
d’ordre 6 dans A4 .
7. Soit H un sous-groupe d’ordre 3, montrer que NA4 ( H ) = H, en déduire que le normalisateur d’un sous-
groupe n’est pas un sous-groupe normal.
1
Exercice 10 Soit Dn le sous-groupe de Sn engendré par :
r = (12...n),
et
n/2
∏ (i n + 2 − i ) si n est pair
i =2
s= (n+1)/2
∏ (i n + 2 − i ) si n est impair
i =2
appelé groupe diédral.
1. Montrer que s2 = id, r n = id, srs = r n−1 , sr k s = r n−k , ∀ k ∈ Z.
2. Décrire tous les éléments de Dn , quel est son cardinal ? Est-il commutatif ? Montrer que D3 = S3 .
3. Montrer que hr i C Dn .
4. En déduire que Dn ' Z/nZ o Z/2Z.
5. Montrer que D3 ' Z/3Z × Z/2Z.
On verra en géométrie que Dn peut être interprété comme le groupe des isométries vectorielles conservant un
polygone régulier convexe à n côtés.
Exercice 11 Montrer que Sn ' An o Z/2Z.
Exercice 12 Soit GA(R) = { x 7→ ax + b | a ∈ R∗ , b ∈ R}.
1. Montrer que ( GA(R), ◦) est un groupe appelé groupe affine de R.
2. Montrer que GA(R) ' R oα GL(R) où α : ( x, u) 7→ u( x ).