Chapitre 3 : GROUPES SYMETRIQUES - page 1

GROUPES SYMTRIQUES
REPRES
Historique :
Rencontr dans bien des situations mathmatiques ds qu'il est besoin de permuter les lments d'un ensemble fini,
l'ensemble Sn a vu sa structure tudie et nomme (le terme "groupe" fut choisi cette occasion) par Galois, en 1832,
dans son tude de la rsolution des quations algbriques.
La grande diversit de structures de ses sous-groupes le place au cur de l'tude des groupes. Il permet notamment
d'apporter un clairage nouveau sur les isomtries conservant les polydres rguliers (solides de Platon). Et son sousgroupe An participe la classification des groupes simples non commutatifs la fin du XXme sicle.

I. GNRALITS
STRUCTURE
1.1.

1.2.

Le groupe symtrique d'un ensemble X est (S(X), ), o S(X) est l'ensemble des bijections de X X (dites permutations
de X).
isomorphisme prs, S(X) ne dpend que de Card(X).
Le groupe symtrique d'ordre n est (Sn, ), o Sn est l'ensemble des permutations de {1, 2, ..., n}.
Par exemple, le groupe linaire GL(E), des automorphismes de l'espace vectoriel E, est un sous-groupe de S(E).
Dans les anciens manuels, Sn est souvent not n.
Dans Sn, le neutre est l'identit de {1, 2, ..., n}, qu'on notera Id pour tout n.
Le compos ' sera not en gnral par le produit ' (on prendra garde au fait que c'est bien ' qui agit en premier).
|Sn| = n !

LMENTS
1
2
n
.
(1) (2)
(n)
Le support de est l'ensemble {i {1, ..., n} ; (i) i}. On le note supp().

2.1.

Un lment quelconque de Sn sera not

2.2.1.

Pour p 2, (i1 i2 ... ip) dsigne la permutation circulaire (ou cycle) de longueur p (ou p-cycle), lment de Sn tel que :
(i1) = i2
(i2) = i3
...
.
(ip) = i1
(j) = j si j {i1, ..., ip}
Un 2-cycle est une transposition.

2.

On dira souvent qu'un nombre appartient un cycle, au lieu de dire qu'il appartient son support.
De mme, on parlera de cycles disjoints au lieu de cycles supports disjoints.
Un p-cycle est d'ordre p.
Souvent utile : si = (i1 i2 ... ip), alors -1 est le p-cycle (ip ip-1 ... i2 i1).
p1 est un cycle, mais, pour 2 r p 2, r n'est pas ncessairement un cycle.
COMMUTATIONS
3.1.1.
2.
3.2.

Sn est non commutatif pour n 3.

et ' supports disjoints et ' commutent.
S3, d'ordre 6, est le groupe non commutatif de plus petit ordre ( isomorphisme prs).
Pour n 3, on a : Z(Sn) = {Id}.
Pour complter l'tude de la conjugaison (voir II ) , il est classique de chercher prciser les automorphismes intrieurs
d'un groupe.
3.2. permet de montrer que, pour n 3, on a : Int(Sn) Sn.
Poser : Sn Int(Sn) ; l'automorphisme intrieur i : Sn Sn ; -1.
Faux pour n = 2 : Int(S2) = {Id}.
Voir aussi les VI et .

IUFM de La Runion Frdric BARME

Chapitre 3 : GROUPES SYMETRIQUES - page 2

II. GNRATIONS DE Sn
-ORBITES

Nous verrons dans le chapitre 4 que (, i) (i) constitue une opration naturelle de Sn sur {1, ..., n}, pour laquelle l'orbite de
tout i est videmment {1, ..., n}.
Mais, on peut galement faire oprer sur {1, ..., n} n'importe quel sous-groupe de Sn, en particulier les < > :
1.1.
Quand on fait oprer < > sur {1, ..., n}, l'orbite de i est appele -orbite (ou -trajectoire) de i. On la note (i).
(i) = {k(i) ; k }.
Si i supp(), alors : (i) = {i}. On dit que c'est une orbite ponctuelle.
Dans la pratique, (i) est l'ensemble des j de {1, ..., n} qu'on rencontre en partant de i et en faisant agir jusqu' retrouver i.
Par exemple, dans S6, si =

( 61 52 13 44 25 36 ), on a :

(1) = (3) = (6) = {1, 3, 6}

(2) = (5) = {2, 5}
(4) = {4} : orbite ponctuelle.
Un p-cycle possde 1 orbite non ponctuelle (son support) et (n p) orbites ponctuelles.
C'est de plus une proprit caractristique.
La restriction de une de ses orbites non ponctuelles est un cycle.
Les -orbites forment une partition de {1, ..., n}.
DCOMPOSITION EN CYCLES DISJOINTS
Les deux remarques prcdentes entranent :
2.1.
Toute permutation Id se dcompose en produit de cycles disjoints (dcomposition unique, l'ordre prs).
Par exemple, dans S6 :
2.2.

( 61 25 31 44 52 63 ) = (163)(25).

Toute permutation se dcomposant en cycles disjoints de longueurs p1, ..., pk est dite de type {p1, ..., pk }.

SYSTMES GNRATEURS MINIMAUX DE Sn

3.1.

Tout cycle se dcompose en produit de transpositions.

3.2.

Par exemple : (i1 i2 ... ip) = (i1 i2)(i2 i3)...(ip-1 ip).

Mais, part dans S2 bien sr, la dcomposition n'est pas unique (par exemple : (i j) = (i k)(j k)(i k)).
Les systmes suivants sont gnrateurs de Sn :
les cycles.
les n(n2 l) transpositions.
les n 1 transpositions de la forme (1 i).
C'est un systme minimal.
les n 1 transpositions de la forme (i i+1).
C'est un systme minimal.
la transposition (12) et le cycle (12...n).
C'est un systme minimal.
Sn est dit dicyclique.
Pour le dernier systme, on calculera (12...n)k(12)(12...n)k.

CARACTRISATION DES CLASSES DE CONJUGAISON

Rappelons que deux permutations et ' sont dites conjugues si : Sn ; ' = -1, et que la conjugaison est une relation
d'quivalence : les classes de conjugaison forment une partition de Sn. Nous allons prciser cette partition :
4.1.
Soit une permutation et = (i1 i2 ... ip) un p-cycIe.
Alors : -1 est le p-cycle ((i1) ... (ip)).
Par consquent, la conjugaison conserve la longueur d'un cycle :
le conjugu d'un p-cycle est un p-cycle.
4.2.

Deux permutations sont conjugues elles sont de mme type.

a1 ... ar b1 ... bs ...
On pourra utiliser = a' ... a' b' ... b' ... o (a1...ar)(b1...bs)... et (a'1...a'r)(b'1...b's)... sont deux permutations de
1
r
1
s
mme type.
En particulier, la classe de conjugaison d'un p-cycle est exactement l'ensemble des p-cycles.

IUFM de La Runion Frdric BARME

Chapitre 3 : GROUPES SYMETRIQUES - page 3

III. PARIT ET GROUPE ALTERN An

CONSTRUCTION

a) POSITION DU PROBLME :

Si on replace l'tude de Sn dans le contexte historique de la rsolution des quations algbriques, le besoin s'est fait de trouver
le plus grand sous-groupe distingu propre de Sn (voir Sujets d'tude).
Il est naturel de commencer par chercher un sous-groupe H d'indice 2 (alors ncessairement distingu) : nous allons montrer
qu'il en existe un et qu'il est unique.

b) MISE EN PLACE DE LA CONSTRUCTION :

i)

tablir l'existence et l'unicit de H quivaut le faire pour un morphisme surjectif de Sn valeurs dans un groupe
d'ordre 2, dont H sera le noyau.
Choisissons par tradition ({1, -1}, .), plutt que ( /2 , +), comme groupe d'ordre 2.
Alors : H = { Sn ; () = 1}.

ii)

Commenons par tudier l'image des transpositions, gnratrices de Sn par cet ventuel .
Supposons : transposition ; () = 1.
Alors : H.
H invariant par conjugaison
Mais : H Sn
H contient la classe de conjugaison de ,
qui n'est autre, d'aprs II 4.2., que l'ensemble de toutes les transpositions
H = Sn (puisque les transpositions engendrent Sn) : impossible car H doit tre d'indice 2 !
Par consquent, si existe : transposition ; () = 1.

iii)

c) 1

Il reste dfinir un prolongement Sn tout entier.

RE

MTHODE :
devant tre un morphisme, on dduit, s'il existe, que pour tout de Sn se dcomposant en produit de transpositions 1...t :
() = (1...t) = (1)...(t) = (-1)t.
Mais, la dcomposition en produit de transpositions n'tant pas unique, il ne faut pas que (-1)t en dpende si l'on veut que
soit dfini par ce moyen !
Il suffit pour cela de montrer que (voir VII Annexe) :
1.1.
Dans la dcomposition d'une permutation, le nombre de transpositions a toujours mme parit.

d) 2ME MTHODE :

On va contourner le problme en trouvant un autre morphisme (un peu artificiel ?) de Sn tout entier dans {1, -1},
concidant avec sur l'ensemble des transpositions.
Soit une transposition = (u v).
Si on a : u < v, alors : (u) > (v), autrement dit, inverse l'ordre de u et v.
Les autres couples pour lesquels c'est le cas sont les (u i) et les (i v) avec u < i < v.
En comptant (u v), cela fait en tout 2(v u 1) + 1 inversions, nombre toujours impair.
(i) (j)
Pour tout couple (i j),
vaut 1 ou 1 suivant que i et j sont inverss ou non.
ij
(i) (j)
Donc l'imparit du nombre d'inversions se traduit par
= 1, qui est justement l'image de par (!).
ij
i<j
(i) (j)
ii) Prolongeons une permutation quelconque , en posant : () =
.
ij
i<j
'(i) '(j)
'(i) '(j)
(') =
=
'(i)i '(j)
.
ij
j
i<j
i < j '(i) '(j) i < j
'(i) '(j)
Le deuxime facteur
est bien (').
ij
i<j
'(i) '(j)
'(i) '(j)
Et le premier facteur s'crit :

'(i) < '(j) et i < j '(i) '(j) '(i) > '(j) et i < j '(i) '(j)
'(i) '(j)
'(i) '(j)
=

, par change des variables i et j

'(i) < '(j) et i < j '(i) '(j)
'(i) < '(j) et j < i '(i) '(j)
'(i) '(j)
(i) (j)
=
=
, car, comme ' est une bijection, les variables i et
ij
'(i) < '(j) '(i) '(j)
i<j
j peuvent remplacer '(i) et '(j).
Donc est un morphisme.
i)

iii)

L'existence d'un morphisme surjectif de Sn dans {1, -1} est assure.

Remarquons qu'il est unique, puisque dfini de manire unique sur les transpositions, qui engendrent Sn.
Il sera dsormais not et appel signature.
On en dduit l'existence et l'unicit d'un sous-groupe d'indice 2 de Sn, qu'on note An, appel groupe altern d'ordre n.

IUFM de La Runion Frdric BARME

Chapitre 3 : GROUPES SYMETRIQUES - page 4

GROUPE ALTERN
2.1.1.

2.

La signature de , note (), est dfinie de manires quivalentes au moyen :

(i) (j)
i) des inversions : () =
= (1)I(), o I() est le nombre d'inversions de .
ij
i<j
t
ii) des transpositions : () = (1) , si se dcompose en t transpositions.
est dite paire si : () = 1, impaire si : () = 1.
(Id) = 1.
La signature d'un p-cycle est (1)p-1.
On trouve une application de la signature dans la dfinition du dterminant : l'ensemble des formes n-linaires alternes de
n(K) dans K est un espace vectoriel de dimension 1, engendr par :
o : [aij]
().a (1)1 ...a ( n) n , appel le dterminant.
S n

Peu utilisable pour les calculs, cette dfinition peut servir nanmoins dmontrer que : det(A) = det(tA).
2.2.1.
2.
2.3.

tant dcompose en produit de cycles disjoints :

() = (1)c, o c = nombre de cycles + somme des longueurs des cycles.
() = (1)n (), o () est le nombre de -orbites.
L'ensemble des permutations paires de Sn forme un groupe, appel groupe altern d'ordre n, et not An.
C'est l'unique sous-groupe d'indice 2 de Sn et donc son plus grand sous-groupe distingu propre.
Dans les anciens manuels, An est souvent not n.

SYSTMES GNRATEURS DE An POUR n 3

3.1.

Pour n 3, le produit de deux transpositions est un 3-cycle ou le produit de deux 3-cycles.

3.2.

Pour n 3, An est engendr par :

2)
les n(n l)(n
trois-cycles,
3
les (n 1)(n 2) trois-cycles de la forme (1 i j),
les (n 2) trois-cycles de la forme (1 2 i).
A2 = {Id} et A3 est cyclique.

IV. REPRSENTATION DES GROUPES FINIS

THORME DE CAYLEY
1.1.

Tout groupe fini d'ordre n est isomorphe un sous-groupe de Sn.

Reprsenter (ou raliser) un groupe fini consistera dterminer le sous-groupe de permutations isomorphe.
Tout groupe cyclique d'ordre n est isomorphe < >, o est un n-cycle quelconque.
On notera dans la suite Is( ) le groupe d'isomtries conservant la partie d'un espace affine. On l'appellera le groupe de .
On notera Is+( ) le groupe des dplacements (composition d'une rotation et d'une translation) conservant la partie .
Si le plan 2 s'identifie au sous-espace {(x, y) 2} de 3 = {(x, y, z) 3}, alors :
les rotations planes de centre A et d'angle s'identifient aux rotations de l'espace d'axe (Az) et d'angle
les symtries planes d'axe () s'identifient aux retournements (rotations d'angle ) d'axe ().
+
Par consquent, tout sous-groupe de Is(2) s'identifie un sous-groupe de Is (3).
REPRSENTATION DES GROUPES DIDRAUX
On se place dans le plan affine.
a) DFINITION :
2.1.1.
2.
3.

Les groupes de deux n-gones rguliers n et 'n sont isomorphes : Is( n) Is( 'n).
Ils seront identifis, appels groupe didral d'ordre n et nots Dn.
Is+( n) n'est constitu que de rotations. On le note Rn.

b) GROUPE DIDRAL D'ORDRE 3 :

Soit un triangle quilatral ABC.
D3 est compos de : 3 rotations de centre celui de ABC et d'angles 0, 2
et 4
: elles s'identifient respectivement Id et
3
3
aux 3-cycles (A, B, C) et (A, C, B).
3 symtries d'axes les hauteurs : elles s'identifient aux transpositions (A, B), (A, C), (B, C).
2.2.1.
2.

D3 S3.
R3 A3.

IUFM de La Runion Frdric BARME

Chapitre 3 : GROUPES SYMETRIQUES - page 5

c) GROUPE DIDRAL D'ORDRE 4 :

Soit un carr ABCD.
D4 est compos de : 4 rotations de centre celui de ABCD et d'angles 0, 2, et 3
: elles s'identifient respectivement Id,
2
au 4-cycle (A, B, C, D), au produit (A, C)(B, D) et au 4-cycle (A, D, C, B).
4 symtries d'axes (AC), (BD), la mdiatrice de [AB], la mdiatrice de [BC] : elles s'identifient aux
transpositions (B, D) et (A, C), et aux produits (A, B)(C, D) et (B, C)(A, D).
On constate que l'lgant paralllisme entre les Dn, Rn et les Sn, An s'arrte 3 :
le groupe D4 est d'ordre 8 et S4 est d'ordre 24
si R4 reprsente toujours la moiti de D4, ce n'est plus la parit qui partage dplacements et antidplacements : les
rotations ne sont pas toutes de mme parit (ainsi que les symtries)...
Cela vient du fait que le nombre d'isomtries est limit par la non-quidistance des sommets du carr (ct diagonale) :
par exemple, le 4-cycle = (A, B, D, C) ne peut tre identifi une isomtrie, car : AB (A)(B) = BD.
on ne peut avoir 2 points successifs invariants
aucune isomtrie ne s'identifie aux transpositions (i i+1).
on ne peut avoir 1 seul point invariant aucune isomtrie ne s'identifie aux 3-cycles.
Pour avoir isomorphie avec S4, il faudra ajouter le 4me sommet de telle sorte qu'il y ait quidistance deux deux :
on obtiendra alors le ttradre rgulier (voir ).
d) GROUPE DIDRAL D'ORDRE n :
2.3.
Pour n 4, le groupe Dn est isomorphe un sous-groupe strict de Sn.
Le thorme de Cayley reste valable puisque Sn et ses sous-groupes peuvent tre identifis des sous-groupes de S2n.
2.4.

Considrons :

un n-gone

de centre O,

r la rotation de centre O et d'angle 2

n
s une symtrie d'axe passant par O et un sommet quelconque de n.
Alors : Dn = < r, s > et Rn = < r >.
On en dduit que Dn est d'ordre 2n.
Le groupe didral Dn est dfini canoniquement comme tant le groupe engendr par deux lments a et b d'ordres
respectifs n et 2 (an = b2 = e) tels que ab soit d'ordre 2 (ab2 = e).
Un exemple non gomtrique en est donn par le produit semi-direct de /n par /2 .
REPRSENTATION DES GROUPES DES 5 POLYDRES DE PLATON
On se place dans l'espace affine de dimension 3.
a) RAPPEL SUR LES POLYDRES RGULIERS :
3.1.1.
2.

Un polydre est dit rgulier convexe s'il est inscriptible dans une sphre et si ses faces sont des polygones rguliers
convexes isomtriques.
similitude prs, il n'y a que 5 polydres rguliers convexes, dits polydres de Platon :
le ttradre rgulier ( 4), 4 faces triangles quilatraux,
le cube, ou hexadre rgulier, ( 6), 6 faces carres,
l'octadre rgulier ( 8), 8 faces triangles quilatraux,
le dodcadre rgulier ( 12), 12 faces pentagones rguliers,
l'icosadre rgulier ( 20), 20 faces triangles quilatraux.
Connus d'Euclide et Platon au IVme sicle avant JC, on les appelle parfois corps platoniciens.
Il existe quatre polydres rguliers concaves : le petit et le grand dodcadres toils (Kpler), et le petit
et le grand icosadres toils (Poinsot).
Citons, pour les polydres rguliers convexes, la fameuse relation d'Euler (due en fait Descartes et dmontre par
Cauchy) :
F (nombre de faces) + S (nombre de sommets) = A (nombre d'artes) + 2.
Elle permet de dmontrer qu'il n'y a que 5 polydres de Platon :
nF
2A
Si chaque face possde n cts (avec n 3) : A =
, et donc : F =
.
2
n
pS
2A
Si de chaque sommet partent p artes (avec p 3) : A = , et donc : S =
.
2
p
2A 2A
1 1 1 1 1
La relation d'Euler donne :
+
=A+2
+ = + > .
n
p
n p 2 A 2
1 1 1 1
n=3
> =
p ne peut valoir que 3 (on a 4), 4 (on a 8) ou 5 (on a 20).
p 2 3 6
p = 3 n ne peut valoir que 3 (dj vu), 4 (on a 6) ou 5 (on a 12).
1 1 1
Le cas n >3 et p > 3 est impossible car alors + < .
n p 2
En projetant sur la sphre circonscrite les centre de chaque face d'un polydre , on
obtient les sommets du polydre dit dual, not *.
* a donc autant de sommets que a de faces. Ils ont par contre mme nombre d'artes.
En particulier, on a : Is( ) = Is( *).
( 4) est son propre dual.
Comme ( 6) et ( 8) sont duaux, ainsi que ( 12) et ( 20), on se restreint trois cas.
IUFM de La Runion Frdric BARME

Chapitre 3 : GROUPES SYMETRIQUES - page 6

b) REPRSENTATION :
Comme dans le cas des polygones, les groupes de deux polydres semblables sont isomorphes.
3.2.1. Is( 4) S4.
+
2. Is ( 4) A4.
+
+
3. Is ( 6) Is ( 8) S4.
B
+
+
4. Is ( 12) Is ( 20) A5.
Is(

4)

est compos de :
C
Id
6 symtries planes par rapport aux 6 plans mdians (s'identifiant aux transpositions)
8 rotations de centre celui de et d'axes les 4 hauteurs d'angles 2
ou 4
(s'identifiant aux 3-cycles)
3
3

6 produits d'une rotation par une symtrie plane (s'identifiant aux 4-cycles),
3 produits de 2 symtries planes (s'identifiant aux produits de 2 transpositions).
Par exemple :
la symtrie s par rapport au plan BCI (o I est le milieu de [AD]) s'identifie la transposition (AD).
la rotation r d'axe la hauteur issue de A et d'angle 2
s'identifie au cycle (BCD).
3
la compose ros s'identifie au cycle (ABCD).
la compose sos', avec s' symtrie par rapport au plan ADJ (o J est le milieu de [BC]) s'identifie au
produit de transpositions (AD)(BC).
+
Les rotations engendrent le sous-groupe des dplacements G ( 4),
qui s'identifie au sous-groupe engendr par les 3-cycles : A4.
Il contient Id, les 8 rotations et les 3 produits de 2 symtries planes.
On peut montrer que Is( 6) S4 /2 .
Les rsultats 3.2.1. et 3.2.2. se gnralisent aux simplexes rguliers Tn de n (ensemble de n + 1 points de la sphre de
+
deux deux quidistants) : G(Tn) Sn+1, et : G (Tn) An+1.
+
Les rsultats 3.2.2., 3.2.3. et 3.2.4. font partie de la recherche plus gnrale des sous-groupes finis de O (3).
2
On y retrouve, en plus de ces trois types, les groupes cycliques (engendrs par une rotation d'angle n ) et les groupes

didraux laissant invariant un polygone rgulier.

V. EXERCICES
REMISE NIVEAU
1.1.

Donner la liste des lments de Sk et Ak, pour k {1, 2, 3, 4}.

1.2.

On donne les permutations 1 =

( 31 52 43 64 25 16 ) et = ( 14 26 39 47 52 65 78 81 93 ).
2

a) Pour chacune, donner sa dcomposition en cycles disjoints, sa signature et une dcomposition en produit de
transpositions.
b) Calculer 150 et 2100.
1.3.

Dmontrer, par rcurrence, que toute permutation de Sn est produit de transpositions.

II 2.1.

1.4.

3.1.

Reprsenter, au sens du thorme de Cayley de IV

/2

/3

/4

, les groupes d'ordre 2, 3 et 4.

/2 /2

AUTRES EXERCICES
2.1.

Soit une transposition = (i j) et une permutation .

Dmontrer que et commutent si et seulement si {i, j} est stable par .

2.2.

tant un p-cycle de Sn, on veut savoir pour quelles valeurs de k, entre 1 et p 1, k est-il un cycle.
p
a) Soit i dans supp() et h le cardinal de la k-orbite de i. Montrer que : h =
.
pk
k
b) En dduire en combien de cycles disjoints se dcompose , puis conclure.

2.3.

Montrer que, dans un sous-groupe de Sn, soit toutes les permutations sont paires, soit la moiti des permutations sont paires.

2.4.

Soit p un nombre premier 5 et H un sous-groupe de Sp tel que : [Sp : H] p 1.

a) Soit un p-cycle.
2
p1
1) Montrer que les classes gauche H, H, H, ...,
H ne sont pas deux deux disjointes.
2) En dduire que : H.
b) H contenant donc tous les p-cycles, montrer qu'il contient tous les 3-cycles.
c) En dduire que [Sp : H] vaut 1 ou 2.
d) Trouver des diviseurs de | S5 | qui ne sont l'ordre d'aucun sous-groupe de S5 (contre-exemples la rciproque du
thorme de Lagrange).
IUFM de La Runion Frdric BARME

Chapitre 3 : GROUPES SYMETRIQUES - page 7

VI. Sujets d'tude

RSOLUBILIT DES Sn
On rappelle (voir Sujet d'tude XII du chapitre 2 sur les groupes) :
Le groupe driv d'un groupe G est D(G), le groupe engendr par les commutateurs xyx-1y-1, avec x et y lments de G.
On note D2(G) le groupe driv de D(G), et plus gnralement Dk+1(G) le groupe driv de Dk(G).
On appelle suite de composition de G une suite finie (Gi) de sous-groupes de G telle que :
G = Go G1 ... Gs-1 Gs = {e}, avec Gk+1 distingu propre dans Gk.
G est dit rsoluble s'il vrifie l'une des deux proprits quivalentes suivantes :
s
(i) s ; D (G) = {e}.
(ii) G admet une suite de composition (Gi) telle que tous les quotients Gk/Gk+1 soient commutatifs.
1.1.

Dmontrer que S1 et S2 sont rsolubles.

1.2.

a) Dmontrer que tout 3-cycle est un commutateur de transpositions.

b) En dduire que, pour n 3, on a : D(Sn) = An.

1.3.

a) Dterminer D(A3).
b) En dduire que S3 est rsoluble.

1.4.

a) Dans S4, on pose H form de Id et des trois produits de 2 transpositions disjointes :

H = {Id, (12)(34), (13)(24), (14)(23)}.
Dmontrer que H est un sous-groupe distingu de A4.
b) On pose K form de Id et d'un autre lment de H.
Dmontrer que K est un sous-groupe distingu de H.
c) En dduire que S4 est rsoluble.
On peut aussi dmontrer directement que D4(S4) = {Id}, mais c'est trs calculatoire.

1.5.

On suppose dsormais que n 5.

a) Soit i, j, k, l et m tous distincts. Calculer : (i 1 k)(k j m)(i l k)-1(k j m)-1.
b) Soit H et K deux sous-groupes de Sn tels que H/K commutatif
Dmontrer que si H contient tous les 3-cycles, alors K contient aussi tous les 3-cycles.
c) Montrer que Sn est non rsoluble pour n 5.
On dit qu'une quation est rsoluble par radicaux si, intuitivement, ses racines peuvent s'exprimer au moyen d'oprations
algbriques et de radicaux portant sur les coefficients de l'quation (une dfinition plus mathmatique ferait appel la
thorie des corps).
On connat, depuis le XVIme sicle, les formules explicites de rsolution par radicaux des quations coefficients rels du
2me et 3me degrs. L'extension de ces rsultats, d'une part aux coefficients complexes, d'autre part au 4me degr, ne
pose pas trop de problme. Par contre, il faut attendre le XIXme sicle pour qu'Abel dmontre qu'il n'existe pas de
formules quivalentes pour le 5me degr.
Quelques annes plus tard, Galois donne une condition ncessaire et suffisante sur une quation pour qu'elle soit rsoluble
par radicaux : l'ide gnrale est de remplacer l'tude de l'quation et du corps de ses racines par l'tude d'un groupe
naturellement associ, le groupe de Galois de l'quation (trop complexe pour tre dfini ici). La rsolubilit par
radicaux de l'quation sera alors traduite par une proprit du groupe, qui se trouve tre la rsolubilit de groupe.
Or, le groupe de Galois d'une quation de degr n est justement un sous-groupe de Sn (par exemple, le groupe de Galois de
l'quation gnrale Xn + an-1Xn-1 + ... + a1X + ao = 0 n'est autre que Sn lui-mme), qui devient brusquement pauvre
partir de n = 5, dans le sens o il n'est plus rsoluble. Nous voyons ci-dessous que cette pauvret se traduit galement
par le fait que son groupe altern n'admet plus de sous-groupe distingu propre.

SIMPLICIT DES An
On rappelle qu'un groupe est dit simple si ses seuls sous-groupes distingus sont {e} et lui-mme.
1.1.1.
2.
1.2.

Dmontrer que A3 est simple.

Dmontrer que A4 n'est pas simple.
On suppose dsormais que n 5.
Posons H distingu dans An, diffrent de {Id}.
a) Dmontrer que si H contient un 3-cycle, alors : H = An.
Il suffit maintenant de dmontrer que H contient un 3-cycle.
1re version (courte et peu courante) :
b1) Soit Id un des lments de H dont le support est de plus faible cardinal (i.e. aucun autre lment que Id n'a plus
de points fixes que lui).
) Dmontrer que ne peut tre ne peut tre une transposition.
) Dmontrer que ne peut tre un produit de transpositions disjointes.

(i j)(k l)...

= (k l m)

) D'aprs ), il y a, dans la dcomposition de , au moins un cycle = (i j k ...) de longueur 3.

-1-1

Dmontrer que ne peut avoir d'autres lments que i, j et k dans son support.

"

= (k l m)

-1-1
IUFM de La Runion Frdric BARME

Chapitre 3 : GROUPES SYMETRIQUES - page 8

2me version (longue et classique) :

b2) Dmontrer que si H est distingu dans An et contient le produit de 2 transpositions distinctes, alors : H = An.
"
# = (i j)(k l)
= (i j m)
-1-1
c2) Posons H distingu dans An, diffrent de {Id}, et Id dans H.
Soit 1...r la dcomposition de en cycles disjoints, telle que pour 1 i r, on a : longueur(i) longueur(i+1).
) Dmontrer que si tous les i sont des transpositions, alors H = An.
1 = (i j) 2 = (k l)

-1-1

= (j k l)

) Dmontrer que si 1 est un 3-cycle et tous les autres i sont des transpositions, alors H = An.
2

) Dmontrer que : longueur(1) > 3

1 = (i1 ... ip)

H = An.

= (i1 i2 i3)

) Dmontrer que 1 et 2 sont des 3-cycles, alors H = An.

1 = (i j k) 2 = (i' j' k')

= (j k i')

-1-1

Tous les cas ayant t envisags, on en dduit que An est simple pour n 5.

-1-1

Le schma de dmonstration de la simplicit de O (3) est le mme :

+
on montre que H contient un retournement puis, par conjugaison, tous les retournements, gnrateurs de O (3).
L'tude de la simplicit des An s'inscrit dans la classification des groupes simples non commutatifs, dbute en 1960.
La simplicit de An pour n 5 permet de dmontrer la non rsolubilit de Sn, sans utiliser la notion de groupe driv :
Rsultats utiliss :
G rsoluble G admet une suite de composition (Gi) telle que tous les quotients Gi+1/Gi soient commutatifs.
La suite de composition (Gi) est appele suite de Jordan-Hlder de G si chaque Gi est un sous-groupe
distingu propre maximal.
THORME DE JORDAN-HLDER
:
Si G admet deux suites de Jordan-Hlder,
alors les quotients de l'une et de l'autre sont, l'ordre prs, isomorphes deux deux.
Or, Sn An {Id} constitue une suite de Jordan-Hlder de Sn.
Mais, cette suite ne permet pas d'obtenir la rsolubilit de Sn car An/{Id} An n'est pas commutatif.
Etant de Jordan-Hlder, aucun sous-groupe distingu ne peut tre ajout la suite pour obtenir un quotient commutatif.
Et s'il existe une autre suite de Jordan-Hlder de Sn, l'un de ses quotients est isomorphe An donc non commutatif.
Il est donc impossible de trouver une suite de composition permettant d'assurer la rsolubilit de Sn.
CARACTRISATION DES AUTOMORPHISMES INTRIEURS DE Sn
3.1.

Montrer que tout automorphisme intrieur de Sn transforme une transposition en une transposition.

On se propose de montrer que cette proprit est caractristique des automorphismes intrieurs.
Soit un automorphisme conservant globalement l'ensemble des transpositions.
3.2.

On pose Fi = {(i j) ; i j}.

Montrer que les supports de tous les lments de Fi contiennent un mme lment, que l'on notera xi.

3.3.

On pose : {1, ..., n} {1, ..., n}

i xi.
Montrer que : Sn.

3.4.

Montrer que, pour toute transposition , on a : () = -1.

Conclure.

POUR n

6, TOUT AUTOMORPHISME DE Sn EST INTRIEUR

Attention, ce sujet d'tude utilise le rsultat tabli par celui de

4.1.

Montrer que tout automorphisme de S3 est intrieur.

On se propose de montrer que le rsultat est vrai pour tout n 6.

Soit E l'ensemble des lments d'ordre 2 de Sn.
Notons Cq l'ensemble des produits de q transpositions disjointes.
4.2.

Montrer que les Cq constituent exactement les classes de la conjugaison de Sn sur E.

$
%
Sn

4.3.

Montrer que transforme un Cq en un Cq'.

4.4.

Montrer que, pour n 6 et q > 1, Cq n'a pas mme cardinal que C1.
q=2 q=3

4.5.

Conclure.
$

q4

&

IUFM de La Runion Frdric BARME

Chapitre 3 : GROUPES SYMETRIQUES - page 9

VII. Annexe : invariance de la parit du nombre de transpositions

Lors de la construction de An, on a besoin de dmontrer le rsultat suivant :
Dans la dcomposition d'une permutation, le nombre de transpositions a toujours mme parit.
Attention au fait que nous cherchons dfinir la signature au moyen de l'image des transpositions qui ne peut tre que 1, mais que nous
devons dmontrer le rsultat en question pour que cela constitue une dfinition de .
Il est entendu que le rsultat devient une proprit triviale lorsqu'on dfinit d'autres manires (par les inversions ou le nombre d'orbites).
Mais ces dfinitions sont gnralement parachutes, cachant la structure profonde de An.
DMONSTRATION DU MUTAFIAN
Considrons une permutation dcompose en cycles disjoints 1...p.
On prendra en compte dans cette dcomposition les lments invariants en les considrant comme des 1-cycles.
Montrons que la multiplication droite par une transposition augmente ou diminue la dcomposition de 1 cycle :
Soit = (ij) une transposition.
Le fait d'inclure les 1-cycles dans la dcomposition de entrane que i et j sont ncessairement dans les cycles de la
dcomposition.
1er cas : i et j appartiennent deux cycles distincts r et s.
Rien n'empche de faire commencer r par i et s par j :
r = (i r(i) r(i) ... rr-1(i))
s = (j s(j) s(j) ... ss-1(j))
Alors, le calcul de se rduit au calcul de rs puisque est disjoint de tous les autres cycles.
On obtient : rs = (i s(j) s(j) ... ss-1(j) j r(i) r(i) ... rr-1(i)).
Les autres cycles tant disjoints (ij), leurs supports restent inchangs.
Donc, on peut en conclure que comporte un cycle de moins que .
2me cas : i et j appartiennent au mme cycle r.
Rien n'empche de faire commencer r par i :
r = (i r(i) r(i) ... rs-1(i) j r(j) rt-1(j)) , avec s + t = longueur de r.
Alors, le calcul de se rduit au calcul de r puisque est disjoint de tous les autres cycles.
On obtient : r = (i r(i) rs-1(i))(j r(j) ... rt-1(j)).
Les autres cycles tant disjoints (ij), leurs supports restent inchangs.
Donc, on peut en conclure que comporte un cycle de plus que .
Montrons que la parit du nombre de transpositions est invariant :
Posons = 1...q.
Quand on calcule q...1, on augmente ou on diminue q fois de 1 cycle.
Supposons q1 augmentations et q2 diminutions : q...1 comporte donc (p + q1 q2) cycles.
Mais : q...1 = 1...qq...1 = Id, qui comporte n cycles de longueur 1.
D'o : p + q1 q2 = n n p = q1 q2, de mme parit que q1 + q2 = q.
Finalement, le nombre q de transpositions est de mme parit que n p, qui lui ne dpend que de .
DMONSTRATION DU MAZET
Posons = 1...p et '1...'q deux dcompositions en produit de transpositions.
Alors : 1...p et '1...'q'q...'1 = Id
1...p'q...'1 = Id.
Ce qui constitue une dcomposition de Id en (p + q) transpositions.
Si p et q taient de parit diffrente, on aurait (p + q) impair.
Or on va montrer que Id ne peut se dcomposer en un nombre impair de transpositions.
Montrons que, si (i j), alors (i j) peut s'crire (i k)', avec i supp(')
Si i supp(), alors s'crit (i k) avec k j.
On a : (i j) = (i k)(i j) = (i j)(j k).
Si i supp(), alors : (i j) = (i (j))(j (j))
Montrons que Id ne peut se dcomposer en un nombre impair de transpositions :
Rcurrence sur n que Id 1...2n+1.
Vrai pour n = 0 puisqu'aucune transposition n'est Id.
Supposons vrai jusqu' 2n 1 et posons : Id = 1...2n+1.
Posons 2n+1 = (i j).
En utilisant le rsultat prcdent, on peut faire remonter (i j) tant qu'on n'en rencontre pas un autre.
1er cas : on n'en rencontre pas, alors : Id = (i k)'2...'2n+1
(i k) = '2...'2n+1 : impossible car i fixe par les '
2me cas : on en rencontre, alors : Id = 1...k (i k)(i k)'k+3...'2n+1
= 1...k'k+3...'2n+1 : impossible par hypothse de rcurrence.

IUFM de La Runion Frdric BARME

Chapitre 3 : GROUPES SYMETRIQUES - page 10

'

&

Arnaudis, Fraysse Cours de mathmatiques Algbre

Groupes
Bouvier, Richard
Calais
Francinou,
Gianella
Gourdon
Lafon
Mazet

lments de la thorie des

groupes
Exercices de mathmatiques
pour lagrgation
Algbre

Dunod

Thorie complte, exercices nombreux, Sn comme contre-exemple la

rciproque du thorme de Lagrange.

Hermann Thorie complte mais trs disperse, simplicit des An, rsolubilit
PUF

des Sn, lien entre les deux.

Thorie complte, simplicit des An en exercice.

Masson

Simplicit des An, automorphismes de Sn, rsolubilit des Sn.

Ellipses

Thorie assez complte, Sn comme contre-exemple la rciproque du

thorme de Lagrange.
Simplicit des An.
Thorie complte, construction soigne de An, rsolubilit des Sn,
invariance de la parit du nb de transpositions.

Hermann
Ellipses

Mutafian

Algbre
Algbre et gomtrie pour le
CAPES et l'Agrgation
Le dfi algbrique

Perrin

Cours d'algbre

Ellipses

Vuibert

Thorie complte, construction trs lgante des An, simplicit des An,
automorphismes de Sn.
Simplicit des An, automorphismes de Sn.

IUFM de La Runion Frdric BARME