Universit de rennes 1 Fabrice Castel

Prparation lagrgation externe fabrice.castel@univ-rennes1.fr

Anne 2009-2010

Groupes finis

Lobjectif de ces pages est de prsenter les premiers rsultats de structure et de classifi-
cation des groupes finis (cas ablien, nilpotent, et groupes quelconques de petits cardinaux
ou de cardinaux sympathiques ). On dveloppera particulirement trois notions : les
thormes de Sylow, les produits semi-directs, et les extensions de groupes.

Le lecteur est suppos connatre la thorie de base sur les groupes : gnration de
groupe, sous-groupes, sous-groupes distingus (cependant, lessentiel sur les sous-groupes
distingus est rappel au paragraphe 3.1), morphismes, quotients, thormes disomor-
phisme, et prsentation par gnrateurs et relations.

1
Table des matires
1 Gnralits 4
1.1 Quelques rappels cibls . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 Quelques contre-vrits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

2 Groupes abliens 7
2.1 Thormes de Sylow pour les groupes abliens . . . . . . . . . . . . . . . . 7
2.2 Classification des groupes abliens finis . . . . . . . . . . . . . . . . . . . . 9

3 Produits semi-directs 13
3.1 Rappels sur les sous-groupes distingus . . . . . . . . . . . . . . . . . . . . 13
3.2 Produit semi-direct interne . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.3 Produit semi-direct externe . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.4 Structures de produits semi-directs . . . . . . . . . . . . . . . . . . . . . . 23
3.5 Quelques groupes dautomorphismes lmentaires . . . . . . . . . . . . . . 27
3.6 Exemples de produits semi-directs externes . . . . . . . . . . . . . . . . . . 29

4 Thormes de Sylow 32
4.1 Les trois thormes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
4.2 Premires applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

5 Groupes nilpotents et p-groupes 38

5.1 Sous-groupes distingus dans les p-groupes . . . . . . . . . . . . . . . . . . 39
5.2 Groupes nilpotents et p-groupes . . . . . . . . . . . . . . . . . . . . . . . . 41
5.3 Thorme de Frattini . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44

6 Classification des groupes de petit cardinal 46

6.1 Deux rsultats utiles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
6.2 Classification des groupes dordre n 6 15 . . . . . . . . . . . . . . . . . . . 47
6.3 Etude de quelques groupes de plus gros cardinal . . . . . . . . . . . . . . . 51

7 Extension de groupes : gnralits 54

7.1 Suites exactes scindes et produits semi-directs . . . . . . . . . . . . . . . . 54
7.2 Extensions de H par N et Hom(H, Out(N )) . . . . . . . . . . . . . . . . . 61
7.3 Extensions de H par N o N est de centre trivial. . . . . . . . . . . . . . . 65
7.4 Extensions de H par A o A est ablien . . . . . . . . . . . . . . . . . . . 68

8 Extensions de groupes et cohomologie de groupes 72

8.1 Cohomologie de groupes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
8.2 Classification des sections des extensions abliennes scindes par le H 1 (G, A) 75
8.3 Classification des extensions abliennes par le H 2 (G, A) . . . . . . . . . . . 77

A Un peu dhistoire des mathmatiques : les thormes de Burnside 81

A.1 Premire conjecture de Burnside (1902) . . . . . . . . . . . . . . . . . . . . 82
A.2 Deuxime conjecture de Burnside (1906) . . . . . . . . . . . . . . . . . . . 82

2
Rsums des chapitres

Chapitre 1. Nous rappelons quelques gnralits sur les groupes et quelques piges
courants autour du thorme de Lagrange et de sa rciproque : la recherche de
sous-groupes (ventuellement distingus) dun ordre donn.
Chapitre 2. Nous abordons le cas des groupes abliens. Nous dmontrons les tho-
rmes de Sylow dans ce cas, nous dfinissons lexposant dun groupe ablien, et au
moyen dune proposition sur lexistence de supplmentaires, nous dmontrons les
thormes de structure des groupes abliens. Nous montrons galement dune faon
lmentaire quun groupe ablien admet des sous-groupes de tous ordres (rciproque
du thorme de Lagrange).
Chapitre 3. Nous quittons le monde ablien pour prsenter les deux notions de pro-
duits semi-directs (internes et externes). Nous verrons quelques cas simples diso-
morphismes entre diffrents produits semi-directs.
Chapitre 4. Nous nous concentrons sur les thormes de Sylow que nous dmontrons
de deux manires et dont nous donnons des exemples varis dutilisation.
Chapitre 5. Nous nous penchons plus particulirement sur les p-groupes et les groupes
nilpotents. Nous montrerons en particulier que les groupes nilpotents sont exacte-
ment les produits directs de p-groupes et admettent donc des sous-groupes distingus
de tous ordres (rciproque du thorme de Lagrange). Nous terminons ce chapitre
en exposant le spectaculaire thorme de Frattini.
Chapitre 6. Nous classifions les groupes dordre infrieur ou gal 15. Nous tudions
galement des groupes dordres suprieurs (pq, p3 , 155=3.5.17, 399=3.7.19, 147 =
3.72 ), afin de prsenter diffrentes techniques.
Chapitre 7. Nous prsentons les problmes dextension de groupes. Les problmes
auxquels on tentera de rpondre sont : deux groupes N et H tant donns, combien
dextensions ( quivalence prs) existe-t-il de H par N ? Combien dextensions
scindes ? A cet gard, on verra le rle particulier de Hom(H, Out(N )). Les rponses
seront plus prcises dans deux cas pourtant opposs : lorsque le groupe distingu de
lextension est de centre trivial, ou au contraire lorsque ce groupe est ablien.
Chapitre 8. Nous commenons par dfinir rapidement la cohomologie des groupes.
Puis nous poursuivons ltude des extensions de groupes G par des groupes ab-
liens A et nous tablissons le lien avec la cohomologie des groupes en degr 1 et 2 :
H 1 (G, A) dcrit lensemble des sections dune extension scinde donne, conju-
gaison prs dans A, et H 2 (G, A) dcrit lensemble des extensions pour une action
donne de G dans A.
Appendice. Nous terminons par quelques mots sur William Burnside (mathmati-
cien anglais du dbut du XXme sicle) qui participa avec Frobenius lmergence
de la recherche sur les groupes finis, succdant ainsi Galois, Lagrange, Cauchy,
Cayley, et qui a laiss son nom de nombreux lemmes et thormes dans cette
branche des mathmatiques.

3
1 Gnralits

1.1 Quelques rappels cibls

Les dfinitions ci-dessous seront centrales dans la suite de ces pages. Pour linstant,
les groupes sont quelconques, ventuellement infinis.

Dfinition 1.1 (Ordre et exposant).

Lordre dun groupe est son cardinal.
Lordre dun lment est lordre du sous-groupe engendr par cet lment.
Lexposant dun groupe est le ppcm des ordres (finis dans le cas de groupes infinis)
de ses lments1 .
Un groupe est dit priodique si tous ses lments sont dordre fini.

Dfinition 1.2 (p-(sous)-groupes (de Sylow)).

Un p-groupe est un groupe pour lequel il existe un nombre premier q tel que lordre
chaque lment est une puissance de q. Grce au thorme de Cauchy, un p-groupe
fini est un groupe dont lordre est une puissance dun nombre premier.
Un p-sous-groupe dun groupe est un sous-groupe qui est un p-groupe.
Un p-sous-groupe de Sylow (ou p-Sylow ) dun groupe est un p-sous-groupe maximal
pour linclusion des p-sous-groupes.

Dfinition 1.3 (Actions de groupe).

Une action du groupe G ( gauche) sur un ensemble E est la donne dun morphisme
de groupes de G dans S(E), le groupe des bijections de E. Llment (g)(e) de
E est not g.e. Le morphisme est appel le morphisme structurel de laction.
Le stabilisateur dun lment e de E sous laction de G est lensemble {g G | g.e =
e} et est not StabG (e) ou Ge .
Lorbite dun lment e de E sous laction de G est lensemble {g.e| g G} et est
note OrbG (e) ou G.e.
Un lment e de E est un point fixe sous laction de G si StabG (e) = G. Lensemble
des points fixes est not FixG (E) ou E G .
Laction est dite libre si pour tout e E, on a StabG (e) = {1G }.
Laction est dite fidle si Ker () = {1G }.
Une transversale dune partie F de E stable sous laction de G est un sous-ensemble
F 0 de F contenant un et un seul lment par orbite sous G.

Remarques.
1. On a Ker () = StabG (e), donc StabG (e) est un sous-groupe distingu de G.
eE eE
On peut le voir aussi en remarquant que StabG (g.e) = gStabG (e)g 1 , donc StabG (e)
eG
est stable par conjugaison.
1
Un groupe dexposant infini signifie donc quil contient des lments dordre fini arbitrairement grand.

4
 2. On a la relation |OrbG (x)| = |Stab|G|G (e)| que lon peut dmontrer ainsi. Soit H =
StabG (e), puis fe : G/H OrbG (e), gH 7 g.e une application ensembliste, dont on
doit vrifier la bonne dfinition. Il suffit ensuite de vrifier quelle est bijective.
3. Le plus souvent, pour tudier les groupes, on utilise des actions (en gnral gauche)
sur eux-mmes ou sur des quotients.
(i) Action par multiplication gauche de G sur lui-mme. Pour tous g, h dans G, on
pose g.h = gh. Le morphisme structurel va de G dans S(G).
(ii) Action par conjugaison de G sur lui-mme. Pour tous g, h dans G, on pose2 g.h =
ghg 1 . Dans ce cas, le morphisme structurel va de G dans Int(G), le groupe des
automorphismes intrieurs de G.
(iii) Action de G sur un ensemble quotient G/H. Soit H un sous-groupe quelconque
de G. Pour tous g, g 0 dans G, notons g 0 la classe de g 0 dans lensemble quotient G/H
et posons g.g 0 = gg 0 .

Trois exemples daction de groupes

Les trois exemples choisis ci-dessous illustrent les trois actions dcrites ci-dessus.

Proposition 1.4 (Thorme de Cayley, 1854).

Si G est un groupe dordre n, alors G est isomorphe un sous-groupe du groupe symtrique
Sn .

Dmonstration (action par multiplication gauche).

Le morphisme structurel de laction par multiplication gauche de G sur lui-mme est
un morphisme de G dans S(G) qui est injectif, car cette action est libre, donc fidle, donc
Ker () = {1G }. Ainsi G est isomorphe un sous-groupe du groupe symtrique S(G).

Lemme 1.5 (Lquation aux classes).

Etant donn un groupe G oprant sur un ensemble E, soient E 0 une transversale de E et
E 00 une transversale de E r E G . Alors ,
P |G|
|E| = |StabG (e)|
, (EC1)
eE 0
P |G|
|E| = |E G | + |StabG (e)|
, (EC2)
eE 00
et si G est un p-groupe, on a :
|E| |E G | (mod p). (EC3)

Dmonstration (action par conjugaison).

Prouvons (EC1). On part de la partition E en orbites sous G. Puisque |OrbG (e)| =
|G|
|StabG (e)|
, lquation aux classes (EC1) en dcoule. Prouvons (EC2). Pour tout point fixe e
de E sous laction de G, on a StabG (e) = G, donc |Stab|G|G (e)| = 1. En cartant dans (EC1)
les points fixes, on obtient (EC2). Prouvons (EC3). Supposons que G est un p-groupe.
2
ou alors h.g = g 1 hg, et laction serait droite.

5
Alors ds que e nest pas un point fixe, |StabG (e)| est un diviseur propre de |G|, donc
|G| P |G|
|StabG (e)|
est une puissance non nulle de p, donc p divise |StabG (e)|
. Le rsultat se dduit
eE 00
alors de (EC2).

Proposition 1.6 (Thorme de Lagrange).

Lordre de tout sous-groupe divise lordre du groupe.

Dmonstration (action par multiplication sur les classes selon un sous-groupe).

Soit H un sous-groupe de G. Laction de H sur G par multiplication gauche est libre,
donc lquation aux classes associe est :
P
|G| = |H|,
gG0
donc lordre de H divise celui de G.

Proposition 1.7 (Un corollaire important du thorme de Lagrange).

Deux sous-groupes H et K dordre m et n avec mn = 1 dun groupe G sont dintersection
triviale : H K = {1G }.

Dmonstration. Soit x un lment de H K. Le cardinal du sous-groupe engendr par

x doit diviser m et n daprs le thorme de Lagrange, donc doit diviser le pgcd de m et
n. Donc x = 1G .

1.2 Quelques contre-vrits

Soit G un groupe de cardinal n. Pour tout diviseur d de n, il existe un lment de
G dordre d.
VRAI : pour tous les groupes cycliques et eux seulement.
FAUX : pour tous les autres, puisquun groupe non cyclique dordre n ne contient
pas dlment dordre n.
Soit G un groupe de cardinal n. Pour tout diviseur d de n, il existe sous-groupe de
G dordre d.
VRAI : pour tous les groupes abliens3 et les p-groupes4 . Vrai pour tous les groupes
dordre pq o p et q sont premiers entre eux (en utilisant le thorme de Cauchy,
tels S3 . Vrai plus gnralement pour les groupes nilpotents, puisquils sont le
produit direct de leurs p-Sylow (cf. thorme 5.14).
FAUX : pour les groupes symtriques Sp o p est premier suprieur ou gal
5, car un sous-groupe dordre 2p contient un lment dordre p et un lment
dordre 2, mais on peut montrer que deux tels lments de Sp engendrent un
sous-groupe dordre strictement suprieur 2p. Faux galement pour les groupes
simples non cycliques, puisque dune part, daprs le thorme de Feit-Thomson
3
Cf. propositions 2.5.
4
Cf. propositions 5.5.

6
 (extrmement difficile) de tels groupes sont dordre pair (tel A5 ), dautre part,
si un tel groupe contenait un sous-groupe dindice 2, il serait distingu, ce qui
contredirait la simplicit du groupe. En fait, lnonc en question est faux pour
tous les groupes non nilpotents (cf. proposition 5.15).
Soit G un groupe de cardinal n et soient p et q deux nombre premiers distincts
divisant n. Alors il existe un lment de G dordre pq.
VRAI : pour tous les groupes abliens.
FAUX : pour les groupes dordre pq (p et q premiers distincts) non cycliques (par
exemple les groupes didraux) car ils ne contiennent pas dlments dordre pq,
pour Sp ne contenant pas dlments dordre 2p, pour A4 ne contenant aucun
lment dordre 6.
a) Un groupe finiment engendr et priodique est fini.
b) Un groupe finiment engendr, priodique et dexposant fini est fini.
VRAI : Le b) est vrai pour les groupes linaires5 .
FAUX : ces deux contre-vrits ont t conjectures par Burnside au dbut du
XXme sicle, et il a fallu plus de cinquante ans avant de trouver des contre-
exemples. Ce type de questions continue dinfluencer la recherche dans les groupes.

2 Groupes abliens

Dans ce paragraphe, tous les groupes sont abliens et finis. On utilisera sans le men-
tionner le fait suivant : Si x et y sont dordre respectivement m et n dans G ablien,
alors lordre du sous-groupe engendr par x et y divise mn et lordre des lments dun
tel sous-groupe divise le ppcm de m et n.

2.1 Thormes de Sylow pour les groupes abliens

Daprs le thorme de Lagrange, lordre de tout sous-groupe divise lordre du groupe.

Dans le cas des groupes abliens, la rciproque est vraie. Cest ce que lon va tablir, en
dmontrant le thorme de Sylow pour les groupes abliens. Une notion essentielle est
celle dexposant dun groupe fini.

Proposition 2.1 (Thorme de Cauchy pour les groupes abliens).

Soient G un groupe ablien dordre n et p un nombre premier qui divise n. Alors, il existe
un lment dans G dordre p.
5
i.e. les sous-groupes de GL(V ), V tant un espace vectoriel ; le groupe tant finiment engendr, V doit
tre de dimension finie. Tous les groupes finis sont des groupes linaires, puisquils sont isomorphes des
sous-groupes de groupes symtriques, eux-mmes isomorphes au groupe de matrices (dans les dimensions
convenables) dinterversion de lignes et de colonnes.

7
Dmonstration. Soient x1 , . . . , xr r lments dans G qui engendrent G. Soit
hx1 i hxr i G
:
(y1 , . . . , yn ) 7 y1 . . . yn
un morphisme de groupe (bien dfini grce la commutativit de G). Daprs le thorme
disomorphisme, on a
Q
|hxi i| = |G|.|Ker ()|.
16i6r
Or p divise |G|, donc p divise lun des |hxi i| pour i {1, . . . , r}, donc lune des puissances
de lun des xi est dordre p.

Proposition 2.2 (Thormes de Sylow pour les groupes abliens).

Soit G un groupe ablien dordre p m o p est premier, est non nul, et m est premier
avec p. Alors :
(i) il existe des p-sous-groupes de G dordre p pour tout 6 ,
(ii) le p-sous-groupe de G dordre p (le p-Sylow) est unique.
Dmonstration.
Montrons le point (i). Par rcurrence sur . Lorsque = 1, le thorme de Cauchy
fournit un lment dordre p, donc le sous-groupe engendr par cet lment convient.
Maintenant, supposons que > 1. Supposons que (i) est vrai pour tout groupe dont
lordre a une p-valuation strictement infrieur . Soit 6 . Nous allons trouver un
p-sous-groupe de G dordre p . Soit x un lment dordre p dans G. Soit H le sous-groupe
de G engendr par x et soit : G G/H le morphisme de passage au quotient.
Lhypothse de rcurrence applique G/H fournit un sous-groupe K de G/H dordre
p1 . Alors le groupe K = 1 (K) est dordre p par le thorme disomorphisme.
Montrons le point (ii). Soit H et K deux p-Sylow de G. Soit W le sous-groupe de G
engendr par H et K. Puisque lordre des lments de H et K divise p et que G est
ablien, lordre des lments de W divise galement p . Or si lordre de W ntait pas une
puissance de p, daprs le thorme de Cauchy, il existerait un lment dont lordre ne
serait pas une puissance de p. Donc il existe tel que |W | = p . On a > car H W ,
et on a aussi 6 car |W | divise |G| daprs le thorme de Lagrange, mais p+1 ne
divise pas |G|. Donc W est de mme cardinal que H et K tout en les contenant, donc
W = H = K.

Lemme 2.3 (Lemme chinois pour les sous-groupes dun groupe ablien).
Soient G un groupe ablien et (Hi )16i6r une famille de sous-groupes dordre deux deux
premiers. Alors ces sous-groupes sont en somme directe dans G.
Dmonstration. Appelons d1 , ..., dr les diffrents ordres des sous-groupes H1 , ..., Hr
correspondants. Tout repose sur la remarque suivante : dans un groupe ablien, si a est
dordre m et b dordre n avec m et n premiers
P entre eux, alors ab est dordre mn. Ainsi,
pour tout i, lordre de tout lment de Hj divise le ppcm des dj avec j 6= i, donc est
j6=P
i
premier avec di . Donc pour tout i, Hi ( Hj ) = {1}. Donc ces groupes Hi , 1 6 i 6 r
j6=i
sont en somme directe.

8
Corollaire 2.4 (Dcomposition de Sylow dans un groupe ablien).
Un groupe ablien fini est la somme directe de ses sous-groupes de Sylow6 .

Dmonstration. Daprs le lemme 2.3, les diffrents p-Sylow de G sont en somme directe.
Lgalit des cardinaux permet de conclure.

Proposition 2.5 (Rciproque du thorme de Lagrange pour les groupes abliens).

Soit G un groupe ablien fini. Pour tout diviseur d de lordre de G, G admet un sous-groupe
dordre d.
Q i
Dmonstration. Soit n lordre de G que lon factorise en nombres premiers
Q i: n = pi .
Soit d un diviseur de n que lon factorise en nombres premiers : d = pi . Daprs le
thorme de Sylow, pour tout i, il existe un p-sous-groupe de G dordre pi i . Daprs le
lemme 2.3, les sous-groupes Hi sont en somme directe, donc le sous-groupe rsultant est
dordre d.

2.2 Classification des groupes abliens finis

Les thormes de Sylow nous mettent sur la voie de la classification des groupes ab-
liens finis. Pour conclure, il nous faut un rsultat sur lexistence de supplmentaire. Lexis-
tence dun supplmentaire est fausse en gnral, par exemple, un sous-groupe propre dun
groupe cyclique nadmet pas de supplmentaire. Par contre, (et cest une utilisation re-
marquable de lexposant dun groupe ablien) tout sous-groupe cyclique engendr par un
lment dordre maximal du groupe admet un supplmentaire, cf. proposition 2.8.

Rappelons que lexposant dun groupe fini est le ppcm des ordres des lments de ce
groupe.

Proposition 2.6 (Proprits de lexposant pour un groupe ablien fini).

Soit G un groupe ablien fini. Alors :
(i) lexposant de G est le maximum des ordres des lments de G ;
(ii) il existe un lment de x dont lordre est lexposant de G ;
(iii) lordre de tout lment divise lexposant du groupe ;
(iv) lexposant dun groupe a les mmes facteurs premiers que lordre du groupe ;
(v) lexposant dun groupe divise lordre du groupe.

Dmonstration. Montrons lassertion (i). Soit m le maximum des ordres des lments
de G et soit x un lment dordre m. Nous allons montrer que lordre de tout lment
de G divise m. On fait un raisonnement par labsurde : on suppose quil existe y dans G
dordre q tel que q ne divise pas m. Soient , , m0 et q 0 tels que :
6
Dautres groupes que les groupes abliens vrifient cette proprit. En fait, parmi les groupes finis,
tre la somme directe de ses sous-groupes de Sylow est quivalent navoir quun seul p-Sylow par nombre
premier p, ce qui est encore quivalent tre nilpotent (voir la note au bas de la page ??).

9

m = p m0 avec p m0 = 1,
q = p q 0 avec > .
0
Remarquons que llment xp est dordre m0 et que llment y q est dordre p . Puisque
0
p et m0 sont premiers entre eux, llment xp y q est dordre p m0 qui est strictement
suprieur m. Cest absurde. Finalement, lordre de tout lment de G divise m, donc m
est gal au ppcm des ordres des lments de G, cest donc lexposant de G.
Lassertions (ii) est incluse dans (i).
Lassertion (iii) est un corollaire de la dfinition de lexposant.
Lassertion (iv) dcoule du thorme de Cauchy.
Lassertion (v) dcoule du thorme de Lagrange.

Remarques.
1. Les assertions (iii), (iv) et (v) sont vraies en gnral, mais les assertions (i) et (ii)
ne le sont pas en gnral (par exemple les groupes symtriques Sn avec n > 3).
2. On peut adapter ces rsultats dans le cas de groupes infinis.
3. La notion dexposant simplifie de nombreuses preuves classiques, comme la suivante.

Corollaire 2.7 (Groupe multiplicatif dun corps commutatif).

Tout sous-groupe fini dun corps commutatif est cyclique. En particulier, pour tout nombre
premier p, le groupe multiplicatif (Z/pZ , .) est cyclique.

Dmonstration. Soit K un corps et G un sous-groupe du groupe multiplicatif (K , .).

Soit r lexposant de G. Alors pour tout x G, on a xr = 1. Par ailleurs, le polynme
X r 1 de K[X] possde au plus r solutions puisque K est un corps commutatif. On
en dduit que G est de cardinal au plus r. Il est donc de cardinal r. Or puisque r est
lexposant de G, il existe un lment a dans G dordre r. Daprs lordre de a et lordre
de G, on constate que G est un groupe cyclique engendr par a.

Proposition 2.8 (Prolongement de morphismes et existence dun supplmentaire).

Soit G un groupe ablien fini et x un lment dordre maximal dans G. Alors :
(i) il existe un morphisme de G dans hxi qui envoie x sur x,
(ii) il existe un sous-groupe K de G tel que G = hxi K.

Dmonstration. La partie (ii) est une consquence de la partie (i). Prenons K = Ker ()
o est le morphisme trouv en (i). Alors K hxi = {1G } car est lidentit sur hxi. Or
|G| = |hxi||K| daprs le thorme disomorphisme, do le rsultat.
Passons la dmonstration de la partie (i). Soit H un sous-groupe propre de G conte-
nant x. Supposons quon ait dj un morphisme de H dans hxi envoyant x sur x. Soit
a lordre x. Soit y G r H dont on note b lordre. Soient
Z/bZ H hxi Z/bZ H hy, Hi
e : et p : ,
(k, h) 7 xk` (h) (k, h) 7 y k h
des morphismes, o ` est un entier dterminer. Remarquons que e est bien dfini si et
seulement si xb` = 1. Or x est dordre a, donc il faut et il suffit que :

10
 a divise b`. ()
Considrons le diagramme suivant :
Ker (p) y w Z/bZ H p
w hy, Hi
\
\\
u \^\\ b

e

hxi
dans lequel on cherche dfinir . b Puisque p est surjectif, on a hy, Hi Z/bZH
= Ker (p) , et daprs
le thorme de passage au quotient, e passe au quotient sous Ker (p) si et seulement si :
Ker (p) Ker (). e ()
Il suffit alors de vrifier quen choisissant bien lentier `, () est vrifi :
Dterminons Ker (p). Soit (un diviseur de b) tel que hyi H = hy i. Alors
p((k, h)) = 1G si et seulement si divise k et h = y k . Donc Ker (p) = h(, x )i.
Choix de ` a priori pour satisfaire (). Puisque Ker (p) est engendr par (, x ),
calculons (,
e y ). Posons tel que (y ) = x . Alors :
(,
e y ) = x` (y ) = x` .
Pour que (,
e y ) = 1G , il suffit alors de poser :
` = . ( )
Vrifions que le choix de ` est lgal, i.e. vrifions que ( ) est compatible avec
b
() et que ` est entier. Par dfinition, divise b, et (y ) = x , donc x = 1G ,
donc a divise b , autrement dit, a divise b` et () est vrifi. Vrifions enfin que
` est entier. Puisque a est lexposant de G (cest seulement ici que cela intervient,
mais cest essentiel7 ), b divise a. Or on a vu que a divise b , donc est entier.

Thorme 2.9 (Structure des groupes abliens finis).

Pour tout groupe ablien fini non trivial, il existe r entiers d1 , d2 , . . . , dr tels que
d1 > 2
pour tout i {1, . . . , r 1}, di divise di+1
on a lisomorphisme :
G= Z/d1 Z Z/d2 Z Z/dr Z.
De plus, sous ces conditions, une telle liste (d1 , d2 , . . . , dr ) est unique.
7
Si lon avait simplement voulu tendre un morphisme injectif (sinon, cela na pas dintrt) de hxi
dans Q/Z en un morphisme de G dans Q/Z, on naurait pas eu besoin de vrifier que ` tait entier puisque
Q/Z est un groupe divisible (i.e. qui admet pour chacun de ses lments des racines n-imes pour tout
n). Et de fait, un tel nonc est vrai, mme sans supposer que x est dordre maximal. En contre partie,
limage dun tel morphisme (parfois appel caractre) est un sous-groupe fini de Q/Z contenant des
racines n-imes de (x) sans que x ne possde lui-mme de telles racines dans G, autrement dit, Im ()
peut ne pas tre isomorphe hxi. Cest uniquement en prenant x dordre maximal et en invoquant les
proprits de lexposant quon peut affirmer que Im () est isomorphe hxi et retrouver le rsultat tel
que nous lavons dans la partie (i) de cette proposition.

11
Dmonstration.
Existence. Lexistence dcoule de la proposition prcdente : Dans G, soit x1 un lment
dordre maximal n1 , et soit H1 le sous-groupe de G engendr par x1 , isomorphe Z/n1 Z.
Daprs la proposition 2.8, il admet un supplmentaire K1 . Si K1 6= {1}, on recommence
en remplaant G par K1 et en partant dun lment x2 dordre maximal n2 dans K1 .
Aprs un nombre fini r dtapes, on a Kr = {1}. Alors G = Hi . De plus, ni+1 divise
16i6r
ni pour tout i 6 r 1, donc en posant di = nr+1i , on obtient la dcomposition de G de
lnonc.
Unicit. Soient Z/d1 Z Z/d2 Z Z/dr Z et Z/d01 Z Z/d02 Z Z/d0q Z deux
dcompositions de G conformes lnonc. Il est clair que lexposant de G est gal dr et
d0q . Donc dr = d0q , donc les supplmentaires Z/d1 Z Z/dr1 Z et Z/d01 Z Z/dq1 Z
de Z/dr Z et Z/d0q Z sont isomorphes, et lon peut recommencer comparer leurs exposants.
Ainsi r = q et di = d0i pour tout i.

Tout un vocabulaire est associ ce type de dcomposition.

Dfinition 2.10 (A propos de la classification des groupes abliens finis).

la dcomposition canonique de G est la dcomposition faite la proposition 2.9 ;
les facteurs invariants de G sont les entiers di ; Q
les diviseurs lmentaires de G sont les di,j o pour tout i 6 r, si di = pj j ,
j

di,j = pj j
;
la composante p-primaire de G est le p-Sylow de G.
le type de G est la liste croissante des diviseurs lmentaires di,j crits chacun autant
de fois quils apparaissent dans les diffrents facteurs invariants
la dcomposition totale de G la somme directe des Z/di,j Z pour tous i, j crite dans
lordre croissant desdi,j , o les di,j sont les diviseurs lmentaires.

Exemple. Le groupe ablien de type (2, 2, 3, 5, 8, 9) est le groupe ablien dordre 4320
dont la dcomposition canonique est Z/2Z Z/6Z Z/360Z. Sa composante 2-primaire
est Z/2Z Z/2Z Z/8Z.
La classification des groupes abliens est rendue particulirement efficace grce au
lemme suivant :

Lemme 2.11 (Calcul du type dun groupe ablien et de sa dcomposition canonique).

(i) Etant donn un groupe G ablien donn sous la forme
G = Z/`1 Z Z/`2 Z Z/`r Z,
on retrouve le type du groupe en rcrivant avec rptition pour tout i les puissances
des facteurs premiers des `i levs la puissance laquelle ils interviennent dans
`i .
(ii) Deux groupes abliens finis sont isomorphes si et seulement sils sont de mme
type.
(iii) Etant donn le type dun groupe ablien fini, on peut reconstruire la liste des
facteurs invariants en procdant ainsi : dr sera le plus grand produit obtenu en choi-
sissant de multiplier entre eux des diviseurs lmentaires premiers entre eux deux

12
 deux, on raye de la liste des diviseurs lmentaires ceux que lon vient dutiliser et
on recommence avec ceux qui restent pour dfinir de la mme faon dr1 , et ainsi
de suite jusqu ce que la liste soit puise.

Dmonstration. Il est facile de vrifier quil existe :

un algorithme de dconstruction permettant de passer laide du lemme chinois de
la donne dun groupe sous forme de somme directe de groupes cycliques la donne
de ce groupe sous forme de somme directe de p-groupes cycliques,
et un algorithme de construction permettant de passer laide du lemme chinois de
la donne dun groupe sous forme de somme directe de p-groupes la dcomposition
canonique de ce groupe.
On montre que lalgorithme de construction envoie deux donnes diffrentes de groupes
sous forme de somme directe de p-groupes sur deux dcompositions canoniques diffrentes.
Par unicit de cette dernire pour une classe disomorphie de groupes, il vient que la
donne sous forme de somme directe de p-groupes est unique ( lordre des facteurs prs)
et concide donc avec la dcomposition totale de ce groupe. Ceci prouve le (ii).
Par unicit de la donne dun groupe sous forme de somme directe de p-groupes, il
vient que lalgorithme de dconstruction mne la dcomposition totale du groupe. Ceci
prouve le (i).
Enfin, sachant que la donne dun groupe sous forme de somme directe de p-groupes
est unique et correspond la dcomposition totale, et puisque lalgorithme de construction
mne la dcomposition canonique, le (iii) est prouv.

Exemple. Les groupes G1 = Z/36Z Z/45Z Z/60Z et G2 = Z/5Z Z/108Z Z/180Z

sont-ils isomorphes ? Calculons leurs types. Celui de G1 est (2, 2, 3, 4, 5, 5, 9, 9), tandis que
celui de G1 est (4, 4, 5, 5, 9, 27). Puisque les deux types sont diffrentes, ces deux types
sont diffrents. Leurs reprsentations canoniques sont G1 = Z/6Z Z/90Z Z/180Z et
G2 = Z/180Z Z/540Z.

3 Produits semi-directs

3.1 Rappels sur les sous-groupes distingus

Dfinition 3.1 (Sous-groupes distingus, caractristiques, groupes simples).

Un sous-groupe H de G est dit distingu dans G (ou sous-groupe normal de G) si gHg 1 =
H pour tout g G, autrement dit, sil est stable par les automorphismes intrieurs8 de
G. On notera alors :
H / G.
Si un sous-groupe H est stable par tous les automorphismes de G, il est dit caractristique.
Un groupe dont les seuls sous-groupes distingus sont lui-mme et {1} est dit simple.
8
Un automorphisme de G est ditintrieur sil est une conjugaison par un lment de G. Un automor-
phisme qui nest pas intrieur est dit extrieur.

13
Remarques.
1. Les assertions suivantes sont quivalentes :
(i) pour tout g G, gHg 1 H,
(ii) pour tout g G, gHg 1 = H,
(iii) pour tout g G, gH = Hg.
2. Par contre, pour un g donn, gHg 1 H nimplique pas gHg 1 = H. Considrons
par exemple le groupe :
G = h a, b | abab1 = bab1 a i
et pour tout k Z, soit le sous-groupe :
Hk = h bn abn ; n > k iG
On a bien sr lgalit b` Hk b` = Hk+` , mais bk abk nappartient pas Hk+1 (ce nest pas
tout fait vident), donc linclusion de Hk+1 dans Hk est stricte, et on a :
bHk b1 1
6 Hk , et b Hk b 6 Hk
Les sous-groupes Hk ne sont donc pas distingus dans G.
3. Si K / H / G, on na pas pour autant K / G. En effet, considrons le groupe9 :
G = h a, b, x | a2 = b2 = x2 = 1, ab = ba, ax = xb, xa = bx i.
Les deux sous-groupes K = h a iG et H = h a, b iG fournissent un contre-exemple. Par
contre, si K est un sous-groupe caractristique dun groupe H, lui-mme sous-groupe
distingu de G, alors il est facile de voir que K est distingu dans G.

Exemples de sous-groupes distingus

0. Tout noyau dun morphisme partant de G est un sous-groupe distingu de G.
1. Tout sous-groupe dun groupe ablien est distingu. La rciproque est fausse. Consi-
drons par exemple le groupe quaternionique H8 (cf. dfinition 5.1). Tous ses sous-groupes
sont distingus, alors que H8 nest pas ablien.
2. Le centre de tout groupe est distingu.
3. Ds quun groupe contient un unique p-Sylow, il est distingu (cf. chapitre 4).
4. Tout sous-groupe dindice10 2 est distingu. En effet, si H est un tel sous-groupe de
G, soit x un lment de G r H. Les classes dquivalence gauche selon le sous-groupe H
(i.e. les orbites sous laction de H par multiplication gauche sur G) sont H et xH, les
classes dquivalence droite selon le sous-groupe H sont H et Hx. Puisque les classes
dquivalence forment une partition de G, xH doit tre gal Hx. Ceci tant vrai pour
tout x G r H, on en dduit que H est distingu.
5. Ce fait se gnralise si G est fini. Soit G un groupe fini et H un sous-groupe de G
dindice p o p est le plus petit facteur premier de |G|. Alors H est distingu dans G.
Cest le thorme de Frobenius (cf. proposition 6.2).
9
Il sagit du produit semi-direct (cf. dfinition 3.11) de (Z/2Z)2 par Z/2Z o laction de 1 Z/2Z sur
(Z/2Z)2 consiste changer les deux sous-groupes Z/2Z {0} et {0} Z/2Z. Ce groupe est isomorphe
D4 , le groupe didral dordre 4 (cf. dfinition 3.9).
10
Lindice dun sous-groupe H de G, not [G : H], est le cardinal de G/H. Si G est fini, on a lgalit
[G : H] = |G|/|H|.

14
 6. Par contre, un sous-groupe dindice 3 dun groupe G peut ne pas tre distingu si
G est infini ou si 2 divise |G|. Par exemple, le sous-groupe H de S3 engendr par une
transposition (disons H = h(12)i) nest pas distingu. En effet, les classes gauche selon
H ne concident pas avec les classes droite selon H.
7. On montrera, cf. proposition 5.7, que dans le cas des p-groupes, les sous-groupes
maximaux sont dindice p et sont donc distingus.
Exemples de sous-groupes caractristiques
1. Pour tout groupe G, Le centre ZG , le groupe driv [G, G] et le sous-groupe de
Frattini (G) (cf. dfinition 5.18) sont des sous-groupes caractristiques. Les sous-groupes
Cn (G) de la suite centrale descendante en sont galement. Il existe dautres exemples de
sous-groupes caractristiques pouvant tre associs tout groupe. Connatre de tels sous-
groupes est prcieux, car tant invariants par automorphismes, ils sont dune grande aide
dans la classification des groupes.
2. Tous les sous-groupes dun groupe cyclique sont caractristiques, puisque pour tout
diviseur d de n, le groupe Z/nZ ne possde quun seul sous-groupe de cardinal d. Rappe-
lons que pour autant, Aut(Z/nZ) nest pas trivial (cf. paragraphe 3.5).
3. Lexemple diamtralement oppos est le cas de (Z/pZ)k et plus gnralement de tout
espace vectoriel. Dans un espace vectoriel, les sous-groupes propres sont les sous-espaces
propres, et ceux-ci ne sont jamais caractristiques.
4. Le groupe Z/mZ Z/nZ ne contient que de ses sous-groupes caractristiques si et
seulement si m et n sont premiers entre eux, car dans ce cas, et seulement dans ce cas-l,
Aut(Z/mZ Z/nZ) = Aut(Z/mZ) Aut(Z/nZ)
Dans Z/dmZ Z/dnZ, il existe par exemple un automorphisme envoyant (1, 0) sur (1, n)
et (0, 1) sur (0, 1), et ne prservant pas le sous-groupe Z/dmZ {0}.
5. Les groupes symtriques Sn ont peu dautomorphismes extrieurs (ils nen ont
aucun lexception de S6 ), par consquent, le sous-groupe An qui est distingu est aussi
caractristique.
6. Un autre exemple de groupe caractristique est donn par la proposition 3.2 ci-
dessous.
7. Dans les exemples ci-dessus ( lexception peut-tre de ceux donns en 0.), les sous-
groupes considrs sont caractristiques parce quils sont les seuls possder leur cardinal.
Or on peut tout fait avoir deux sous-groupes caractristiques isomorphes. Par exemple,
prenons
G = S4 V4 .
2
o V4 est le groupe (Z/2Z) . Soit H le sous groupe de S4 des double-transpositions (pro-
duits de deux transpositions supports disjoints), cest un sous-groupe caractristique de
S4 . Les sous-groupes K1 = H {0V4 } et K2 = {1S3 } V4 sont tous deux isomorphes,
et constituent deux sous-groupes caractristiques de G. Cest clair pour K2 puisque cest
le centre de G. Pour K1 , il faut voir quune transposition par un automorphisme peut
tre envoye sur le produit dune transposition et dun lment central, mais les transpo-
sitions tant deux deux conjugues, elles sont alors toutes envoyes sur le produit dune
transposition et du mme lment central. Puisque les lments centraux sont dordre 2,

15
les double-transpositions sont envoyes sur les double-transpositions. Donc K1 est carac-
tristique11 .

Proposition 3.2 (Un exemple de sous-groupes caractristiques).

Tout p-Sylow distingu est caractristique. Plus gnralement, soit H un sous-groupe dis-
tingu dun groupe G fini tel que |H| |G/H| = 1, alors H est un sous-groupe caractris-
tique.

Dmonstration. Soit m = |H|. Nous affirmons que H est le seul sous-groupe dordre m
de G. Par consquent, tout automorphisme de G ne peut envoyer H que sur lui-mme.
Montrons laffirmation. Soit K un sous-groupe de G de cardinal m. Soient i : K G
linclusion, p : G G/H le passage au quotient et = p i la composition. Puisque
limage de doit diviser |G/H|, le morphisme doit tre trivial. Le noyau de est K H
et puisque est trivial, K H = K. Daprs lgalit des cardinaux, il vient K = H.

Dfinition 3.3 (Produit, quotient et complment).

Soit G un groupe et N un sous-groupe distingu. Alors,
G/N = {gN, g N } lensemble des classes gauche selon le sous-groupe N est
naturellement muni dune loi de groupe issue de celle de G : cest la seule qui fasse
de lapplication de passage au quotient un morphisme de groupes.
N H = {nh, n N, h H} est un sous-groupe de G pour tout sous-groupe H de
G. Si N H = G et H 6= G, le sous-groupe H est appel un complment partiel de
N dans G. Si N H = {1G } et N H = G, alors H est appel un complment de N
dans G.

Proposition 3.4 (Produit et quotient par un sous-groupe distingu).

(1) Soient N un sous-groupe distingu de G et H un sous-groupe de G. Alors len-
semble N H est gal lensemble HN et constitue un sous-groupe de G. Si H aussi
est distingu, alors le groupe N H est un sous-groupe distingu de G.
(2) Les assertions suivantes sont quivalentes :
(i) N est distingu dans G,
(ii) N est le noyau dun morphisme de groupes,
(iii) lensemble G/N est muni dune structure de groupe qui fait de la projection
: G G/N un morphisme de groupes.
11
Cependant il existe un groupe G0 contenant G dans lequel un automorphisme intrieur change
K1 sur K2 . Cest un fait gnral d G.Higman, B.Neumann et H.Neumann (1949) : tant donns
un groupe G = hS|Ri et deux sous-groupes H et K isomorphes par un isomorphisme : H K,
soit G0 = h S, t | R, tht = (h), h H i. Alors, (ce nest pas du tout vident) G est (canoniquement)
inclus dans G0 et tHt1 = K. Cest une gnralisation du produit semi-direct par Z lorsque est un
automorphisme extrieur de G.

16
Dmonstration. La partie (2) de la proposition est bien connue. Concentrons-nous sur le
partie (1). Remarquons quen notant h (n) = hnh1 , on a avec des notations videntes :
h1 n1 h2 n2 h3 n3 ... = h1 (n1 ) h1 h2 (n2 ) h1 h2 h3 (n3 )... h1 h2 h3 ... .
| {z } | {z } | {z }
produit dans N H dans N dans H
Ainsi HN = N H et N H est stable par multiplication. Il est stable par passage linverse,
puisque si nh N H, alors (nh)1 HN . Enfin, si H est son tour distingu, alors pour
tout g G, gN Hg 1 = gN g 1 gHg 1 = N H.

Exemples.
1. Pour un exemple o intervient le produit N H, voir la proposition 3.5 ci-dessous.
2. En gnral, les produits du type N H sont intressants lorsque N H est rduit
llment neutre. Dans ce cas, les exemples sont lgions et constituent ce quon appelle un
produit semi-direct de N par H auquel est consacr le paragraphe 3.2 suivant.
3. Voir galement le lemme 4.7 et la proposition 4.8, traitant le cas de groupes o deux
(respectivement tous les) sous-groupes de Sylow sont distingus.

On redonne sans dmonstration les thormes classiques suivants.

Proposition 3.5 (Thormes disomorphisme).

Premier thorme disomorphisme. Soit un morphisme de groupes G vers G0 . Alors
le morphisme induit de G/Ker () Im () est un isomorphisme.
Deuxime thorme disomorphisme. Soit N et H deux sous-groupes de G tels que N
est distingu dans G. Alors N H est distingu dans H et linclusion H N H
H
induit par passage au quotient lisomorphisme HN NNH .
Troisime thorme disomorphisme. Soit N et M deux sous-groupes distingus de G,
M tant inclus dans N . Alors N/M est distingu dans G/M et le morphisme quo-
G/M
tient N/M est isomorphe G/N .

3.2 Produit semi-direct interne

La dfinition du produit semi-direct est motive par la proposition suivante.

Proposition 3.6 (Sous-groupes distingus admettant un complment).

Soient N un sous-groupe distingu de G admettant un complment H. Autrement dit, N
et H sont deux sous-groupes tels que :
(i) N / G,
(ii) N H = {1G },
(iii) G et N H sont en bijection.
Alors la bijection : N H G, (n, h) 7 nh devient un isomorphisme de groupe si
et seulement si on munit N H de la loi (n, h)(n0 , h0 ) = (nhn0 h1 , hh0 ).

17
Dmonstration. Avec la condition (i), N H est un groupe, tandis quavec les conditions
(ii) et (iii), lensemble G et son sous-ensemble N H sont de mme cardinal, donc sont
gaux. En effet, nh = n0 h0 implique n01 n = h0 h1 , donc n = n0 et h = h0 . Pour que soit
un groupe, il faut que (n, h).(n0 , h0 ) = 1 (nhn0 h0 ). Mais nhn0 h0 = nhn0 h1 hh0 , or nhn0 h1
appartient N car N est distingu, donc 1 (nhn0 h0 ) = (nhn0 h1 , hh0 ). Donc pour que
soit un isomorphisme de groupe, il faut munir N H de la loi (n, h)(n0 , h0 ) = (nhn0 h1 , hh0 ).
Rciproquement, si on munit N H dune telle loi, alors on vrifie que :
(a) cette loi est associative,
(b) (1N , 1H ) est llment neutre,
(c) linverse de (n, h) est (h1 nh, h1 )
(d) transforme cette loi en la loi de G devenant ainsi un morphisme de groupes,
donc un isomorphisme.

Dfinition 3.7 (Produit semi-direct (interne) de deux sous-groupes).

Deux sous-groupes H et N de G vrifiant
(i) N C G,
(ii) N H = {1G },
(iii) G et N H sont en bijection.
sont dits en produit semi-direct. On crit alors12 G = N o H. Si lon paramtre G par
N H, la loi de G devient :
(n, h)(n0 , h0 ) = (nhn0 h1 , hh0 ).
Le sous-groupe H agit sur N par conjugaison dans G. Par un abus de langage, on pourrait
crire Int(G) Aut(N ). Le morphisme structurel de cette action est not Ad :
H Aut(N )
Ad : .
h 7 Adh : n 7 hnh1
Remarquons que sous les conditions (i) et (ii), la condition (iii) est quivalente chacune
des conditions suivantes :
(iii-a) G/N = H,
(iii-b) G = N H,
(iii-c) |G| = |N |.|H|, supposer que G est fini.

Proposition 3.8 (Produits directs parmi les produits semi-directs).

Soient N et H deux sous-groupes dun groupe G. On suppose que N est distingu dans G
avec N / G. Les assertions suivantes sont quivalentes.
(i) le produit semi-direct N o H est direct13 ;
(ii) laction par conjugaison induite de H sur N est triviale ;
(iii) [N, H] = {1G } (cf. 14 ) ;
(iv) H est distingu dans G.
12
Remarquer que les triangles inclus dans les symboles des expressions N C G et N o H vont dans le
mme sens.
13
Dans ce cas-l, on dit aussi que le produit semi-direct est trivial.
14
Le sous-groupe [N, H] de G est le sous-groupe engendr par les lments nhn1 h1 avec n N et
h H.

18
Dmonstration . Les implications (i) (ii) (iii) et (i) (iv) sont immdiates.
Prouvons limplication (iv) (i). Pour cela, tudions le commutateur [n, h] = nhn1 h1 .
Il vient n(hn1 )h1 ) N mais (nhn1 )h1 H. Or N H = {1G }, donc [n, h] = 1.

Remarque. Attention cependant, un produit semi-direct non trivial peut tre isomorphe
un produit direct, cf. lexemple donn au dbut du paragraphe 3.4.

Passons aux exemples.

Exemples.
Sn = An o h i o est une transposition (ou un produit impair de transpositions
supports disjoints). On peut le voir rapidement en remarquant que :
An = Ker (), donc An / Sn ,
( ) = 1, donc An h i = {1Sn },
Sn /An = Z/2Z
= h i,
o est la signature.
O(n, R) = SO(n, R) o hi o est une rflexion (symtrie dont le noyau est un
hyperplan). On peut le voir rapidement en remarquant que :
SO(n, R) = Ker (det), donc SO(n, R) / O(n, R),
det(r) = 1, donc SO(n, R) hri = {1O(n,R) },
O(n, R)/SO(n, R) = Z/2Z
= hri,
o det est le dterminant.
GL(n, k) = SL(n, k) o Dil o k est un corps diffrent de F2 et Dil est lensemble
des matrices diagonales nayant que des 1 sur la diagonale except le premier l-
ment diagonal qui est un lment quelconque de k . On peut le voir rapidement en
remarquant que :
GL(n, k) = Ker (det), donc SL(n, k) / GL(n, k),

{det(d), d Dil r {Id kn }} k r {1k }, donc SL(n, k) hdi = {Id kn },
GL(n, k)/SL(n, k) = k
= Dil,
o det est le dterminant.
Voir aussi Dn O(2, R), le groupe didral, cf. dfinition 3.9 ci-dessous.

Dfinition 3.9 (Le groupe didral Dn ).

Le groupe didral Dn est le groupe des dplacements du plan prservant un polydre
rgulier n cts centr en lorigine de R2 et ayant un sommet en (1, 0). Soient Rotn le
sous-groupe de Dn dordre n engendr par la rotation centre en lorigine dangle 2/n et
S le sous-groupe de Dn dordre 2 engendr par la rflexion daxe horizontal. En voyant
Dn plong dans O(2, R), cela revient poser :
cos sin
Rotn = {R , 2n
Z} o R = sin cos ,
S = {Id R2 , } o = 10 1 0
.
Le groupe Dn contient n rotations et n symtries (dont les axes passent par les sommets
ou les milieux des artes du polydre). Or Rotn contient n rotations et Rotn contient
n transformations du plan de dterminant 1, donc contient les n symtries. De plus
Rotn S = {Id R2 }. Enfin, .Rotn . = Rotn puisque :

19

1 0 cos sin 1 0 cos sin cos() sin()
= = .
0 1 sin cos 0 1 sin cos sin() cos()
Donc Rotn est distingu dans Dn . Donc :
Dn = Rotn o hi,
et laction est donne par la relation
R = R() ,
donc ce groupe nest commutatif que si = 1 , donc que si n = 2. Remarquons
quen remplaant Rotn par SO(2, R), on retrouve le produit semi-direct donn ci-dessus :
SO(2, R) = SO(2, R) o hi.

Un dernier exemple :

Proposition 3.10 (Sous-groupes de Sylow dans des produits semi-directs).

Soit un groupe G de cardinal p m o p est un nombre premier ne divisant pas m, soient
N un sous-groupe distingu de G dordre m et P un sous-groupe de cardinal p . Alors
G = N o P.

Dmonstration. En effet, N est distingu, N P = {1G } (consquence du thorme de

Lagrange appliqu aux lments de N P ), et |N P | = |G|.

3.3 Produit semi-direct externe

On cherche tendre la notion de produit semi-direct interne deux groupes tran-

gers lun lautre , i.e. qui ne soient pas forcment plong dans un mme troisime dans
un mme troisime. De la mme, le produit direct interne a donn lieu au produit direct
externe et la somme directe interne a donn lieu la somme directe externe.
Pour tendre cette notion de produit semi-direct, souvenons-nous que la loi dans N oH
est donne par la formule
(n, h).(n0 , h0 ) = (nhn0 h1 , hh0 ) = (nh (n0 ), hh0 )
o appartient Hom(H, Int(G)) en associant tout lment h H la conjugaison
par h dans G. Cette conjugaison par h est un automorphisme intrieur dans G qui sta-
bilise N et qui du point de vue de N est un automorphisme quelconque (ventuellement
extrieur). Ainsi, peut tre vu comme un morphisme de Hom(H, Aut(N )).

Dfinition 3.11 (Produit semi-direct (externe) de deux groupes).

Soit N et H deux groupes. Soit , un morphisme de H dans Aut(N ) : h 7 h . Le produit
semi-direct de N par H via le morphisme et not N o H est le groupe densemble
sous-jacent N H et de loi
(n, h).(n0 , h0 ) = (n h (n), hh0 ), ()
que lon gagnera mmoriser sous la forme :
(1, h).(n, 1).(1, h)1 = (h (n), 1). ()

20
Remarques.
1. Il faudrait vrifier que la loi ainsi dfinie est bien une loi de groupe. Commenons
par remarquer que llment neutre est (1N , 1H ), et que linverse de (n, h) est

h1 (n1 ), h1 .
Le calcul est facile, condition de se souvenir que h 1 = h1 , car Hom(H, Aut(N )).
Il reste voir que la loi est associative, cf. remarque suivante.
2. Si nest quune application de H dans S(N ), ce qui suffit aprs tout pour consti-
tuer une action de H sur N , on retrouve que la loi (*) fait de N o H un groupe si
et seulement si est en fait un morphisme de H valeurs dans Aut(N ). En effet, en
tudiant lassociativit de la loi dans N o H, on obtient :
0 0
00 00 0 00
0 0 (n00 , h00 ) = (n h (n0 ) hh0 (n
(n, h)(n , h ) ), hh0 h00 ) ,
(n, h) (n , h )(n , h ) = (n h (n h0 (n00 )), hh0 h00 ) .
do lon tire lgalit suivante, vraie pour tous n0 , n00 N , h, h0 H :
h (n0 )hh0 (n00 ) = h (n0 h0 (n00 ))
En posant h0 = 1H , on obtient lgalit suivante,
h (n0 ) h (n00 ) = h (n0 n00 ),
autrement dit, est bien valeur dans Aut(N ). Et, en posant n0 = 1N , on a :
h (h0 (n00 )) = hh0 (n00 ),
autrement dit, est bien un morphisme.
3. Le produit semi-direct interne ne fait intervenir que des automorphismes intrieurs
du groupe G, et la notation G = N o H nest pas ambige une fois que lon connat les
sous-groupes N et H. Par contre, le produit semi-direct externe de deux groupes N et
H est une construction partir dun morphisme Hom(H, Aut(N )) bien particulier
qui doit apparatre dans lcriture N o H. Il arrive quon lomette cependant lorsquon
considre quil ny a pas dambigut. Ce cas arrive par exemple lorsquon a dmontr que
pour ces deux groupes N et H, tous les morphismes non triviaux de Hom(H, Aut(N )) se
dduisent les uns des autres par la formule
(2 )h (n) = 1 (1 )(h) (n).
o Aut(N ) et Aut(H), comme nous allons le voir au paragraphe suivant. Dans
ce cas, N o H dsigne toujours un produit semi-direct non trivial (i.e. il est construit
partir dun morphisme non trivial). Mais attention, cette situation nest absolument pas
gnrale.
4. On voit par lgalit (**) que lautomorphisme h qui est ventuellement extrieur
dans Aut(N ) apparat comme un automorphisme intrieur dans N o H. On reviendra sur
ce point aprs avoir nonc la proposition 3.12 tablissant le lien entre les deux produits
semi-directs (interne et externe).

Proposition 3.12 (Rapport entre les deux notions de produit semi-direct).

Soient N et H deux groupes, un morphisme de H dans Aut(N ). Soit G = N o H.
Soient N = {(n, 1) ; n N } et H = {(1, h) ; h H} les images de H et N dans G.
Alors G est le produit semi-direct interne de N par H. Ainsi :

21
 (i) N / G, N H = {1G }, et N H = G ;
(ii) H agit sur N par conjugaison dans G ;
N o H N o H
(iii) on a un isomorphisme de groupes : .
(n, h) 7 n.h

Remarques. Le produit semi-direct externe est donc une construction rebours du

produit semi-direct interne par laquelle des automorphismes (ventuellement extrieurs)
deviennent intrieurs :
Si G est le produit semi-direct interne de N par H, alors H agit sur N via les
automorphismes intrieurs de G.
A linverse, prenons H et N deux groupes, et , un morphisme de H dans Aut(N ), le
produit semi-direct externe N oH rend tous ces automorphismes intrieurs, puisque
h concide avec Adh , la restriction dans N de la conjugaison par h dans N o H.
Ainsi, pour tout automorphisme dun groupe G, il existe un sur-groupe G0 conte-
nant G comme sous-groupe distingu tel que concide avec la restriction G dun
automorphisme intrieur.

Exemples.
Il existe un unique morphisme non trivial de Z/2Z dans Aut(Z/nZ), consistant
envoyer llment 1 de Z/2Z sur lunique involution de Z/nZ envoyant k sur k.
Le produit semi-direct Z/nZ o Z/2Z qui en rsulte est isomorphe au groupe didral
Dn .
Soit E~ un espace vectoriel et Aut(E) ~ le groupes des bijections de E ~ prservant
laddition. Considrons linclusion : GL(E) ~ Aut(E). ~ Elle permet de construire
le produit semi-direct externe :
~ o GL(E).
E ~ (1)
Maintenant, soit E un espace affine despace directeur E. ~ Soit GA(E) le groupe des
transformations affines de E, soit T (E) le sous-groupe des translations et GAO (E)
le sous-groupes des transformations affines fixant le point O. Soit enfin le morphisme
` : GA(E) GL(E), ~ f 7 f~, o f~ est la partie linaire de f . On a le produit
semi-direct interne :
GA(E) = T (E) o GAO (E). (2)
On peut le voir rapidement en remarquant que :
T (E) = Ker (`), donc T (E) / GA(E),


`(GA0 (E) r {Id E }) = GL( E ) r {Id E~ }, donc T (E) GAO (E) = {Id E },
GA0 (E)/T (E) = GL(E) ~ = GA0 (E).
Ces deux produits semi-directs (1) et (2), externe et interne respectivement, d-
crivent deux points de vue diffrent dune mme situation, et on a un isomorphisme
entre ces deux groupes qui prserve la structure de produit semi-direct (cf. para-
graphe 3.4). En effet, posons :
: E ~ GA(E), ~u 7 t~u , o t~u est la translation par ~u,
s : GL(E) ~ GA(E), f~ 7 fO (lapplication affine de partie linaire f~ fixant O).
: E ~ o GL(E)~ GA(E), (~u, f~) 7 (~u) s(f~) = t~u fO .

22
 On a alors le diagramme suivant, en affirmant que le sous-diagramme rduit aux
flches pleines est commutatif, tandis que s vrifie `s = Id . On verra au chapitre
7 que lexistence du morphisme s est intimement li au fait quon a un produit
semi-direct.
a _s ]
T (E) / GA(E) q ~
/ GL(E)
O incl. O ` O
=

~ / ~ ~ / ~
E can. E o GL(E) can. GL(E)

En conclusion, on a montr que :

GA(E) =E ~ o GL(E).
~
Le fait que prserve la structure de produit semi-direct (cf. paragraphe suivant)
vient du fait que (~u, f~) = (~u) s(~u).
Pour dautres exemples, cf. paragraphe 3.6.

3.4 Structures de produits semi-directs

Il est naturel de se demander si deux produits semi-directs externes munis de deux
actions diffrentes dfinissent le mme groupe isomorphismes prs. Cest une question
difficile, mais il existe un cas simple (il y en a dautres, comme on le verra au paragraphe
7.2) o lon sait rpondre : lorsquon peut passer dun premier produit semi-direct de
N par H un second par des automorphismes de N et de H (comme dans lexemple
ci-dessus entre GA(E) et E ~ o GL(E)).
~ Formalisons ce cas.

Dfinition 3.13 (Structure de produit semi-direct).

La structure de produit semi-direct dun produit semi-direct externe consiste en la donne :
(i) de deux groupes N et H,
(ii) dun morphisme Hom(N, Aut(N )),
que lon rsumera en disant : Soit N o H une structure de produit semi-direct externe.
La structure de produit semi-direct dun produit semi-direct interne consiste en la donne :
(i) dun groupe G,
(ii) dun sous-groupe H et dun sous-groupe distingu N tels que G = N o H,
(iii) de deux injections i : N G et s : H G,
i s
que lon rsumera en disant : Soit N G H une structure de produit semi-direct
interne. .
i s
Une structure de produit semi-direct N G H (respectivement N o H) est dite
triviale si :
G = i(N ) s(H)
(resp. si est le morphisme trivial).

Remarque. Les deux notions sont identiques, seul le point de vue change. Les injections
i et s incluses dans la donn du produit semi-direct interne sont les injections canoniques

23
 N G N G
i : et s : dans le produit semi-direct externe. Le
n 7 (n, 1H ) n 7 (1N , H)
morphisme inclus dans la donne du produit semi-direct externe est le morphisme
f s : H
Ad
Aut(N )
dans le produit semi-direct interne.
h 7 {n 7 i1 (hi(n)h1 )}

Dfinition 3.14 (Similitude de structures de produits semi-directs).

i s i0 s0
Soient deux structures de produit semi-direct interne N G H et N 0
G0 H 0 .
Ces deux structures seront dites semblables sil existe trois isomorphismes : N 0 N ,
: G0 G, : H 0 H, tels que

i0 = i ,
s0 = s ,
autrement dit tels que le diagramme ci-dessous commute.
Nu
i
Gu
s
w
Hu u

N0
i0
w G0 u s0
H0
Un tel isomorphisme sera appel une similitude de structures de produit semi-direct.

Remarque. La donn des morphismes et ou celle de sont quivalentes.

Lemme 3.15 (Actions de produits semi-directs de structures semblables).

Soient deux structures de produits semi-directs semblables comme sur le diagramme ci-
dessous.
Mu
i
M o K w s
Ku
u
u

N
i0
w N o H u s0
H
Alors pour tous n N , h H, on a :
h (n) = 1 (h) (n).
ce qui traduit simplement le fait que le diagramme suivant commute :
Ku

w Aut(M ) u

Ad

H

w Aut(N )
o Ad est le morphisme de Aut(N ) dans Aut(M ) qui envoie un automorphisme f sur
f 1 .

24
Dmonstration. Partons de lgalit () de la dfinition 3.11. Pour tout n N et tout
h H, on a :
(h) (n) = (1, (h)) (1, (n)) (1, (h))1
1
= (1, h) (1, n) (1, h)

= (1, h) (1, n) (1, h)1

= ( h (n), 1)
= h (n).

Proposition 3.16 (Premier critre de similitudes de structure de produit semi-direct).

Soient 1 , 2 Hom(H, Aut(N )) et Aut(H) tels que
2 = 1 .
Alors les structures de produit semi-direct N o1 H et N o2 H sont quivalentes (donc
les groupes rsultant sont isomorphes).

Dmonstration. Il suffit de poser = Id N , = Aut(H) et

N o2 H N o1 H
: ,
(n, h) 7 (n, (h))
et dappliquer la dfinition 3.14.

Exemples.
Les groupes non abliens du type R o R sont tous isomorphes (cf. paragraphe 3.6).
Ltude des groupes non abliens du type R2 o R (cf. paragraphe 3.6).
Les groupes G = Z/qZ Z/pZ o p et q sont premiers avec p divise q 1. Pour un
tel couple p, q, il nexiste quun seul produit semi-direct non trivial (cf. proposition
6.4).
Soit V4 = Z/2Z Z/2Z. Les groupes du type V4 o Z/3Z non abliens sont tous
isomorphes. De mme des groupes du type Z/3Z o V4 non abliens (cf. proposition
6.7).
Voir ltude des groupes dordre p3 (cf. proposition 6.9).

Proposition 3.17 (Deuxime critre de similitude de structure de produit semi-direct).

Soient 1 , 2 Hom(H, Aut(N )) et Aut(N ) tels que pour tout h H, on ait
2 h = 1 1 h .
Alors les produits semi-directs N o1 H et N o2 H sont quivalents (donc les groupes
rsultant sont isomorphes).

Dmonstration. Il suffit de poser = , = Id H Aut(H) et

N o2 H N o1 H
: ,
(n, h) 7 ((n), h)
et dappliquer la dfinition 3.14.

Exemples.

25
 Voir le lemme 3.19 ci-dessous propos de S3 o Z/2Z.
Voir ltude des groupes de la forme R2 o R au paragraphe
3.6.
Pour tout p, les groupes non abliens de la forme Z/pZ Z/pZ o Z/pZ sont tous
isomorphes cf. proposition 6.9.

Proposition 3.18 (Structure de produit direct parmi les structures de produits semi-di-
rects).
i s
Soit N G H une structure de produit semi-direct. Les assertions suivantes sont
quivalentes :
i s
(i) la structure de produit semi-direct N G H est triviale ;
(ii) [i(N ), s(H)] = 1G ;
i s can. can.
(iii) les structures N
G H et N N H H sont semblables.

Attention ! Deux produits semi-directs peuvent ne pas tre quivalents, alors quils d-
finissent deux groupes isomorphes. Voici un exemple.

Lemme 3.19 (Un exemple contre-intuitif).

Tout produit semi-direct non trivial S3 oZ/2Z est isomorphe au produit direct S3 Z/2Z !
Mais bien entendu, ces deux structures de produit (semi)-direct ne sont pas les semblables.

Dmonstration.
0o ) Tout dabord, on voit grce au deuxime critre squivalence quil nexiste quun
seul produit semi-direct non trivial S3 oZ/2Z, dcrit par un morphisme Z/2Z Aut(S3 )
envoyant 1 sur la conjugaison par une transposition de S3 . En effet, deux tels morphismes
1 = Ad1 et 2 = Ad2 sont conjugus au but par un automorphisme de S3 envoyant
la deuxime transposition 2 sur la premire 1 :
2 1 = Ad2 1 = Ad(2 ) = Ad1 = 1 .
1o ) Montrons le lemme. Soit G = S3 Z/2Z, soit N limage de S3 dans G et un
lment dordre 2 dans N . Soit H limage de Z/2Z dans G et j llment dordre 2 de H.
On a :
G = N H.
Considrons maintenant K, le sous-groupe de G engendr par j . Le sous-groupe K est
dordre 2, mais nest pas central, puisque lui-mme nest pas central alors que j lest.
Puisque N est distingu dans G et que N K = {1G }, on a :
G = N o K,
et ce produit semi-direct nest pas trivial.
2o ) Montrons que ces deux structures de produit (semi)-direct ne sont pas semblables.
Une similitude de structures de produit semi-direct enverrait (1, H) N H sur (1, K)
N o K, or (1, H) est un sous-groupe central, tandis que (1, K) nen est pas un !
3o ) Lisomorphisme : S3 Z/2Z S3 o Z/2Z est donn par :
(, 0) = (, 0) et (, 1) = (, 1),
o est un lment quelconque de S3 et est lunique transposition de S3 telle que les
conjugaisons par (1, 1) et par (, 0) dans S3 o Z/2Z concident.

26
Remarques.
1. On verra plus tard (cf. proposition 7.15) que ce lemme dcoule en fait simplement
du fait que tous les automorphismes de S3 sont intrieurs.
2. On verra plus tard (cf. proposition 7.22) une condition suffisante pour quau contraire,
deux produits semi-directs soient isomorphes seulement sils possdent la mme structure
quivalente.

3.5 Quelques groupes dautomorphismes lmentaires

Puisquidentifier un produit semi-direct N o H exige de connatre laction de H sur

N , donc son morphisme structurel de H dans Aut(N ), rappelons sans dmonstration
quelques rsultats classiques sur les groupes dautomorphismes les plus lmentaires.

Le groupe dautomorphismes Aut(Z/nZ). On a un premier isomorphisme Aut(Z/nZ) =

(Z/nZ) traduisant le fait que tout automorphisme de Z/nZ est la multiplication dans
Z/nZ par un inversible. Rappelons que lensemble des inversibles de Z/nZ est not
(Z/nZ) , contient (n) lments o est lindicatrice dEuler, et constitue un groupe
multiplicatif.
Le groupe dautomorphismes Aut(Z/pZ). Soit p un nombre premier. Comme le groupe
multiplicatif dun corps fini est cyclique et puisque (p) = p 1, on a Aut(Z/pZ) =
(Z/pZ) = Z/(p 1)Z. Soit a un gnrateur de (Z/pZ)
(on en compte (p 1)). Liso-
morphisme Z/(p 1)Z (Z/nZ) nest pas canonique : il dpend de a et peut tre vu
comme une fonction exponentielle de base a. Voici un exemple avec (Z/11Z) et 2 pour
choix de gnrateur :
exp
Z/10Z 2 (Z/11Z)
0 7 1
1 7 2
2 7 4
3 7 8
4 7 5
5 7 1 = 10
6 7 2 = 9
7 7 4 = 7
8 7 8 = 3
9 7 5 = 6
et on vrifie par exemple que :
10 = exp2 (5) = exp2 (2 + 3) = exp2 (2) exp2 (3) = 4 8.

Le groupe dautomorphisme Aut(G H). Lorsque G et H sont deux groupes dordres

premiers entre eux, on a
Aut(G H)
= Aut(G) Aut(H),

27
car un automorphisme doit envoyer un lment sur un lment de mme ordre. Lorsque
G = Z/pZ et H = Z/qZ avec p et q deux nombres premiers distincts, on utilise conjoin-
tement ceci lisomorphisme provenant du lemme chinois :

Z/pZ Z/qZ Z/pqZ
(a, b) qa + pb
1 1
(q m , p m) m
1 1
o q est linverse de q dans Z/pZ, p est linverse de p dans Z/qZ, et les entiers sont
vus modulo k quand ils sont dans Z/kZ.

Voici un exemple :
Le groupe dautomorphismes de Z/133Z. Remarquons que 133 = 19 7. Par ce qui
prcde, on a
Aut(Z/133Z) = Aut(Z/7Z) Aut(Z/19Z)
= (Z/7Z) (Z/19Z)
= Z/6Z Z/18Z
Explicitons ces isomorphismes.

Z/7Z Z/19Z Z/133Z
(a, b) 19a + 7b
(3m , 11m) m
car 3 = 191 dans (Z/7Z) , et 11 = 71 dans (Z/19Z) . Ainsi, (3, 11) 7 1.
Pour expliciter un isomorphisme de Z/6ZZ/18Z dans (Z/7Z) (Z/19Z) , il faut trouver
un gnrateur de (Z/7Z) , par exemple 3, et un gnrateur de (Z/19Z) , par exemple 2.
Alors lisomorphisme est le suivant :
Z/6Z Z/18Z (Z/7Z) (Z/19Z) . . .
(k, `) 7 ( 3k , 2` ) 7 . . .
. . . Aut(Z/7Z) Aut(Z/19Z) Aut(Z/133Z)
k ` 19a + 7b 7 19 3k a + 7 2` b
. . . 7 {(a, b) 7 (3 a, 2 b)} 7
m 7 (57 3k + 77 2` )m

Autres groupes dautomorphismes connus. Soit p un nombre premier15 .

Aut((Z/pZ)n ) = GL(n, Fp ),
Aut(V4 ) = GL(2, F2 ) = S3 ,
Aut(S3 ) = Int(S3 ) = S3 .
n
Lgalit Aut((Z/pZ) ) = GL(n, Fp ) vient de ce que tout morphisme dun tel groupe est
ncessairement Fp -linaire (puisque litration de laddition doit tre prserve). Lisomor-
phisme Aut(V4 ) = S3 vient de ce que Aut(V4 ) agit sur les trois lments non triviaux
de V4 , et le morphisme structurel Aut(V4 ) S3 qui en rsulte est un isomorphisme.
Enfin, montrons lisomorphisme Aut(S3 ) = Int(S3 ). Soit Aut(S3 ). Alors envoie
les transpositions sur des lments dordre deux, donc des transpositions, et envoie deux
transpositions distinctes sur deux transpositions distinctes. Il existe un automorphisme
intrieur ayant la mme action que sur les transpositions. Donc la compose 1
15
Les symboles Z/pZ et Fp dsignes les mmes ensembles, mais on rserve le symbole Z/pZ lorsquon
considre le groupe, et Fp lorsquon considre le corps.

28
fixe chaque transposition. Puisque ces dernires engendrent S3 , lautomorphisme 1
est trivial, donc est intrieur.

3.6 Exemples de produits semi-directs externes

Les deux premiers exemples que nous donnons chappent au cadre des groupes finis,
mais la proximit des rsultats avec la situation de certains groupes finis valait dtre
prsente. Dans les deux cas, la fonction exponentielle joue un rle important. 16

1o ) Le produit semi-direct R o R.
R Aut(R)
Soit : un morphisme continu17 . Cela impose que
t 7 {t : x 7 t (x) = f (t)x}
f soit continue et que :

f (t + s) = f (t)f (s),
()
f (0) = 1.
On montre alors quil existe R tel que f (t) = exp(t) pour tout t R. On a alors
dans G = R o R :
(x, t) + (x0 , t0 ) = (x + et x0 , t + t0 ).
Or tant donnes deux actions non triviales de R dans Aut(R) dcrites par et , soit
: R R, t 7 t. Alors il est clair que = . Autrement dit, il existe un unique
groupe isomorphisme prs, provenant du produit semi-direct non trivial R o R.

2o ) Les produits semi-directs R2 o R.

R Aut(R2 )
Soit : un morphisme, o X = xy est un
t 7 {t : X 7 t (X) = F (t)X}
vecteur de R2 , t appartient Aut(R2 ) et est dcrit par F (t), une matrice de GL(2, R).
Cela impose que :

F (t + s) = F (t)F (s),
()
F (0) = Id .
On distingu alors trois cas, selon que F (1) est diagonalisable valeurs propres relles,
non diagonalisable avec deux valeurs propres relles identiques, ou deux valeurs propres
complexes conjugues.
Examinons le cas o F (1)
est diagonalisable valeurs propres relles. Puisque R est
ablien, les matrices F (t) tR sont codiagonalisables. Il existe donc P GL(2, R) et
0 1
deux fonctions de R dans R f et g telles que F (t) = P f (t)
0 g(t) P . Les groupes obtenus
16
Lun des produits semi-directs R2 o R modle lespace SOL, qui est lun des huit modles go-
mtriques de Thurston, correspondants aux huit gomtries possibles des varits de dimension 3 (grand
thorme de gomtrisation des varits de dimension 3, d Grigori Perelman, apportant enfin une
rponse affirmative la conjecture de Poincar).
17
Du pur point de vue de la thorie des groupes R est mal dfini. Il faut ajouter de la topologie et il
est naturel alors dexiger des morphismes considrs quils respectent cette structure addtitionnelle. Si
on prfre rester dans la pure thorie des groupes, on peut considrer les produits semi-directs Q o Q, ce
qui reviendra au mme.

29
par les actions t 7 F (t) et t 7 P 1 F (t)P sont isomorphes daprs la proposition 3.17,
donc on peut supposer que F (t) est diagonale pour tout t. Les fonctions f et g jouant
les rles de coefficients diagonaux vrifient alors les conditions () dcrites au 1o ) , et
sexpriment donc comme des exponentielles : il existe deux rels et tels que pour tout
(x, y, t), (x0 , y 0 , t0 ) R2 o R :
(x, y, t) + (x0 , y 0 , t0 ) = (x + et x0 , y + et y 0 , t + t0 ).
Deux groupes provenant de deux tels produits semi-directs caractriss par (, ) pour
lun, et (0 , 0 ) pour lautre, sont isomorphes sil existe r R tel que (0 , 0 ) = (r, r).
Par ailleurs, une conjugaison permet de ramener (, ) sur (, ). On peut alors rduire
ltude trois cas :
(a) = = 0 : G = R3 ;
(b) = 1 et = 0 : G = (R o R) o R ;
(c) = 1 et R : contrairement aux cas prcdents, le centre du groupe est rduit
{(0, 0, 0)}.
Arriv ce stade, il est difficile de montrer que pour diffrentes valeurs de dans le cas c,
on obtient diffrentes classes disomorphie. Une technique envisageable serait de montrer
que partant dun tel groupe, on peut retrouver la structure de produit semi-direct, et en
dduire que deux tels groupes sont isomorphes seulement sils ont la mme structure de
produit semi-direct. or ils nont pas la mme.

3o ) Le produit semi-direct Z/qZ o Z/pZ.

Soient p et q deux nombres premiers tels que p divise q 1. Par exemple q = 11 et p = 5.
Suivons le diagramme 1.

Z/5Z
hhhh
b

w Z/10Z
hh e

hh exp
u
2
hh
h
j
h

(Z/11Z)

 [ [
[[=
[^
Aut(Z/11Z)
Diagramme 1

Le morphisme b est caractris par 2Z/10Z. On le notera b de sorte que

b (k) = k.

Puis
e (k) = exp2 (k) et enfin : (k) est le morphisme ` 7 exp2 (k)`. Ainsi, pour tous
couples (x, y), (x0 , y 0 ) Z/11Z o Z/5Z, on a :
(x, y) + (x0 , y 0 ) = (x + ey x0 , y + y 0 ).
On pourrait galement crire :
(x, y) + (x0 , y 0 ) = (x + k y x0 , y + y 0 ).
o k = exp est un lment de (Z/11Z) dordre 5. Remarquons que pour deux lments
, 2Z/10Z, on a b = b o est la multiplication dans Z/10Z par llment 1

30
de Z/10Z. Donc ces structures de produit semi-direct sont semblables et tous ces produits
semi-directs sont isomorphes.

4o ) Les produits semi-directs Z/133Z o Z/3Z (avec 133 = 19 7).

Choisissons lexponentielle de base 2 comme isomorphisme Z/18Z (Z/19Z) , de sorte
que si k {0, 6, 12} dans Z/18Z, on ait exp2 (k) {1, 7, 11} dans (Z/19Z) . Choisissons
lexponentielle de base 3 comme isomorphisme Z/6Z (Z/7Z) , de sorte que si k
{0, 2, 4} dans Z/6Z, on ait exp2 (k) {1, 2, 4} dans (Z/7Z) . Suivons le diagramme 2.
Soient {0, 6, 12} Z/18Z et {0, 2, 4} Z/6Z.
Soit b, : Z/3Z Z/18Z Z/6Z, 1 7 (, ).
Soient (t) = exp2 (t) et M(t) = exp3 (t).
Soit e, : Z/3Z (Z/19Z) (Z/7Z) , t 7 ((t), M (t)).
Soit , : Z/3Z Aut(Z/19Z) Aut(Z/7Z), t 7 {(x, y) 7 ((t)x, M (t)y)}.
Soit m(t) = 77(t) + 57M (t).
Soit m : Z/3Z Aut(Z/133Z), t 7 {z 7 m(t)z}.

Z/3Z
t [[
b,

w Z/18Z Z/6Z
(t, t)
[[ [[
[[
[[
[[
[
e,

[[
[[ exp2
[[ [ [[
[[
[[ u
[[
[]
[
, (Z/19Z) (Z/7Z)
exp2 (t), exp3 (t)
m
[[ | {z } | {z }
[[
(t) M (t)

AA
[] AAA=
u AD
Aut(Z/133Z)
{z 7 m(t)z}
u
Aut(Z/19Z) Aut(Z/7Z)
{(x, y) 7 ((t)x, M (t)y)}
Diagramme 2

Les valeurs de m(t) sont donnes dans le tableau 1.

t 0 2 4
M (t) 1 2 4
t (t)
0 1 1 58 39
6 7 64 121 102
12 11 106 30 11
Tableau 1 Valeur de m(t) en fonction de , et t.

Pour tous triplets (x, y, t), (x0 , y 0 , t0 ) dans (Z/19Z Z/7Z) o Z/3Z, on a :
(x, y, t) +, (x0 , y 0 ) = (x + exp2 (t)x0 , y + exp3 (t)y 0 , t + t0 ) ( )

31
et pour tous couples (z, t), (z 0 , t0 ) dans (Z/133Z) o Z/3Z, on a :
(z, t) +m (z 0 , t0 ) = (z + m(t)z 0 , t + t0 ).
Considrons b, . Soit Aut(Z/3Z) la multiplication par 1. Alors b2,2 =
b, ,
donc daprs le premier critre disomorphie des groupes obtenus par produits semi-directs,
les couples (, ) et (2, 2) induisent deux structures de produit semi-direct sembalbles.
Soit G le groupe Z/133Z o,
Z/3Z. On a au plus cinq classes disomorphie possible pour
le groupe G en fonction de et :
(a) si (, ) = (0, 0), alors G = Z/399Z,

(b) si (, ) = (0, 2), alors G = Z/7Z o Z/3Z Z/19Z,
(c) si (, ) = (6, 0), alors G = Z/19Z o Z/3Z Z/7Z,
(d) si (, ) = (6, 2), alors G = Z/133Z o Z/3Z o (1) = {z 7 11z},
(e) si (, ) = (12, 2), alors G = Z/133Z o Z/3Z o (1) = {z 7 30z}.
Le cas (a) est le seul o G est ablien. Le cas (b) est le seul o tous les lments dordre 19
sont centraux, mais certains lments dordre 7 ne le sont pas. Dans le cas (c), la situation
est inverse. Dans les cas (d) et (e) il existe la fois des lments dordre 7 et 19 qui ne
soient pas centraux. On montrera au paragraphe 7.4 que les cas (d) et (e) mnent deux
classes disomorphie de G distinctes.

4 Thormes de Sylow

Dans ce paragraphe, on va tenter de retrouver pour les groupes finis ce quon a tabli
pour les groupes abliens finis (thorme de Cauchy, thormes de Sylow, existence de
sous-groupes particuliers).

4.1 Les trois thormes

Proposition 4.1 (Thorme de Cauchy).

Soient G un groupe dordre n et p un nombre premier qui divise n. Alors, il existe un
lment dans G dordre p.

Dmonstration. On donne deux mthodes, toutes deux utilisant lquation aux classes.

Premire mthode, en utilisant une action astucieuse de Z/pZ : preuve directe.

Soit F le sous-ensemble de lensemble E des fonction de Z/pZ dans G suivant :
Q
F = {f E | f (k) = 1G }.
kZ/pZ
p1
Remarquons que |F | = |G| . On fait agir Z/pZ sur F en posant k.f (`) = f (` + k) pour
tous f F , et k, ` Z/pZ. Remarquons que f est un point fixe sous laction de Z/pZ si
et seulement si f est constante et prend pour valeur un lment de G dont la puissance p-
me vaut 1G . Soit f0 la fonction constante sur 1G . Sil existe une autre fonction constante
dans F que f0 , on aura trouv un lment dordre p dans G, prcisment la valeur que

32
prend cette fonction. Lorsque f nest pas constante, lorbite de f contient p lments.
Considrons lquation aux classes sous laction de Z/pZ :
P
|F | = |F G | + |OrbZ/pZ (f )|,
f F 00
00 G
o F est une transversale de F r F . On vient de voir que p divisait |F | et divisait
|Orb(f )| pour toute f non constante, donc en particulier pour toute f dans F 00 . Ainsi
p doit diviser |F G |. Or cet ensemble nest pas vide puisquil contient f0 . Il doit donc
contenir au moins p fonctions constantes, donc f0 nest pas la seule fonction constante.

Deuxime mthode, en utilisant laction par conjugaison de G sur lui-mme : preuve
par rcurrence, en utilisant le thorme de Cauchy dans le cas ablien.
On raisonne par rcurrence sur k = |G| p
. Le rsultat est vrai pour |G| = p. Soit G un
groupe dordre kp avec k > 2. On suppose le rsultat vrai pour tout groupe dordre `p
avec ` < k. Partons de lquation aux classes associe laction de G par conjugaison sur
lui-mme :
P |G|
|G| = |ZG | + |StabG (g)|
, (1)
gG00
o G est une transversale de G r ZG . Ceci tant, deux cas de figure se prsentent.
Premier cas de figure . Si pour tout g G00 , p ne divise pas StabG (g), alors p divise
|G| P |G|
|StabG (g)|
, donc p divise |StabG (g)|
. Or p divise aussi |G|, donc daprs (1), p doit
gG00
diviser le centre ZG . Le thorme de Cauchy ablien appliqu au centre permet de
conclure.
Deuxime cas de figure . Sil existe g G00 tel que p divise |StabG (g)|. Par ailleurs,
on a |StabG (g)| < |G| puisque g, appartenant G00 , nest pas central. On peut donc
appliquer lhypothse de rcurrence StabG (g). Cela achve la preuve.

Passons aux thormes de Sylow.

Thorme 4.2 (Premier thorme de Sylow, 1872).

Soit G un groupe dordre p m o p est premier et ne divise pas m. Alors il existe un
sous-groupe de G dordre p .

Dmonstration par laction de G par conjugaison sur lui-mme.

La dmonstration commence comme la deuxime que nous avons propos pour le thorme
de Cauchy. On raisonne par rcurrence sur k = |G| p
. Le rsultat est vrai pour |G| = p. Soit

G un groupe dordre p m avec m p = 1 et p m > p. On suppose le rsultat vrai pour
tout groupe dordre strictement infrieur |G|. Partons de lquation aux classes associe
laction de G par conjugaison sur lui-mme :
P |G|
|G| = |ZG | + |StabG (g)|
,
gG00
o G est une transversale de G r ZG . Ceci tant, deux cas de figure se prsentent.
Premier cas de figure. Sil existe g G00 tel que p divise StabG (g), alors daprs
lhypothse de rcurrence, StabG (g) contient p-Sylow, qui sera galement un p-Sylow
de G.

33
 Deuxime cas de figure. Si pour tout g G00 , p ne divise pas |StabG (g)|, alors p divise
P |G|
|StabG (g)|
et donc p divise |ZG |. Prenons H un sous-groupe cyclique dordre p
gG00
inclus dans |ZG | (possible car H est ablien). On applique lhypothse de rcurrence
au groupe G/H (H est central donc distingu). Soit K un p-Sylow de G/H, donc
dordre p1 . Soit : G G/H le morphisme de passage au quotient et soit
K = 1 (K). Alors K est dordre p .

Dans la dmonstration, au lieu de chercher les groupes dordre p , on aurait pu chercher

les groupes dordre p , 1 6 6 et montrer ainsi :

Proposition 4.3 (Premier thorme de Sylow tendu).

Soit G un groupe dordre p m o p est premier et m est quelconque (ventuellement
multiple de p). Alors il existe un sous-groupe de G dordre p .

Thorme 4.4 (Deuxime thorme de Sylow, 1872).

(i) Tout p-sous-groupe est inclus dans un p-Sylow.
(ii) Les p-Sylow sont conjugus.

Dmonstration. La partie (ii) dcoule de (i). Prouvons la partie (i). Soit H un p-groupe
dans G et S un p-Sylow de G. On va montrer quil existe g G tel que gHg 1 S. On va
utiliser (EC3), en faisant agir H par multiplication gauche sur lensemble E = G/S =
{gS, g G}. On a
|E| |E H | mod p,
mais |E| = |G/S| est premier avec p, puisque S est un p-Sylow. Donc il existe g0 G tel
que g0 S E H , autrement dit tel que pour tout h, hg0 S = g0 S. Donc hg0 g0 S pour tout
h H, donc H g0 Sg01 .

En radaptant la preuve de ce dernier thorme, on peut trouver une preuve lgante

des deux premiers thormes de Sylow la fois, partir de la proposition suivante.

Proposition 4.5 (p-Sylow des sous-groupes).

Soit G un groupe, S un p-Sylow de G et H un sous-groupe de G. Alors, il existe g G
tel que gSg 1 H soit un p-Sylow de H.

Dmonstration. Reprenons la preuve du thorme 4.4. Soit S un p-Sylow de G et E

lensemble quotient G/S. A nouveau, on fait oprer H par multiplication gauche sur les
classes de E. Soit E 0 une section de E sous laction de H. La partition en orbites donne :
P P |H|
|E| = |OrbH (gS)| = |gSg 1 H|
.
gG0 gSE 0
P |H|
Si gSg 1 H nest jamais un p-Sylow de H, alors p divise |gSg 1 H|
, donc p divise
gS(G/H)0
G/S. Mais ceci contredit le fait que S est un p-Sylow de G.

Dmonstrations alternatives des premiers thormes de Sylow.

34
 Preuve du premier thorme de Sylow : existence des p-Sylow.
Soit G un groupe et p un diviseur de |G| = n. On plonge dabord G dans Sn (par
Cayley), puis on plonge Sn dans GLn (Fp ) de la manire classique, savoir que
Sn senvoie sur lendomorphisme u dfini dans la base canonique par u (ei) = e(i) .
Finalement, on a ralis G comme un sous-groupe de (GLn (Fp ), ). Or GLn (Fp ) est dordre
(pn 1)(pn p)(pn p2 ) . . . (pn pn1 ), et Tn,p , le sous-groupe des matrices triangulaires
suprieures coefficients diagonaux gaux 1, est dordre pp2 pn1 . Donc Tn,p est
un p-Sylow de GLn (Fp ). Donc daprs la proposition 4.5, G possde lui aussi un p-Sylow.

Preuve du deuxime thorme de Sylow : Tout p-sous-groupe est inclus dans un p-
Sylow, lesquels sont tous conjugus.
Si H est un p-sous-groupe et S un p-Sylow de G, il existe g G tel que gSg 1 H soit
un p-Sylow de H. Mais comme H est un p-groupe, on a gSg 1 H = H, donc H est
inclus dans gSg 1 qui est un Sylow. Si de plus H est lui-mme un p-Sylow de G, on a
exactement H = gSg 1 .

Thorme 4.6 (Troisime thorme de Sylow, 1872).

Soit G un groupe dordre p m avec > 1 et m p = 1. Soit np le nombre de p-Sylow.
(i) np | m.
(ii) np | 1 mod p.

Dmonstration.
(i) Soit S un p-Sylow de G et Sy`p (G) lensemble des p-Sylow de G. Daprs le point
(ii) du thorme 4.6, laction de G par conjugaison sur Sy`p (G) est transitive, donc
|G|
Sy`p (G) = OrbG (S). Or StabG (S) = NormG (S), donc |Sy`p (G)| = |Norm G (S)|
. Or |S|
|G|
divise |NormG (S)| (Lagrange), donc |Sy`p (G)| divise |S|
qui est gal m.
(ii) On va utiliser (EC3), en faisant agir un p-Sylow S par conjugaison sur E = Sy`p (G)
et obtenir |E| |E S | mod p. Il reste montrer que |E S | = 1. Pour tout p-Sylow T
appartenant E S , on a sT s1 = T pour tout s S. Donc S est inclus dans NormG (T ).
Dans le groupe NormG (T ), S et T sont conjugus daprs le thorme 4.4, mais par
dfinition de NormG (T ), T est distingu dans NormG (T ). Donc T = S. Donc E S = {S}.

Remarque. Considrons laction de G par conjugaison sur Sy`p (G). Soit S Sy`p (G).
On notera que :
laction est transitive : OrbG (S) = Sy`p (G),
StabG (S) = NormG (S),
le seul p-Sylow de NormG (S) est S.

4.2 Premires applications

Exemples thoriques dutilisation des thormes de Sylow.

35
 1. Prouver quun groupe nest pas simple (en dmontrant quun p-Sylow est distingu
grce au troisime thorme de Sylow).
2. Compter le nombre de sous-groupes dun ordre donn (en particulier le nombre de
p-Sylow). Sil ny en a quun, il est caractristique.
3. Montrer quun groupe est un produit semi-direct en exhibant un complment (g-
nralement un p-Sylow) dun sous-groupe distingu.
4. Montrer que des sous-groupes, ou simplement des lments dun certain ordre, sont
conjugus.
5. Prouver quil existe ou non des lments dun certain ordre.
6. Amorcer la classification des groupes finis et dans certains, pouvoir conclure. Les
thormes de Sylow et une bonne connaissance des produits semi-directs permettent
de classer assez facilement de nombreux groupes (i.e. de dterminer le nombre de
classes disomorphie en fonction de lordre).

Nous allons illustrer cela dans les exemples ci-dessous. Les numros se correspondent.

Exemples pratiques dutilisation des thormes de Sylow.

1.a. Les groupes dordre 63 et 255 ne sont pas simples. En effet :
le 7-Sylow dun groupe dordre 63 est distingu, car n7 |9 et n7 1 mod 7 ;
le 17-Sylow dun groupe dordre 255 est distingu, car n17 |15 et n17 1 mod 17.
1.b. Les groupes dordre 56 ne sont pas simples. Il sagit dun cas plus subtil que
les prcdents, car on na pas directement n7 = 1 ou n2 = 1. Cependant, on peut
montrer que n7 6= 1 et n2 6= 1 sont contradictoires. Ainsi, si n7 6= 1, alors n7 = 8. Les
lments de ces huit 7-Sylow sont deux deux distincts sinon deux de ces 7-Sylow
seraient confondus. On compte donc 48 lments dordre 7. Or 56 48 = 8, donc il
ny a alors quun seul 8-Sylow, qui est donc distingu.
2. Soient G et G0 deux groupes dordre 63, et N et N 0 leurs 7-Sylow respectifs. Alors
tout isomorphisme de G dans G0 envoie N sur un sous-groupe dordre 7, donc
un 7-Sylow, donc N 0 puisque G0 ne possde quun seul 7-Sylow, comme on la vu
prcdemment pour tout groupe dordre 63. La classification des groupes dordre
399 par exemple utilise un tel argument (cf. proposition 6.11).
3. Soit G un groupe dordre 63. Alors cest un produit semi-direct. En effet, soit N un
7-Sylow. On a vu que N tait distingu. Par le premier thorme de Sylow, il existe
un 3-Sylow H. Ce 3-Sylow est ncessairement un complment de N , car N H = {1}
en raison du thorme de Lagrange et N H = G pour une raison de cardinal.
4. Soit A et B deux matrices de GL(2, Fp ) dordre p. Alors A est conjugue une
puissance de B. En effet, GL(2, Fp ) contient (p2 1)(p2 p) lments, donc les
p-Sylow contiennent p lments et sont donc monognes. Puisquils sont conjugus,
le rsultat sen dduit.
5. Sans rien connatre du groupe Z/7Zo(Z/3Z)2 , nous pouvons dduire des thormes
de Sylow quil ne contient pas dlments dordre 9 (cf. 18 ). En effet, le groupe
18
Attention : un tel groupe pourrait fort bien a priori contenir des lments dordre 9 et dordre 7, sans
en contenir dordre 63, comme cest le cas par exemple de Z/7Z o Z/9Z.

36
 Z/7Z o (Z/3Z)2 contient une copie de (Z/3Z)2 qui est un 3-Sylow. Or tous les 3-
Sylow sont conjugus, donc Z/7Z o (Z/3Z)2 ne peut pas contenir de copie de Z/9Z
qui serait un 2-Sylow non conjugu (Z/3Z)2 .
6. Soit G un sous-groupe dordre 63. Nous avons vu quil tait un produit semi-direct
de N dordre 7 par H dordre 9. Deux cas sont considrer, selon que H = Z/9Z ou
H = (Z/3Z)2 . Traitons le cas (Z/3Z)2 (le cas Z/9Z se traite de la mme manire).
Il faut dterminer laction : H Aut(N ). Ces morphismes peuvent tre reprs
par des formes linaires de F3 2 . Les formes linaires non nulles peuvent tre obtenues
les unes des autres par multiplication par un lment de Aut(H) = GL(2, F3 ),
donc les structures de produit semi-direct associes sont semblables. Les groupes G
obtenus par ce produit semi-direct sont isomorphes (Z/7Z o Z/3Z) Z/3Z (o
laction nest pas triviale).
En traitant le cas H = Z/9Z, on aurait galement trouv un groupe non ablien
Z/7Z o Z/9Z. Ces deux groupes sont-ils les mmes ? Non, car Z/7Z o Z/9Z contient
un lment dordre 9, tandis que (Z/7ZoZ/3Z)Z/3Z nen contient pas, comme on
la vu prcdemment. Ainsi il existe quatre classes disomorphie de groupes dordre
63 :
Z/63Z,
Z/3Z Z/21Z,
Z/7Z o Z/9Z,
(Z/7Z o Z/3Z) Z/3Z.

Voici deux exemples supplmentaires o les thormes de Sylow peuvent aider la

classification des groupes.

Lemme 4.7 (Groupe ayant un unique p-Sylow et un unique q-Sylow).

Si un groupe fini G possde un unique p-Sylow P et un unique q-Sylow Q o p et q sont
deux entiers premiers quelconques, alors
(i) P et Q sont en somme directe dans G,
(ii) tout lment de G dont lordre est du type p q est dans P Q.
(iii) P Q est le seul sous-groupe de G dordre |P ||Q|, en particulier, P Q est
caractristique (donc distingu),

Dmonstration.
(i) Puisque P est distingu dans G, P Q est un groupe et P est distingu dans P Q.
De mme, Q est distingu dans P Q. Comme en plus P Q = {1G } (car leurs ordres sont
premiers entre eux), il vient que P Q est un produit semi-direct, et mme direct puisque
P et Q sont tous les deux distingus.

(ii) Soit x dans G dordre p q . Alors llment y = xp appartient Q. De mme

llment z = xq appartient P . Or il existe deux entiers u et v tels que up + vq = 1,
donc x appartient hy, zi, donc x P Q.
(iii) Soit H un sous-groupe dordre |P ||Q|. Alors tous ses lments vrifient les hypo-
thses du (ii), donc appartiennent P Q. Finalement, H = P Q.

37
 Un cas particulier assez frquent, puisquil concerne tous les groupes nilpotents19 .

Proposition 4.8 (Groupe nayant quun seul p-Sylow pour tout p).
Si un groupe fini G possde un seul p-Sylow pour tout diviseur premier p de |G|, alors G
est produit direct de ses p-Sylow.

Dmonstration. Soit S1 , . . . , Sr les p-Sylow de G. Soit K = S2 S3 . . . Sr . Alors les deux

sous-groupes S1 et K sont distingus dans G. De plus, S1 K = {1G } cause du thorme
de Lagrange. Enfin, pour des raison de cardinal, S1 K = G. Donc G est un produit semi-
direct de S1 par K, donc un produit direct puisque K aussi est distingu dans G. En
appliquant nouveau ce fait K, on montre ainsi que G est produit direct de ses p-Sylow.

Remarque. Puisquil existe des p-groupes de tous ordres divisant |G|, daprs la propo-
sition 4.3, on obtient la rciproque du thorme de Lagrange pour ce type de groupes (cf.
proposition 5.15).

5 Groupes nilpotents et p-groupes

Les thormes de Sylow proposent dtudier les groupes en examinant leurs p-sous-
groupes maximaux. Cela motive ltude des p-groupes. Cependant, bien quils jouent
un rle essentiel dans la classification des groupes, nous arrterons notre classification
lordre 15 (justement frein par ltude des groupes dordre 16) et les rsultats prsents
sont donc indpendants de la suite, en dehors de la proposition 5.4 selon laquelle tout
groupe dordre p ou p2 est ablien.
Le premier rflexe avoir est de se demander si cette tude des p-groupe est ncessaire,
autrement dit sil existe vraiment des p-groupes non abliens. Malheureusement, oui ! Voici
deux exemples.

Dfinition 5.1 (Le groupe quaternionique20 H8 ).

Le groupe qui admet la prsentation
h a, b | a2 = b2 = (ab)2 , a4 = 1 i
est appel le groupe quaternionique et est souvent not H8 . Cest un groupe dordre 8
dont les lments sont traditionnellement nots 1, i, j, k, de sorte que ij = k,
i2 = j 2 = k 2 = 1, et (1)2 = 1. Ce groupe nest pas commutatif, puisque ij = ji. En
effet, ijij = k 2 = 1, donc i2 jij 2 = ij, donc ji = ij.

19
Cf dfinition 5.8 et thorme 5.14.
20
dcouvert par Hamilton en 1843. Une plaque commmorative Dublin raconte quil grava lui-mme
sur un pont sa dcouverte : i2 = j 2 = k 2 = ijk = 1.

38
Dfinition 5.2 (Le groupe Tn,p ).
Pour tout p premier, soit Tn,p le groupe multiplicatif des matrices triangulaires suprieures
coefficients dans Fp et coefficients diagonaux gaux 1. Aucun de ces groupes nest
commutatif, ds que n > 3. Par exemple considrons le groupe
1 x y
T3,p = 0 1 z GL(3, Fp ), x, y, z Fp .
0 0 1

1 1 0 1 1 0 1 1 1 1 1 0
Alors en posant a = 0 1 0 et b = 0 1 0 , on a ab = 0 1 1 , tandis que ba = 0 1 1 .
0 0 1 0 0 1 0 0 1 0 0 1
Attention, ce groupe est isomorphe Z/4Z o Z/2Z lorsque p = 2, et (Z/pZ)2 o Z/pZ
lorsque p > 3.

Ds que lon entre dans le monde des groupes non-commutatifs, les actions de groupes
sont des outils trs efficaces. Rappelons que pour toute action dun p-groupe sur un
ensemble, lquation aux classes implique :
|E| |E G | (mod p). (EC3)

5.1 Sous-groupes distingus dans les p-groupes

Le premier sous-groupe distingu auquel on sintresse est le centre.

Proposition 5.3 (Thorme de Burnside). Le centre dun p-groupe non trivial nest ja-
mais trivial.

Dmonstration. Cest un corollaire de lquation aux classes applique laction de G

sur lui-mme par conjugaison. Les points fixes de G par cette action sont les lments du
centre ZG de G, donc on a daprs (EC3) :
|G| |ZG | (mod p).
Or ZG nest pas vide (puisque 1G y appartient), donc ZG est de cardinal au moins p.

Au passage, on dduit de cette dernire proposition que les p-groupes sont nilpotents,
cf. paragraphe 5.2. On dduit galement la proposition suivante :

Proposition 5.4 (Petits p-groupes).

Tout p-groupe dordre p ou p2 est ablien.

Dmonstration. Soit G un groupe dordre p. Daprs le thorme de Lagrange, il existe

un lment dordre p, donc G est cyclique.
Considrons maintenant le cas dun groupe G dordre p2 . Daprs la proposition 5.3,
le centre dun p-groupe de cardinal p2 nest pas trivial. Il est donc de cardinal p ou p2 .
Sil est de cardinal p, soit x un lment dans G r ZG . Alors le stabilisateur StabG (x)
sous laction de G par conjugaison sur lui-mme contient au moins x et ZG , et est donc
de cardinal au moins p + 1. Comme StabG (x) est un sous-groupe de G, p doit diviser
StabG (x), donc StabG (x) est de cardinal p2 , donc StabG (x) = G, donc x est central.

39
Cest une contradiction. Donc le centre de G est de cardinal p2 , donc G est ablien.

Remarque. Dans cette dmonstration, aprs avoir utilis le thorme de Burnside, on

aurait aussi bien pu conclure en utilisant le lemme 6.1 (cf. chapitre suivant) selon lequel
si le quotient dun groupe par son centre est monogne, alors ce groupes ablien.

Proposition 5.5 (Rciproque du thorme de Lagrange pour les p-groupes).

Soit G un groupe dordre p . Pour tout 6 , G contient un sous-groupe distingu dordre
p .

Dmonstration. Par rcurrence sur . Lorsque = 0, le rsultat est trivial. Soit > 1.
On suppose que le rsultat est vrai pour tout entier strictement infrieur . Soit G un
groupe dordre p . Soit < . Cherchons un sous-groupe distingu H de G dordre p .
Obtention dun sous-groupe central dordre p. Le centre de G est un p-groupe ablien
non trivial daprs la proposition 5.3, donc (thorme de Cauchy ablien) il contient
un lment dordre p. Notons W le sous-groupe de G engendr par cet lment.
Obtention dun sous-groupe dordre p . Puisque W est central, il est distingu et le
quotient G/W est un p-groupe de cardinal p1 . On peut lui appliquer lhypothse
de rcurrence. Il existe un sous-groupe distingu H de G/W dordre p1 . Soit
: G G/W le morphisme de passage au quotient. Alors le sous-groupe K de
G gal 1 (H) est dordre p . Vrifions que K est distingu. Pour tous k K,
g G, on a (gkg 1 ) H car H et distingu dans G/W , donc gkg 1 HW = K,
donc K est distingu.

La proposition suivante nous sera utile pour tablir le thorme de Frattini (cf. para-
graphe 5.3.

Dfinition 5.6 (Sous-groupe maximal).

Un sous-groupe M de G est dit maximal si cest un sous-groupe propre (i.e. diffrent de
G) tel que M et G soient les seuls sous-groupes de G contenant M .

Proposition 5.7 (Sous-groupes maximaux dun p-groupe).

Tout sous-groupe maximal dun p-groupe dordre p est dordre p1 et est distingu.

Dmonstration. Montrons dabord que M est distingu. Soit M un sous-groupe maxi-

mal. On considre laction de G par conjugaison sur lensemble E des sous-groupes maxi-
maux. On a la partition :
E = E G 00 OrbG (M ) ()
M E
o E 00 est la transversale de E r E G sous laction de G. Les lments de E G sont
les sous-groupes maximaux distingus. On va montrer par labsurde que E 00 doit tre
vide, autrement dit que E = E G . Supposons quil existe M E 00 . Lorbite de M est
OrbG (M ) = Stab|G|
G (M )
, elle nest pas de cardinal 1 (puisque M E 00 ), donc p divise son

40
cardinal. Considrons laction de M par conjugaison sur OrbG (M ). Lquation aux classes
correspondante donne :
|OrbG (M )| |(OrbG (M ))M | mod p. ()
M
Or M appartient OrbG (M )) (puisque tout lment de M agit trivialement par conju-
gaison sur M ). Daprs (), il existe un sous-groupe N de (OrbG (M ))M distinct de M .
Alors tout lment de M et de N agit trivialement par conjugaison sur N , donc hM, N i
agit trivialement par conjugaison sur N . Or hM, N i = G, donc N est distingu dans G.
Mais N appartient OrbG (M ), donc N est conjugu M donc N = M : absurde ! Donc
tout sous-groupe maximal dun p-groupe est distingu.
Calculons lordre dun sous-groupe maximal. Soit M un tel sous-groupe dordre p .
Montrons = 1. Si ce ntait pas le cas, G/M serait un p-groupe dordre au moins p2
et contiendrait un sous-groupe H dordre p. Alors, limage rciproque de H dans G serait
un sous-groupe dordre p+1 contenant M , ce qui contredirait le fait que M soit maximal.

Remarque. Par le thorme de Frobenius (cf. proposition 6.2), dont la dmonstration

est plus simple que celle-ci, on sait quun sous-groupe dordre p1 est distingu. La force
de cette proposition est donc le calcul de lordre des sous-groupes maximaux, ou, ce qui
revient au mme, de montrer que tout sous-groupe dun groupe dordre p est inclus dans
un sous-groupe dordre p 1.

5.2 Groupes nilpotents et p-groupes

Les groupes nilpotents21 forment une famille importante de groupe, plus faciles que les
autres tudier puisque comme nous allons le voir, de mme quun groupe ablien, un p-
groupe est somme directe de ses p-Sylow. Cest ce que nous nous proposons de dmontrer
dans ce paragraphe. La mthode consiste examiner (cf. argument de Frattini ci-dessous),
les normalisateurs des p-Sylow et montrer que dans le cas des groupes nilpotents, ces
normalisateurs sont le groupe tout entier, autrement dit les p-Sylow sont distingus.

Dfinition 5.8 (Groupe nilpotent).

Rappelons que pour deux sous-groupes H et K de G, on note [H, K] la clture normale
dans G de lensemble des lments hkh1 k 1 o h H et k K.
La suite centrale descente (Cn (G))nN dun groupe G est dfinie ainsi : C0 (G) = G et
pour tout n > 1, Cn (G) = [G, Cn1 (G)].
Un groupe G est dit nilpotent sil existe un entier m tel que Cm (G) = {1G }. Le plus
petit indice m satisfaisant cette condition est appel lindice de nilpotence de G.

Proposition 5.9. Les p-groupes sont nilpotents.

21
Tous les groupes nilpotents sont rsolubles. Ils constituent un premier exemple de groupes rsolubles
non ncessairement abliens. Cependant, il existe comme S3 des groupes rsolubles, mais non nilpotents.

41
Dmonstration. Soit G un p-groupe dordre p . On montre par rcurrence sur que G
est nilpotent. Lorsque = 0, cest vident. Soit > 1. On suppose le rsultat vrai pour
tout entier strictement infrieur > 0 et on veut le dmontrer pour . Le centre ZG
de G nest pas trivial, donc le groupe quotient G/ZG est un p-groupe dordre strictement
infrieur p , donc un groupe nilpotent daprs lhypothse de rcurrence. Soit : G
G/ZG le morphisme de passage au quotient. On a (G) = G/ZG , donc pour tout n,
on a (Cn (G)) = Cn ((G)) = Cn (G/ZG ). Or, puisque G/ZG est nilpotent, il existe un
entier m tel que Cm (G/ZG ) = {1}. Donc pour cet entier m, on a Cm (G) ZG . Alors
Cm+1 (G) = [G, Cm (G)] [G, ZG ] = {1}, par dfinition du centre. Ainsi G lui-mme est
nilpotent.

Corollaire 5.10. Tout produit direct de p-groupes est nilpotent.

Dmonstration. Cela dcoule de la proposition prcdente et du fait que si A et B et

A0 et B 0 sont deux sous-groupes respectifs, alors [A B, A0 B 0 ] [A, A0 ] [B, B 0 ].

Proposition 5.11 (Croissance des normalisateurs).

Soit G un groupe nilpotent. Alors tout sous-groupe propre H de G est strictement contenu
dans son normalisateur NormG (H).

Dmonstration. Il est clair par rcurrence que Ci (G) est distingu dans G. Soit H un
sous-groupe de G et pour tout i, soit Hi = HCi (G). Vrifions que Hi+1 est distingu dans
Hi , autrement dit que Hi+1 est normalis par H (cest vident) et par Ci (G) (ce que nous
allons dmontrer). Soient h un lment de Hi+1 et g un lment de Ci (G). On a :
ghg 1 = ghg 1 h1 h [G, Ci (G)]Hi+1 = Ci+1 (G)Hi+1 = Hi+1 ,
do ghg 1 Hi + 1. Ainsi, il existe une suite :
G = H1 H2 Hn = H ()
vrifiant Hi+1 / Hi et Hn = H. On peut supposer que Hn 6 Hn1 . Or on a NormG (H)
Hn1 , puisque H = Hn / Hn1 . Ce quil fallait dmontrer.
Remarque. En fait, cette proprit caractrise les groupes nilpotents.

Lemme 5.12 (Argument de Frattini).

Soit G un groupe, H un sous-groupe distingu, et S un p-Sylow de H. Alors G =
NormG (S)H.

Dmonstration. Soit g G. Le sous-groupe gSg 1 de G est inclus dans H puisque H

est distingu, et par ailleurs, cest un p-Sylow de H, donc gSg 1 est conjugu H dans
H, daprs le deuxime thorme de Sylow. Ainsi, il existe h H tel que hgSg 1 h1 = S.
Alors hg NormG (S), donc g HNormG (S). Ceci tant vrai pour tout g G, on
a G = HNormG (S), puis en utilisant le fait que H est distingu, G = NormG (S)H.

Lemme 5.13 (Normalisateur dun p-Sylow).

Soit G un groupe et S un p-Sylow de G. Alors NormG (NormG (S)) = NormG (S).

42
Dmonstration. Appliquons largument de Frattini au groupe NormG (NormG (S)) dont
NormG (S) est un sous-groupe normal et S un p-Sylow de NormG (S). On obtient que
NormG (NormG (S)) = NormG (S)NormG (S). Mais NormG (S)NormG (S) = NormG (S),
do le rsultat.

Thorme 5.14 (Structure des groupes nilpotents).

Un groupe nilpotent est produit direct de ses p-Sylow.

Dmonstration. Soit G un groupe nilpotent dordre n et p un diviseur premier de n.

Soit S un p-Sylow de G. Daprs le lemme 5.13, on a NormG (S)NormG (S) = NormG (S).
Or daprs la proposition 5.11, le seul sous-groupe H de G vrifiant NormG (H) = H est
G lui-mme, donc en appliquant ceci NormG (S), on voit que NormG (S) = G, autrement
dit, S est distingu dans G. Ceci tant vrai pour tout p premier diviseur de n, on peut
appliquer la proposition 4.8. Ainsi G est somme directe de ses p-Sylow.

Remarques.
1. Moralement, les groupes finis nilpotents sont presque des p-groupes. Par exemple,
on savait que les p-groupes admettaient des sous-groupes distingus de tous ordres (cf.
proposition 5.5). Cest aussi le cas des groupes nilpotents (cf. proposition 5.15).
2. Ce thorme 5.14 donne une condition ncessaire trs forte pour un groupe dtre
nilpotent. Par exemple, S3 est le produit semi-direct non trivial de Z/3Z par Z/2Z et
nest donc un produit direct de ses sous-groupes de Sylow. Par consquent, S3 nest
pas nilpotent. En effet, C1 (S3 ) = [S3 , S3 ] = h, i, o est un 3-cycle. Puis C2 (S3 ) =
[S3 , A3 ] = A3 car 1 = 1 , o est une transposition. Ainsi, pour tout n, Cn (S3 ) =
S3 , donc S3 nest pas nilpotent.

Proposition 5.15 (Rciproque du thorme de Lagrange pour les groupes nilpotents).

Un groupe est nilpotent si et seulement sil admet des sous-groupes distingus de tous
ordres.
Q Q
Dmonstration. Montrons le sens direct. Soit n = pi i lordre de G et m = pi i
16i6r 16i6r
un diviseur de n. Daprs le thorme 5.14, il existe r sous-groupes Hi de G dordre
respectivement pi i tels que G = Hi . Or tout groupe Hi contient un sous-groupe
16i6r
distingu Ki dordre pi i daprs la proposition 5.5. Alors, le sous-groupe N = Ki de
16i6r
G est dordre m, et est distingu puisque cest le produit de sous-groupes distingus.
Montrons la rciproque. Si un groupe admet des sous-groupes distingus de tous ordre,
chacun de ses sous-groupes de Sylow sont distingus. Alors on peut appliquer la proposi-
tion 4.8. Ainsi un tel groupe est produit direct de ses sous-groupes de Sylow. Donc il est
nilpotent daprs le thorme 5.14.

43
5.3 Thorme de Frattini
Beaucoup de sous-groupes particuliers ont t invents pour faciliter ltude des groupes
(groupe de Fitting, socle, cosocle, etc.). Nous prsentons lun deux, le sous-groupe de Frat-
tini, conu pour ltude des p-groupes, dont la dfinition peut tre immdiatement largie
tous les groupes finis (et mme aux groupes infinis).

Dfinition 5.16 (Elments mous dun groupe).

Un lment dun groupe est dit mou 22 si pour toute partie S G telle que S et cet
lment engendrent le groupe, S engendre le groupe.

Exemple. Llment neutre est toujours un lment mou. Par exemple, Z ne contient
aucun lment mou autre que 0, puisque pour tout m Z, on peut choisir n premier m
et diffrent de 1. Alors m et n engendrent Z, mais n tout seul nengendre pas Z.

Proposition 5.17.
(i) Lensemble des lments mous dun groupe est un sous-groupe,
(ii) est mme un sous-groupe caractristique,
(iii) est lintersection de tous les sous-groupes maximaux23 .

Dmonstration.
(i) Soit lensemble des lments mous dun groupe G. Il est clair que 1G , et que
est stable par passage linverse. Si g et h sont deux lments de , alors pour tout
sous-ensemble S tel que hgh, , Si = G, on a bien sr hg, h, Si = G. Or m est mou, donc
hh, Si = G, or h est mou donc hSi = G. Ceci prouve que est un groupe.
(ii) Soit un automorphisme de G et g un lment de G. Sil existe un sous-ensemble
S de G tel que h(g), Si = G, alors hg, 1 (S)i = 1 (G) = G. Ainsi, limage dun
lment mou par un automorphisme est un lment mou. Donc est stable par tout
automorphisme.
(iii) Montrons que est inclus dans tout sous-groupe maximal M . Supposons quil
existe un sous-groupe maximal M de G ne contenant pas . Soit alors g r M . Alors
on a M 6 hg, M i G. La deuxime inclusion doit tre stricte car g est mou, mais elle
doit tre une galit car M tait maximal, do une contradiction.
Montrons que contient lintersection de tous les sous-groupes maximaux. Suppo-
sons quil existe g appartenant lintersection de tous les sous-groupes maximaux mais
nappartenant pas . Soit S inclus dans G tel que hSi 6= G et hg, Si = G. Soit M un
sous-groupe maximal contenant S. Par dfinition de g, g appartient M , donc M contient
hg, Si et doit tre gal G : absurde !

Dfinition 5.18 (Sous-groupe de Frattini).

Le sous-groupe de tous les lments mous dun groupe G est appel le sous-groupe de
Frattini et est not (G).
22
En anglais, un lment mou est appel non-generating element, ce qui dcrit bien la situation.
23
Cf. dfinition 5.6.

44
Exemples.
Un lment k de G = Z/pn Z est mou si et seulement si k p = 1. Donc (G) est le
groupe engendr par p, isomorphe Z/pn1 Z.
Soit G1 etQG2 deux groupes finis, et G = G1 G2 . Alors (G) = (G1 ) (G2 ).
Soit n =Q pi i , les pi tant premiers deux deux distincts. Alors (Z/nZ) = Z/mZ
o m = pi i 1 .

Lemme 5.19 (Existence de complments partiels).

(i) Soit {xi }16i6n des lments dun groupe G. Si h(G), xi | 1 6 i 6 ni = G, alors
hxi | 1 6 i 6 ni = G.
(ii) Soit H un sous-groupe de G tel que (G)H = G. Alors H = G.
(iii) Plus gnralement, un sous-groupe H de G distingu possde un complment
partiel si et seulement si H nest pas inclus dans (G).

Dmonstration.
(i) Montrons la contrapose. Soit H = hxi | 1 6 i 6 ni que lon suppose diffrent de G
et M un sous-groupe maximal contenant H. Alors h(G), xi | 1 6 i 6 ni est contenu dans
M puisque (G) est lui aussi inclus dans M . Donc h(G), xi | 1 6 i 6 ni est diffrent de
G.
(ii) Il suffit dappliquer (i) aux lments hi de H.
(iii) Si un sous-groupe H distingu dans G est inclus dans (G), il ne peut admettre
de complment partiel, sinon (G) en contiendrait un, ce qui contredirait (ii).
Rciproquement, si un sous-groupe H distingu dans G nest pas inclus dans (G), il
existe un sous-groupe maximal K de G tel que hH, Ki engendre G. Or hH, Ki = HK.
donc K est un complment partiel de H.

Thorme 5.20 (Thorme de Frattini).

Le quotient dun p-groupe par le sous-groupe de Frattini est un Fp -espace vectoriel.

Dmonstration . Soit G un p-groupe et (G) son sous-groupe de Frattini. Montrons

que G/(G) est commutatif. Tout sous groupe maximal M est dordre p1 daprs la
proposition 5.7, donc G/M = Z/pZ et est commutatif, donc [G, G] M . Par consquent,
[G, G] (G), donc G/(G) est commutatif.
Montrons maintenant que tous les lments de G/(G) sont dordre p. Si ce ntait pas
le cas, on aurait lexistence dun lment y dordre p2 dans G/(G) (puisque G/(G) est
commutatif). Soit y dans G dimage y dans G/(G). Puisque y p nest pas dans G/(G),
y p nest pas mou, donc il existe M , un sous-groupe maximal de G, ne contenant pas y p .
Il ne contient pas y non plus. Alors limage y de y dans G/M est dordre au moins p2 ,
donc M est dordre au plus p2 , ce qui contredit le fait que M soit maximal daprs la
proposition 5.7. Ainsi tous les lments de G/(G) sont dordre p.
Finalement, G/(G) est un groupe ablien dont tous les lments sont dordre p.

45
Remarque. On peut montrer en fait que (G) est le plus petit sous-groupe de G tel que
G/(G) soit un espace vectoriel. Lespace vectoriel engendr est donc le plus gros parmi
ceux obtenus en quotientant G.

Dfinition 5.21 (Espace de Frattini).

Lespace de Frattini dun p-groupe G est le Fp -espace vectoriel G/(G).

Proposition 5.22 (Espaces de Frattini de petite dimension).

Soit G un p-groupe. Lespace de Frattini nest jamais de dimension 0. Il est de dimension
1 si et seulement si G est cyclique.
Dmonstration. Puisque (G) est contenu dans tout sous-groupe maximal, (G) est
strictement contenu dans G, donc G/(G) nest pas de dimension 0. Si G/(G) est de
dimension 1, soit x G tel que llment x(G) de G/(G) engendre G/(G). Alors
h(G), xi = G, donc daprs le lemme 5.19, hxi = G.
Exemples.
1. Lespace de Frattini dun groupe ablien G de type (p1 , p2 , . . . , pr ) est (Fp )r .
2. Pour le groupe quaternionique, (H8 ) = {1} donc H8 /(H8 ) = (F2 )2 .
3. Plus gnralement, soit G un groupe non ablien dordre p3 (p premier). Nous allons
montrer que :
(G) = ZG = Z/pZ et G/(G) = Fp 2 .
Le centre de G nest pas trivial par le thorme de Burnside. Par ailleurs, G/ZG nest
pas cyclique, sinon G serait ablien par le lemme 6.1. Donc G/ZG = (Z/pZ)2 et contient
2
p lments, et ZG = Z/pZ. Soit M un sous-groupe maximal de G. Si ZG M = {1},
alors G est un produit direct (car ZG est central) de deux groupes abliens, donc G est
ablien : absurde ! Donc le centre est inclus dans tout sous-groupe maximal, do :
ZG (G).
Alors selon le cardinal de (G), G/(G) est isomorphe (Fp )2 , Fp ou 1G . Mais les deux
derniers cas sont interdits par la proposition 5.22, donc G/(G)
= (Fp )2 , donc (G) = ZG .

En fait, on peut prouver la proposition suivante, que lon ne dmontrera pas ici.
Proposition 5.23. Le sous-groupe de Frattini dun p-groupe G est gal Gp [G, G] o
Gp = hg p , g Gi, et est inclus dans le centre ZG .

6 Classification des groupes de petit cardinal

6.1 Deux rsultats utiles

En plus du thorme de Burnside (cf. proposition 5.3 : Le centre dun p-groupe nest
pas trivial. ), fondamental pour ltude des p-groupes, voici deux rsultats tout aussi
utiles.

46
Lemme 6.1 (Groupes dont le quotient par le centre est monogne).
Un groupe dont le quotient par son centre est monogne est ablien.

Dmonstration. Soit G un tel groupe, ZG sont centre, et x un lment tel que xZG
engendre G/ZG . Soient alors deux lments de ce groupe g1 et g2 . Il existe z1 , z2 ZG et
k1 , k2 Z tels que g1 = xk1 z1 et g2 = xk2 z2 . Clairement, g1 et g2 commutent.

Proposition 6.2 (Thorme de Frobenius, 1895).

Soit G un groupe dordre n et soit p le plus petit diviseur premier de n. Alors tout sous-
groupe dindice p est distingu24 .

Dmonstration. Soit H un sous-groupe dindice p que lon fait agir par multiplication
gauche sur E = G/H. Remarquons que laction est triviale si et seulement si pour tout
g G, on a HgH = gH, donc si et seulement si H est distingu. Soit E 00 une transversale
de E r E H . Alors, lquation aux classes scrit :
P
|E| = |E H | + OrbH (gH).
gHE 00
Or |E| = p par hypothse, donc chaque orbite qui nest pas rduite un point contient
p lments. Puisquil existe au moins une orbite rduite un point, celle de H, elles
sont toutes rduites un point. Donc laction est triviale et H est distingu dans G.

Remarques.
1. Ce rsultat est absolument fondamental ! Grce lui, il est facile de percevoir presque
tout groupe (attention, pas les groupes simples !) comme une extension de groupes plus
petits. En effet, ds quun groupe G possde un sous-groupe N du bon indice, on sait que
N doit tre distingu. Connaissant alors N et G/N , on peut esprer retrouver le groupe G.
Tous les espoirs de classification complte des groupes reposent sur de telles extensions !
2. Ce rsultat est redondant avec le troisime thorme de Sylow dans le cas des
groupes dordre p q o q est un nombre premier strictement infrieur p. En effet, dans
ce cas, le nombre np de p Sylow vrifie np 1 mod p et np |q, ce qui montre que np = 1,
donc daprs le deuxime thorme de Sylow, le p-Sylow (qui est un sous-groupe dindice
q) est distingu.

6.2 Classification des groupes dordre n 6 15

On notera V4 le groupe Z/2Z Z/2Z, appel groupe de Klein.
Amorce de la classification :
pour tout p premier, il existe un unique groupe Z/pZ,
tout groupe dordre p2 est ablien (cf. proposition 5.4),
on connat quelques groupes non abliens :
24
Lorsque p = 2, la preuve peut tre simplifie, cf. lexemple 4 page 14 et sentend mme aux groupes
dordre infini.

47
 n = 6 : S3 , D3 , GL(2, F2 ).
n = 8 : D4 , H8 , T3,2 (cf. dfinition 5.2),
n = 10 : D5 ,
n = 12 : D6 , A4 ,
n = 14 : D7 .

Proposition 6.3 (Groupes dordre 6).

Les groupes non abliens dordre 6 sont isomorphes S3

Dmonstration. Soit un lment dordre 3 et un lment dordre 2. Si = , le

groupe est ablien ; si = 2 , on retrouve la table de multiplication de S3 .

Proposition 6.4 (Groupes dordre pq).

Soient p et q deux entiers distincts avec p < q. Il existe une ou deux classes disomorphie
de groupes dordre pq, selon que p divise q 1 ou non :
Z/pqZ,
Z/qZ o Z/pZ, seulement si p divise q 1.
Lorsque p = 2, Z/qZ o Z/2Z est le groupe didral Dq .

Dmonstration . Soit p le plus petit facteur de G. Alors le q-Sylow Q est distingu

daprs le thorme de Frobenius (proposition 6.2). On peut le voir aussi en invoquant
le troisime thorme de Sylow : nq 1 mod q et nq |p, o nq est le nombre de q-Sylow.
Notons P un p-Sylow. Alors, on a Q / G, Q P = {1G } et |QP | = |G|, donc G est
le produit semi-direct de Q par P . Examinons laction de P sur Q via son morphisme
structurel : Z/pZ Aut(Z/qZ) = Z/q 1Z. Diffrents cas se produisent.
Si p = 2, il existe une unique action non triviale donne par (1) = q1
2
et le groupe

associ est le groupe didral Z/qZ o Z/2Z = Dq . Il nest pas commutatif et est donc
distinct de Z/2qZ.
Si p ne divise pas q 1, il nexiste pas daction non triviale et tous les groupes
dordre pq o p ne divise pas q est ablien.
Si p divise q 1, il existe diffrentes actions, toutes de la forme k (1) = k q1p
o k {1, . . . , p 1}. Or k = 1 k , o k est la multiplication par k dans
Z/pZ. Cest un automorphisme, donc toutes ces actions produisent des produits
semi-directs isomorphes. Le groupe associ nest pas commutatif, donc il nest pas
isomorphe Z/pqZ.

Remarque. On a vu au paragraphe 3.6 que dans le cas des produits semi-directs non
triviaux des groupes dordre pq, laction de Z/pZ dans Z/qZ est dcrite par un morphisme
: Z/pZ Aut(Z/qZ), t 7 {x 7 k t x} o k est un lment de (Z/qZ) dordre p.

Lemme 6.5. Le groupe H8 nest pas un produit semi-direct.

Dmonstration. Supposons quil existe deux sous-groupes N et H de H8 tels que H8 =

N o H.

48
 Si |N | = 4, alors H = {1, h} o h est dordre 2 dans H8 , donc h = 1, mais
-1 appartient dj |N |, puisque 1 est le carr de tout x H8 r {1}. Donc
H N 6= {1} : cest absurde.
Si |N | = 2, puisque H est central, le produit serait direct. Alors H8 serait le produit
direct de deux groupes abliens, donc serait ablien : cest absurde.

Proposition 6.6 (Groupes dordre 8).

Il existe deux classes disomorphie de groupes non abliens dordre 8 :
D4 = Z/4Z o Z/2Z = V4 o Z/2Z = T3, 2 (cf. dfinition 5.2),
H8 .

Dmonstration. Soit G un groupe non ablien dordre 8. Rappelons quun groupe dont
tous les lments sont dordre 2 est ablien. Donc G contient des lments dordre 4. Soit
i un lment dordre 4 et H le sous-groupe engendr par i. Puisque cest un sous-groupe
dindice 2, il est distingu. Distinguons les cas selon quil existe ou non un lment dordre
2 dans G r H.
Sil existe un lment dordre 2 dans G r H, alors la suite exacte
1 H G G/H 1
est scinde, donc G est un produit semi-direct de H par Z/2Z. Un tel produit semi-
direct est caractris par une action de Z/2Z Aut(Z/4Z) = Z/2Z. Il existe un
unique tel morphisme non trivial, donc on obtient un unique produit semi-direct
non ablien.
Sil nexiste pas dlment dordre 2 dans G r H, alors G r H consiste en quatre
lments dordre 4 (prcisons quil ne peut pas contenir dlment dordre 8, sinonG
serait ablien cyclique). Appelons j lun deux. Notons 1, i, i2 = 1 et i3 = i les
quatre lments de H. Les lments de G sont
{1, i, 1, i, j, ij, j, ij}.
Puisque 1 est le seul lment dordre 2, il est central et i2 = j 2 = (ij)2 = 1.
Puisque ijij = 1 = i2 , on a jij = i, donc jij 1 = i. Ainsi, on a reconstitu la
table dopration de H8 . Or on sait que H8 nest pas un produit semi-direct, donc
il nest pas isomorphe D4 .
Les groupes Z/4Z o Z/2Z et V4 o Z/2Z tant des produits semi-directs, ils ne sont pas
isomorphes H8 daprs le lemme 6.5. Le groupe T3, 2 contient plusieurs lments dordre
2, donc nest pas isomorphe H8 .

Proposition 6.7 (Groupes dordre 12).

Il existe trois classes disomorphie de groupes non abliens dordre 12 :
Z/3Z o Z/4Z,
D6 = Z/3Z o V4 = D3 Z/2Z = D3 o Z/2Z,

A4 = V4 o Z/3Z.

Dmonstration. Soit G un groupe dordre 12 et soit n3 le nombre de 3-Sylow. Il doit

diviser 4 et doit vrifier n3 1 mod 3, donc n3 {1, 4}.

49
Si n3 = 4, alors on compte 8 lments dordre 3. Il en reste donc 4 pour former le
4-Sylow qui est donc distingu. Appelons-le N . Soit K un 3-Sylow. Puisque par ailleurs
N K = {1G }, le groupe G est le produit semi-direct de N par K, dcrit par un morphisme
de K = Z/3Z dans Aut(N ). Deux cas se prsentent : N = Z/4Z ou bien N = V4 .
Si N = Z/4Z, alors Aut(Z/4Z) = Z/2Z et va de Z/3Z dans Z/2Z, donc est
trivial, donc le produit est direct et correspond un groupe ablien.
Si N = V4 , alors Aut(V4 ) = S3 et va de Z/3Z dans S3 , donc associe 1 un 3-cycle
ou son carr. Notons 1 et 2 ces deux morphismes. Soit : Z/3Z Z/3Z,
1 7 1. Il vient 2 = 1 et par consquent, les deux structures de produit
semi-direct sont semblables et dcrivent le mme groupe V4 o Z/3Z isomorphisme
prs.
Si n3 = 1, soit N le 3-Sylow distingu et soit H le groupe dordre 4 : Z/4Z ou V4 . Le
produit semi-direct N o H est dcrit par un morphisme de H dans Aut(Z/3Z) = Z/2Z.
Etudions les deux cas.
Si H = Z/4Z, alors il existe un unique morphisme non trivial de Z/4Z dans Z/2Z,
correspondant au produit semi-direct Z/3Z o Z/4Z.
Si H = V4 , alors est un morphisme de V4 dans Z/2Z, autrement dit une F2 -forme
linaire de F2 2 . Il en existe trois non triviales, dcrite par les matrices en ligne : [1 ] =
(0, 1), [2 ] = (1, 0), [3 ] = (1, 1). Cependant, il existe Aut[V 0 41]= GL(2, F2 ) tel
0 1
que 2 = 1 pour [] = 1 0 et 3 = 1 pour [] = 1 1 . Ainsi les trois
produits semi-directs sont isomorphes. On note Z/3Z o V4 le groupe associ.
Faisons le bilan. Nous avons trouv trois groupes : V4 o Z/3Z qui possde quatre 3-Sylow,
et Z/3Z o Z/4Z et Z/3Z o V4 qui possdent tous deux un seul 3-Sylow. Pour dpartager
Z/3Z o Z/4Z et Z/3Z o V4 , remarquons que lun possde un lment dordre 4 et lautre
pas. On a donc exactement trois groupes non abliens dordre 12 diffrents isomorphisme
prs.
Le groupe A4 possde un sous-groupe distingu isomorphe V4 , le sous-groupe des
double-transpositions (produit de deux transpositions supports disjoints). Donc A4 =
V4
= Z/3Z. Le groupe D6 = Z/6Z o Z/2Z possde un sous-groupe dordre 3 distingu,
mais aucun lment dordre 4, donc D6 = Z/3ZoV4 . Les groupes S3 Z/2Z et S3 oZ/2Z
ne possdent quun seul 3-Sylow et aucun lment dordre 4, et sont donc isomorphes
Z/3Z o V4 . Ceci achve la classification des groupes non abliens dordre 12.

Thorme 6.8 (Classification des groupes dordre n 6 15).

50
 n groupes abliens groupes non abliens total
2 Z/2Z - 1
3 Z/3Z - 1
4 Z/4Z, V4 - 1
5 Z/5Z - 1
6 Z/6Z
S3 = D3 = GL(2, F2 ) 2
7 Z/7Z - 1
8 Z/8Z, Z/2Z Z/4Z, (Z/2Z)3 D4
= V4 o Z/2Z = T3,2 , H8 5
9 Z/9Z, (Z/3Z)2 - 2
10 Z/10Z D5 2
11 Z/11Z - 1
12 Z/12Z, Z/2Z Z/6Z Z/3Z o V4 = S3 Z/2Z
= D6 , 5
Z/3Z o Z/4Z, V4 o Z/3Z = A4
13 Z/13Z - 1
14 Z/14Z D7 2
15 Z/15Z - 1
o T3,2 est le groupe introduit la dfinition 5.2.

6.3 Etude de quelques groupes de plus gros cardinal

Proposition 6.9 (Groupes dordre p3 ).
Il existe deux classes disomorphie de groupes dordre p3 (p > 3 premier) :
Z/p2 Z o Z/pZ
(Z/pZ)2 o Z/pZ
Le groupe25 T3,p est isomorphe26 (Z/pZ)2 o Z/pZ.

Ide de la dmonstration. Soit G un groupe dordre p3 . Sil existe un lment dordre

p3 le groupe est ablien. En de hors de ce cas, tous les lments non triviaux sont dordre
p ou p2 .
Premier cas : si tous les lments sont dordre p, soit N un sous-groupe dindice p.
Il est distingu daprs le thorme de Frobenius (cf. proposition 6.2), et ncessairement,
N = (Z/pZ)2 . Nimporte quel lment du complmentaire de N engendre un sous-groupe
H dordre p dont lintersection avec N est {1G }, donc G est le produit semi-direct de N par
H. Laction sous-jacente est dcrite par un morphisme de Z/pZ dans Aut((Z/pZ)2 ) =
GL(2, F[p]) qui envoie 1 sur un isomorphisme de (Fp )2 dordre p. Soient 1 et 2 deux
tels morphismes. Puisque GL(2, F[p]) est dordre (p2 1)(p2 p) = p(p 1)2 (p + 1), les
sous-groupes dordre p sont les p-Sylow deux deux conjugus. Donc 1 (1) est conjugu
2 (k) pour un certain k (Z/pZ) . Soit la multiplication par k dans Z/pZ. Alors
1 (1) est conjugu 2 (1) par un lment P GL(2, F[p]), donc pour tout k Z/pZ,
on a 1 (k) = P 2 (k)P 1 . Donc les deux actions dcrivent deux produits semi-directs
25
Cf. dfinition 5.2.
26
Attention, ce rsultat est faux lorsque p = 2.

51
isomorphes. Autrement dit, cette tude donne lieu un unique groupe (Z/pZ)2 o Z/pZ
isomorphisme prs.
Deuxime cas : il existe un lment dordre p2 que lon note x. Soit N le sous-groupe
engendr par x, distingu dans G daprs le thorme de Frobenius. On admet27 alors quil
existe y dans G r N dordre p. On a alors un produit semi-direct Z/p2 Z o Z/pZ, dcrit
par un morphisme de Z/pZ dans Z/(p(p 1))Z. Soient 1 et 2 deux tels morphismes :
1 (1) = k1 (p1) et 2 (1) = k2 (p1), avec k1 et k2 premiers p. Soit : Z/pZ Z/pZ,
1 7 k1 1 k2 , o k1 1 est linverse de k1 dans Z/pZ. Alors Aut(Z/pZ) vrifie 1 = 2 .
On a donc un unique produit semi-direct Z/p2 Z o Z/pZ isomorphisme prs.
Les deux groupes obtenus ne sont pas isomorphes puisquil nexiste pas dlments
dordre p2 dans le premier. Le groupe T3,p ne contient pas de matrice dordre p2 , donc T3,p
est isomorphe (Z/pZ)2 o Z/pZ.

Proposition 6.10 (Groupes dordre 255 = 3 5 17).

Tout sous-groupe dordre 255 est cyclique.

Dmonstration. Daprs les thormes de Sylow, on compte :

nombre de 17-Sylow : 1, distingu ;
nombre de 5-Sylow : 1 ou 51, mais alors 204 lments dordre 5 ;
nombre de 3-Sylow : 1 ou 85, mais alors 170 lments dordre 3.
Soit N le 17-Sylow et H un 5-Sylow. Alors N H est un sous-groupe dindice 5 dans G qui
est donc distingu. Puisque les 5-Sylow sont conjugus, leurs lments restent dans N H
qui est de cardinal 85. Donc il ne peut pas y avoir 204 lments dordre 5. Donc le 5-
Sylow est distingu daprs le thorme de Frobenius (cf. proposition 6.2). Alors G est un
produit semi-direct de Z/85Z par Z/3Z. Laction associe est dcrite par un morphisme
de Z/3Z dans Aut(Z/85Z) = Z/4Z Z/16Z, mais un tel morphisme est trivial. Donc le
produit est direct et G est ablien, donc cyclique.

Remarque . En fait, on peut prouver que tout groupe de cardinal n est ablien si et
seulement si n (n) = 1. Ici, (255) = 16 4 2 et est premier 255.

Proposition 6.11 (Groupes dordre 399 = 3 7 19).

Il existe cinq classes disomorphie de groupes dordre 399 :
Z/399Z,

Z/7Z o Z/3Z Z/19Z,
Z/19Z o Z/3Z Z/7Z,
Z/133Z o1 Z/3Z o 1 (1) est la multiplication par 11 dans Z/133Z,
Z/133Z o2 Z/3Z o 2 (1) est la multiplication par 30 dans Z/133Z.
27
La preuve de ce fait consiste considrer un lment y G r N dordre p2 et montrer en une
demi-page quil existe un entier k tel que yxk soit dordre p dans G : un tel k doit tre solution dune
quation dans Z/p2 Z et on vrifie quil existe effectivement des solutions. Cela prend une demi-page de
calculs compliqus et astucieux.

52
Dmonstration. Un tel groupe possde un seul 19-Sylow N daprs le troisime thorme
de Sylow. Les 7-Sylow sont a priori au nombre de 1 ou 57. Soit H un 7-Sylow. On va
montrer par deux mthodes diffrentes que H est le seul 7-Sylow.
Premire tentative Considrons le groupe N H dans G. Cest un produit semi-direct
car N est distingu dans G donc dans N H et car N H = {1} cause des ordres des
lments de N et H. Or un tel produit semi-direct est dtermin par une action de H
dans dans Aut(N ), mais en raison des cardinaux, de tels morphismes sont triviaux
et N H est un produit direct. Malheureusement, cela ne permet pas de conclure.
Premire mthode. Le groupe N H est un sous-groupe dindice 3, donc un sous-groupe
distingu dans G. Pour tout g G, gHg 1 gN Hg 1 = N H, donc gHg 1 HN .
Or si les 7-Sylow sont au nombre de 57, on compte 576 lments dordre 7 distincts,
inclus dans HN dordre 17 7 : absurde. Donc G ne contient quun seul 7-Sylow.
Deuxime mthode. Sil existait effectivement 57 7-Sylow Hi avec 1 6 i 6 57, il exis-
terait galement 57 groupes N Hi dordre 7 19 = 133. Vrifions que deux lments
xi et xj dordre 133 (car on a vu que N H = N H), lun dans N Hi , lautre dans
N Hj avec i et j diffrents, sont ncessairement diffrents. Elevs la puissance 19,
x19 19
i est dans Hi et xj est dans Hj , or |Hi Hj | {1, 7}, donc Hi Hj = {1G }, donc
19 19
xi et xj sont diffrents, donc xi et xj taient diffrents. Or dans chaque N Hi , on
compte (133) = 6 18 lments dordre 133, donc on compte au total 57 6 18
lments dordre 133, ce qui est absurde. On a donc quun seul 7-Sylow.
Daprs le lemme 4.7, il vient que N et H sont en somme directe. Soit K = N H = N H.
Alors K = Z/133Z est le seul groupe de G de cet ordre. Pour terminer ltude, il reste
examiner les produit semi directs
Z/133Z o Z/3Z.
Ces produits semi-directs ont t tudis pour une large part la fin du paragraphe 3.6,
et ltude sera acheve la fin du paragraphe 7.4.

Proposition 6.12 (Groupe dordre 147 = 3 72 ).

Il existe cinq classes disomorphie de groupes dordre 147 :
Z/147Z,
(Z/7Z)2 Z/3Z,
Z/49Z o Z/3Z,
(Z/7Z)2 o1 Z/3Z, avec 1 (1) = 20 02 Aut(F7 2 ),
(Z/7Z)2 o2 Z/3Z, avec 2 (1) = 20 04 Aut(F7 2 ).

Dmonstration. Soit G un groupe dordre 49. On montre facilement quil ny a quun

seul 7-Sylow dordre 49 que lon appelle N . Puisque lintersection de N avec un 3-Sylow
H est rduite 1G , on en dduit que N H = G, et ainsi G est un produit semi-direct de
N par H.
On carte le cas o G est ablien. Si N = Z/49Z, tous les morphismes de Z/3Z dans
Aut(Z/49Z) = Z/42Z se dduisent les uns des autres par composition la source par
un automorphisme de Z/3Z. Donc dans ce cas, il nexiste quun seul produit semi-direct
Z/49Z o Z/3Z.

53
 Intressons-nous au cas o N = (Z/7Z)2 . Alors le produit semi-direct est dtermin
par un morphisme
: Z/3Z Aut(F7 2 ) = GL(2, F7 ).
2 2
Le groupe GL(2, F7 ) est
dordre(7 1)(7
7) = 25 32 7. Alors le groupe engendr par
2 0 1 0
les matrices A = 0 1 et B = 0 2 est un 3-Sylow de GL(2, F7 ). Notons le H. Puisque
tous les 3-Sylow de GL(2, F7 ) sont conjugus, on peut se ramener (daprs le deuxime
critre de similitude de structures de produit semi-direct) des morphismes de Z/3Z
dans H. Supposons quil existe un isomorphisme de G1 vers G2 . Cet isomorphisme prserve
lunique 7-Sylow de chaque groupe. Alors, daprs la proposition 7.22, un tel isomorphisme
est une similitude de structures de produit semi-direct. Dterminons le nombre de classes
de similitude. Par composition par un automorphisme de Z/3Z, on peut se ramener aux
morphismes de Z/3Z dans H tel que (1) soit de dterminant 1 ou 2 (application du
premier critre), et dont la premire valeur propre est suprieure ou gale la seconde
(application du deuxime critre). On obtient ainsi trois classes de similitude de structures
de produit semi-direct (rappelons que nous avons cart le cas ablien) caractriss par
(1) :

(1) 20 01 , 20 02 , 40 02
Le premier cas correspond la classe disomorphie de (Z/7Z o Z/3Z) Z/7Z. Le
morphisme 2 correspond (Z/7Z)2 o Z/3Z avec une action isotrope. Le morphisme 2
correspond (Z/7Z)2 o Z/3Z avec une action non-isotrope.

7 Extension de groupes : gnralits

7.1 Suites exactes scindes et produits semi-directs

Dfinition 7.1 (Suites exactes, abliennes, centrales, scindes).
Soient N , G et H trois groupes, i : N G et : G H deux morphismes. On
dira que la suite
i
N G H
est exacte en G si et seulement si Im (i) = Ker (). Par consquent, dire que la suite

i
1 N G
est exacte en N , o 1 est le groupe trivial28 , revient dire que Ker (i) = Im () = 1,
donc que i est injectif. Et dire que la suite

G H 1
est exacte en H revient dire que Im () = Ker () = H, donc que est surjective.
Dire que la suite
i
1 N G H 1. ()
est exacte revient dire quelle est exacte en N , G et H, et donc G/N
= H.
28
Le symbole 1 est remplac par 0 lorsquon adopte la notation additive. Les morphismes qui arrivent
1 ou qui partent de 1 ne sont jamais prciss, puisquils sont triviaux.

54
 Une extension de H par N est la donne dun groupe G et de deux morphismes
i : N G et : G H tels que la suite () soit exacte.
Lextension est dite ablienne (resp. centrale) si N est ablien (resp. si i(N ) est
central).
Sil existe un morphisme s : H G tel que s = Id H , on dira que la suite est
scinde droite ou simplement scinde. Un tel morphisme s est appel une section
de . Sil existe un morphisme : G N tel que i = Id N , on dira que la suite
est scinde gauche. Un tel morphisme est appel une anti-section de i.
Lextension donn par la suite exacte () sera dite triviale si G est isomorphe
N H.

Dfinition 7.2 (Extensions quivalentes).

i i0 0
Deux extensions N G H et N G0 H seront dites faiblement quivalentes
sil existe trois isomorphismes , et tels que le diagramme suivant soit commutatif.
/N i /G /H /1
1 O O O

1 /N / G0 /H /1
i0 0

Un tel isomorphisme est appel une quivalence faible dextensions.

i i0 0
Deux extensions N G H et N G0 H seront dites fortement quivalentes
ou simplement quivalentes sil existe un morphisme (le caractre bijectif est impos
par les deux suites exactes et la commutativit du diagramme29 ) tel que le diagramme
suivant soit commutatif.

 [[[
Gu

 ]
i00

1 wN[ H w1
[[ 
i
] 
0 00

G0

Un tel isomorphisme est appel une quivalence dextensions.

Remarque . Il ny a pas de diffrences profondes entre quivalences fortes et faibles,

mais parce quelles sont plus simples manipuler, nous utiliseront essentiellement des
quivalences fortes.

29
Ce rsultat est parfois connu sous le nom de lemme des cinq .

55
Lemme 7.3 (Caractrisation des quivalences faibles dextensions parmi les isomor-
phismes).
i i0 0
Soient N G H et N G0 H deux extensions et : G0 G un
isomorphisme de groupes. Les propositions suivantes sont quivalentes :
(i) est une quivalence faible dextensions,
(ii) il existe Aut(N ) tel que i0 = i,
(iii) il existe Aut(H) tel que = 0 .

Dmonstration. Par dfinition, (i) est quivalent la runion de (ii) et (iii). Il nous
suffit donc de montrer que (ii) et (iii) sont quivalents.
Montrons (ii) (iii). Si i0 = i, alors i0 = i = 0, donc Im (i0 ) Ker ().
Or Im (i0 ) = Ker ( 0 ) et Ker () = 1 (Ker ()). Donc :
Ker ( 0 ) 1 (Ker ()).
En partant de i0 1 = 1 i et en procdant de mme, on aurait montr linclusion
rciproque. Donc :
Ker ( 0 ) = 1 (Ker ()).
Or on a deux isomorphismes induits par et 0 allant respectivement de G/Ker () dans
H et de G0 /Ker ( 0 ) dans H. Lgalit ci-dessus dit seulement que passe au quotient et
induit un isomorphisme de G/Ker () dans G0 /Ker ( 0 ). Donc il existe un automorphisme
de H (obtenu comme la compose des trois prcdents) tel que = 0 .
Montrons (iii) (ii). Si = 0 , alors i0 = i = 0, donc Im ( i0 ) Ker ().
Or Ker () = Im (i) et Im ( i0 ) = (Im (i0 )). Donc :
Im (i) (Im (i0 )).
En partant de 1 = 0 1 et en procdant de mme, on aurait montr linclusion
rciproque. Donc :
Im (i) = (Im (i0 )).
Or on a deux isomorphismes induits par i et i0 allant respectivement de N dans Im (i0 ) et
de N dans Im (i0 ). Daprs lgalit, induit un isomorphisme de Im (i0 ) dans Im (i). Donc
il existe un automorphisme de N (obtenu comme la compose des trois prcdents) tel
que i0 = i.

Corollaire 7.4 (Caractrisation des quivalences fortes dextensions parmi les isomor-
phismes).
i i0 0
Soient N G H et N G0 H deux extensions et : G0 G un
isomorphisme de groupes. Les propositions suivantes sont quivalentes :
(i) est une quivalence faible dextensions,
(ii) i0 = i,
(iii) = 0 .

Lemme 7.5 (Proprits des extensions invariantes par quivalence).

Dans le diagramme de la dfinition 7.2 ci-dessus traduisant une quivalence dextensions,

56
 (i) le morphisme admet une section si et seulement si 0 en admet une ;
(ii) de mme, i admet une anti-section si et seulement si i0 en admet une ;
(iii) enfin, lune des deux extensions est centrale si et seulement si lautre lest.

Dmonstration.
(i) Soit s une section de . Alors s est une section de 0 puisque pour tout h H,
on a :
0 s(h) = s(h) = h.
(ii) De mme, si est une anti-section de i, alors 1 est une anti-section de i0
puisque pour tout n N , on a :
1 i0 (n) = i(n) = n.
(iii) Si i(N ) est central dans G, alors i(N ) est central dans (G) = G0 , donc i0 (N )
est central dans G0 .

Proposition 7.6 (Caractrisation du produit semi-direct).

i
Soit lextension () suivante : 1 N G H 1.
(i) Si lextension () est scinde par une section s de , alors :
on a une action de H sur N de morphisme structurel
f s : H Aut(N1)
Ad ;
h 7 { n 7 i (s(h)i(n)s(h)1 ) }
cette action permet de dfinir un produit semi-direct N os H ;
can. can.
les extensions () et N N os H H sont quivalentes.
(ii) Rciproquement, sil existe Hom(H, Aut(N )) tel que les extensions () et
can. can.
N N o H H sont quivalentes, alors lextension () est scinde.

Dmonstration. La partie (ii) est une application directe du lemme 7.5. Concentrons-
nous sur la partie (i). Puisque N est un noyau, N est distingu, donc les automorphismes
intrieurs de G stabilisent N et par restriction dfinissent des automorphismes de N .
Ainsi, Ads induit par restriction un morphisme de H dans Aut(N ). On construit alors le
diagramme suivant
G '
i
[ ]
[ u
'')
wN [ w1
1 '' [] H
j
') [[pr 2

N os H
o :
N os H est le produit semi-direct induit par Ads ,
j : N N os H, n 7 (n, 1H ) est un morphisme injectif,
pr2 : N os H H, (n, h) 7 h est un morphisme surjectif,
: N o H G, (n, h) 7 i(n)s(h) est un morphisme,
les deux lignes sont exactes.

57
Le diagramme est commutatif puisque j = i et
(n, h) = (i(n)s(h)) = s(h) = h = pr2 (n, h).
G N
Lapplication : 1
1 vrifie i(n) = n pour n N . Mieux :
g 7 i g s (g)
1
i(n)s(h) = i1 i(n)s(h). s (i(n)s(h))
1
= i1 i(n)s(h) ss(h)
= n.
Remarquons que nest pas un morphisme : pour tous n, n0 N et h, h0 H, on a :
(i(n)s(h)i(n0 )s(h0 )) = (i(n)s(h)i(n0 )s(h1 hh0 ))
= (i(n)i(Ads(h) (n0 ))s(hh0 ))
= nAds(h) (n0 ).
G N os H
Pour tout g G, posons : .
g 7 ((g), (g))
Alors, pour tous n N et h H, on a (i(n)s(h)) = (n, h). Donc est une application
rciproque de , donc cest le morphisme rciproque de et est un isomorphisme. On
peut aussi voir directement que est un morphisme, puisque pour tous n, n0 N et
h, h0 H, on a :
(i(n)s(h)i(n0 )s(h0 )) = (nAds(h) (n0 ), hh0 )
= (n, h)(n0 , h0 )
= (i(n)s(h))(i(n0 )s(h0 )).

Remarques.
1. On voit que lexistence dune section s de nimplique pas lexistence dune anti-
section de i, puisque cest dans la dernire dmonstration qui aurait d jouer ce rle,
mais ntait pas un morphisme. Daprs le lemme suivant, est un morphisme si et
seulement si G = N H.
2. Dans la partie (ii), le fait que G soit isomorphe N o H ne suffit pas pour que
lextension soit scinde : il faut en outre quon ait une equivalence dextensions entre G
et N o H. Voici un exemple.
Le centre Z(T3,p ) du groupe T3,p nest pas trivial car T3,p est un p-groupe, mais ne peut
pas tre dordre p2 , car le quotient serait cyclique, donc le groupe serait ablien daprs
le lemme 6.1. Donc Z(T3,p ) est isomorphe Z/pZ. Le quotient de T3,p par son centre est
(Z/pZ)2 , puisque les lments non triviaux de T3,p sont dordre p. Donc T3,p une extension
centrale de (Z/pZ)2 par Z/pZ. Soit G = T3,p Z/pZ. Alors G est lextension centrale
suivante :
1 (Z/pZ)2 G (Z/pZ)2 1.
Si cette extension tait scinde, puisquelle est centrale, le groupe G serait ablien.
Pour-
tant, T3,p est isomorphe (Z/pZ) o Z/pZ, donc le groupe G est isomorphe (Z/pZ)2
2

Z/pZ Z/pZ, lui-mme isomorphe (Z/pZ)2 o (Z/pZ)2 .

Finalement, G est isomorphe (Z/pZ)2 o (Z/pZ)2 , mais lextension centrale G consi-
dre au dbut nest pas quivalente lextension scinde (Z/pZ)2 o (Z/pZ)2 .

58
 3. Si deux structures de produits semi-directs les mmes, alors les extensions associes
sont quivalentes. La rciproque est fausse. Appuyons-nous sur lexemple du lemme 3.19.
On a une quivalence dextensions :
S3 Z/2Z
''
[[]
u

[
i '')
[
1 w S3 '' Z/2Z w1
'') [ [[]
0
i [ 0

S3 o Z/2Z
o les morphismes i, i0 , et 0 sont les morphismes canoniques et o est donn par :
(, 0) = (, 0) et (, 1) = (, 1)
pour tout S3 , o est lunique transposition de S3 telle que les conjugaisons par (1, 1)
et par (, 0) dans S3 o Z/2Z concident. La proposition suivante prcise ce quil manque
une quivalence dextensions pour devenir une similitude de structures de produit semi-
direct.

Proposition 7.7 (Caractrisation des similitudes de structure de produit semi-direct

parmi les quivalences dextensions).
i i0 0
Soient N G H et N G0 H deux extensions scindes par deux sections
respectivement s et s0 , et soit une quivalences dextensions de G0 vers G. Alors les
assertions suivantes sont quivalentes :
(i) est une similitude de structures de produit semi-direct,
(ii) s = s0 ( un automorphisme de H prs).

Dmonstration. Puisque est une quivalence dextensions, elle vrifie i0 = i ( un

automorphisme de N prs) daprs le lemme 7.4. Alors prcisment, la condition man-
quante pour tre une similitude de structures de produit semi-direct est la condition (ii).

Proposition 7.8 (Caractrisation des extensions triviales).

i can. can.
Les extensions N G H et N N H H sont quivalentes si et seulement
si la suite exacte
i
1N G H1
est scinde gauche (i.e. il existe une anti-section de i).

Dmonstration.
Montrons le sens direct. On part de lquivalence dextensions suivante o j et p sont
les morphismes canoniques.

59
 :G HH
vv O HH
i vvv HH
v HH
vv HH
vv $
1 /N / 1.
\ HHH
v;H
HH j p vvv
HH v
HH vv
# vv
N H
Puisque j admet une anti-section vidente, daprs le lemme 7.5, il existe une anti-
section de i dfinie par = 1 .
Montrons le sens retour. Partons dune anti-section de i, dans la suite exacte (*).
Soit g Ker () et n N tel que i(n) = g. Alors n = i(n) = (g) = 1N , donc
Ker () Im (i) = {1G },
donc Ker () Ker () = {1G }. Donc restreint Ker () est un isomorphisme. Vrifions
que cet isomorphisme est surjectif sur H. Pour tout h H, il existe g G tel que
(g) = h. Alors (g.i(g)1 ) = (g)i((g)1 ) = (g) = h. Par ailleurs, (g.i(g)1 ) =
(g)i(g)1 = 1N . Finalement, Im () (Ker ()). Ainsi, la restriction de Ker ()
possde un inverse que lon appelle s, qui est une section de , et qui vrifie :
Im (s) = Ker ().
Alors G est le produit semi-direct interne i(N ) o s(H), et puisque s(H) est un noyau,
s(H) est distingu dans G, donc G est le produit direct interne i(N ) s(H).

Exemples.
1. Pour tout groupe G, notons ZG son centre et Int(G) le groupe dautomorphismes
intrieurs de G. Alors on a la suite exacte centrale o i est linclusion et Ad envoie un
lment g sur la conjugaison par g :
i Ad
1 ZG G Int(G) 1.
Puisque la suite exacte est centrale, elle nest scinde que si G est le produit direct de son
centre par un sous-groupe, daprs la proposition 7.8.
2. Attention, mme si lextension N , G H nest pas scinde, G peut tre malgr
tout un produit semi-direct. Voici un exemple.
Soient G et H le groupe et le sous-groupe suivants.
G = h x, y | xy = yx, x4 = 1, y 2 = 1 i = Z/4Z Z/2Z,
2
N = hx , yiG = Z/2Z Z/2Z / G.
On a la suite exacte :
1 |{z}
N |{z} G G/N 1. ()
2
| {z }
(Z/2Z) Z/4ZZ/2Z Z/2Z
Le groupe G est une extension de H par N . Pourtant, G nest pas un produit semi-
= Z/2Z Z/2Z, on aurait G
direct de N par G/N . En effet, sil ltait, puisque N =
(Z/2Z Z/2Z) o Z/2Z. Puisque G est commutatif, le produit serait direct et finalement,
G serait isomorphe (Z/2Z)3 .

60
7.2 Extensions de H par N et Hom(H, Out(N ))
Dfinition 7.9.
Notons :
E(H, N ) lensemble des extensions de H par N ,
Es (H, N ) lensemble des extensions scindes de H par N ,
E(H, N ) lensemble des classes dquivalences des extensions de H par N ,
Es (H, N ) lensemble des classes dquivalences des extensions de H par N .

Dfinition 7.10 (Groupe dautomorphismes extrieurs).

Etant donn un groupe G, on note Aut(G) le groupe de ses automorphismes et Int(G)
le groupe de ses automorphismes intrieurs. Remarquons que Int(G) est distingu dans
Aut(G). Le groupe quotient est not Out(G) et est appel le groupe des automorphismes
extrieurs. Par ailleurs, un automorphisme de Aut(G) est dit extrieur sil nest pas int-
rieur.

Exemples.
1. Par exemple, pour tout n 6= 6, Aut(Sn ) = Int(Sn ), donc Out(Sn ) = {1}. Pour n =
6, on a Out(S6 ) = Z/2Z. Les automorphismes extrieurs de S6 envoient les transpositions
sur des produits de trois transpositions support disjoint. Prcisons que certains de ces
automorphismes extrieurs sont des involutions. Autrement dit, Out(S6 ) se relve dans
Aut(S6 ).
2. A linverse, dans un groupe ablien A, Int(A) = {1}, donc Aut(A) = Out(A) : tous
les automorphismes sont extrieurs.

Remarques.
1. On a une suite exacte faisant intervenir Out(G) :
incl. Ad quot.
1 ZG G Aut(G) Out(G) 1
dans laquelle toutes les flches sont canoniques (linclusion, la conjugaison par un lment,
le passage au quotient). Cette suite exacte provient de deux suites courtes exactes :
incl. Ad
1 ZG G Int(G) 1,
incl. quot.
1 Int(G) Aut(G) Out(G) 1.
En gnral, aucune de ces deux suites exactes nest scinde.
2. Remarquons que lon a un morphisme canonique de Hom(H, Aut(G)) dans
Hom(H, Out(G)) de noyau Hom(H, Int(G)), donc on a un morphisme injectif canonique :

Hom(H, Aut(G))
, Hom(H, Out(G)).
Hom(H, Int(G))
Sil existe une section du morphisme Aut(G) Out(G), alors le morphisme ci-dessus
est un isomorphisme. Mais sil nen existe pas, ce morphisme nest pas toujours surjectif
(prendre H = Out(G)).

61
Dfinition 7.11 (Pseudo-sections).
Etant donne la suite exacte,
i
1 N G H 1, ()
une pseudo-section de est une application ensembliste s : H G, h 7 h telle que
(h) = h, i.e. s = Id H .

Dfinition 7.12 (Extensions et morphismes daction extrieure).

Il existe une application canonique :
: E(H, N ) Hom(H, Out(N ))
i
dfinie ainsi. A toute extension N G H, on associe le morphisme :
f : G Aut(N )
Ad f g : n 7 i1 (gi(n)g 1 ) .
g 7 Ad
f passe au
Soit pr : Aut(N ) Out(N ) le morphisme canonique. La composition pr Ad
c de G dans Out(N ). Lapplication
quotient sous i(N ) et induit via un morphisme Ad
f est la seule qui fait commuter le diagramme suivant :
Ad
1 wN i
wG
wH w1
= f
Ad c
Ad
u u u
N Ad
w Aut(N ) pr
w Out(N ) w1
i c On dira que Ad
c
Le morphisme associe lextension N G H le morphisme Ad.
est le morphisme daction extrieure de lextension.

Remarques.
1. Lapplication envoie toute extension scinde par une section s sur Ads , confor-
mment la proposition 7.6. Dans ce cas, est surjective, puisque toujours daprs la
proposition 7.6, Es (H, N ) est en bijection canonique avec Hom(H, Aut(N )). Dans la
proposition suivante, on calcule le noyau de la restriction de Es (H, N ).
2. Le fait que la seconde ligne ne soit pas exacte gauche, en raison du centre ven-
tuellement non trivial de G, est un srieux problme la classification des extensions
ventuellement non scindes. Cela dit, lorsque le centre de G est trivial, les choses se
passent bien comme on le verra au paragraphe suivant.

Proposition 7.13 (Extensions scindes quivalentes et Hom(H, Out(N ))).

Soient N N o H H et N N o H H deux extensions scindes. Elles sont
quivalentes si et seulement si :
1 Hom(H, Int(N )).

Dmonstration. Considrons deux extensions de H par N , toutes deux scindes, dont

les actions respectives sont donnes par deux morphismes et de H dans Aut(N ), et
concidant dans Out(N ). Alors, pour tout h H, soit un lment nh N tel que

62
 h = Adnh h .
Puisque , Ad et sont des morphismes, il doit exister une relation entre nh , nh0 et nhh0 .
Dune part on a hh0 = Adnhh0 hh0 , dautre part on a :
hh0 = h h0
= Adnh h Adnh0 h0
= Adnh Adh (nh0 ) h h0
= Adnh h (nh0 ) hh0 ,
do :
nhh0 = nh h (nh0 ).
Ceci tant, posons
N o H N o H
: ,
(n, h) 7 (nnh , h)
et vrifions que ainsi dfini est bien un morphisme :
(n, h) (n0 , h0 ) = (n nh , h), (n0 nh0 , h0 )

= n nh h (n0 nh0 ), hh0

= n nh h (n0 )h (nh0 ), hh0

= n h (n0 )nh h (nh0 ), hh0

= n h (n0 )nhh0 ), hh0

= n h (n0 )), hh0

= (n h) (n0 , h0 ) .
Par ailleurs, il est clair que le diagramme suivant commute.

[]
N o H
''
[[ ')
u
i

1 wN '' H w1
[]

')
i0
[
[ 0

N o H
Ainsi, les deux extensions sont quivalentes.
Rciproquement, partons de deux extensions scindes N o H et N o H quivalentes,
comme sur le diagramme ci-dessus. Appelons s la section de telle que Ads = , et s0 la
section de 0 telle que Ads0 = . Soit n N et h H. Alors,

h1 h (s) = i0 1 s0 (h1 )i0 i1 s(h)i(n)s(h1 ) s0 (h) .
Or s(h)i(n)s(h1 ) i(N ), or i0 i1 concide avec 1 sur i(N ), donc on obtient :
1
h h (n) = h1h (n)
= i0 1 s0 (h1 )1 s(h)i(n)s(h1 ) s0 (h)
= i0 1 s0 (h1 )1 s(h)1 i(n)1 s(h1 )s0 (h)

.
0 1 0 1 1 0 1 1 0
= i s (h ) s(h)i (n) s(h )s (h)
= i0 1 gi0 (n)g 1
o :
g = s0 (h1 )1 s(h).

63
Il sagit de montrer que llment g de N o H appartient en fait i0 (N ). Or on tire des
relations s = Id H et = 0 lgalit :
0 1 s = Id H
donc :
0 (g) = 0 s0 (h1 )1 s(h)
= 0 s0 (h1 ) 0 1 s(h)
= 0 s0 (h1 ) h = 1H .
| {z }
h1
Finalement, 0 (g) = 1H , donc g i0 (N ), donc h1 h (n) est une conjugaison dans N de
n. Donc 1 est un morphisme de H dans Int(N ).

Rcapitulons les rsultats de ce paragraphe (dfinition 7.12 et proposition 7.15).

Thorme 7.14 (Liens entre Es (H, N ) et Hom(H, Out(N )), cas gnral).
On a le diagramme commutatif suivant,
E(H, N )
u

w Hom(H, Out(N ))
u

can.
incl.

y y
Es (H, N )

w Hom(H, Aut(G))
Hom(H, Int(G))
o est lapplication induite par (cf. dfinition 7.12).

Corollaire 7.15 (Produits semi-directs isomorphes des produits triviaux).

(i) Si Hom(H, Out(N )) est trivial, tout produit semi-direct de N par H est isomorphe
au produit direct de N par H.
(ii) Un produit semi-direct N o H est trivial si et seulement si Hom(H, Int(N )).

Exemples.
1. Ceci claire dun jour nouveau le lemme 3.19 dans lequel on montrait que tout
produit semi-direct de S3 par Z/2Z formait une extension quivalente au produit direct
de S3 par Z/2Z. Cela venait tout simplement du fait que Out(S3 ) = {1}.
2. De faon gnrale, tout produit semi-direct de Sn , n 6= 6, par un groupe est iso-
morphe au produit direct de Sn par ce groupe. Dans le cas n = 6, il existe un unique
produit semi-direct S6 oZ/2Z non isomorphe S6 Z/2Z, car il existe dans Aut(S6 ) une
involution extrieure (autrement dit, Out(S6 ) se relve dans Aut(S6 )). Cest un groupe
qui na pas de centre, et tel que laction de (1, 1) par conjugaison dans ce groupe envoie
les transpositions de S6 {0} sur les produits de trois transpositions supports disjoints.

64
7.3 Extensions de H par N o N est de centre trivial.

Proposition 7.16 (Extensions par des groupes de centres triviaux, 1).

Soit N un groupe dont le centre est trivial. Lapplication : E(G, N ) Hom(G, Out(N ))
induit la bijection

: E(G, N ) Hom(G, Out(N )).

Le lemme suivant nous sera utile pour la preuve de la proposition 7.16.

Lemme 7.17 (Tir en arrire dune extension).

i
Soit N G H une extension et un morphisme dun groupe H 0 dans H. Alors,
il existe une extension N G0 H 0 rendant le diagramme suivant commutatif, et
lensemble de toutes ces extensions constitue une classe dquivalence dextensions de H 0
par N .
1 wN u
i
wG u

wH u
w1
=

1 N w G0 H0 w 1 w w
0 0
Une telle extension N G H sera appele un tir en arrire de G via .

Dmonstration. Soit G0 le produit de G et H 0 fibr par H via et , i.g. :

G0 = G G G0 = (g, h0 ) G H 0 | (g) = (h0 )) ,
muni de la loi :
(g1 , h01 )(g2 , h02 ) = (g1 g2 , h01 h02 ).
Soient alors :
G0 H 0 N G0 G0 G
0 : 0 0 , i0 : , : .
(g, h ) 7 h n 7 (i(n), 1H ) (g, h0 ) 7 g
On vrifie lexactitude en G0 :
Ker ( 0 ) = (g, h0 ) | h0 = 1

= (g, 1H 0 ) | (g) = 1H
.
= (g, 1H 0 ) | n N, g = i(n)
= i0 (N )
Il est alors facile de voir que le diagramme suivant est commutatif.
1 wN u
i
wG u

wH u
w1
=

1 wN i0
w G0 0
w H0 w1
Vrifions que deux telles extensions N G H 0 et N G00 H 0 sont qui-
0

valentes. On vrifie facilement que tout lment g 0 de G0 est dtermin par le couple

65
((g 0 ), 0 (g 0 )). Do lisomorphisme de G00 vers G0 prouvant que deux telles extensions
sont quivalentes.
Enfin, vrifions que si deux extensions N G0 H 0 et N G00 H 0 sont quiva-
lentes et si N G0 H 0 est un tir en arrire de N G H via , alors N G00 H 0
est un tir en arrire via . Cest immdiat par le diagramme commutatif ci-dessous.
1 wN u
i
wGu

wH
u
w1
=

1 wN u
w G0
u
w H0u
w1
= =

1 wN w G00 w H0 w1

Dmonstration de la proposition 7.16.

Nous allons dmontrer que lapplication : E(G, N ) Hom(G, Out(N )) (cf. la dfini-
tion 7.12) est surjective lorsque N est de centre trivial, puis que deux extensions ont la
mme image si et seulement si elles sont quivalentes.
Soit Hom(G, Out(N )). On complte le diagramme suivant par un tir en arrire
de Aut(N ) via , comme dans le lemme 7.17.
1 wN u
Ad
w Aut(N ) pr
w Out(N )u
w1
=

N H
ce qui montre que est surjective, car en compltant le diagramme ci-dessus, on obtient le
diagramme ci-dessous, dans lequel nous allons montrer que est bien laction extrieure
de lextension ainsi obtenue de H par N .
1 wN u
Ad
w Aut(N )
u
pr
w Out(N )
u
w1
=

1 wN i
wG
wH w1
Soit g G. Par dfinition du produit fibr, il existe Aut(N ) et h H, tel que g scrit
sous la forme (, h) o pr = (h). Rappelons galement que par construction de , on
a (g) = , et par construction de i, on a i(n) = (Adn , 1) pour tout n N . Montrons
f Pour tout n N ,
que = Ad.
gi(n)g 1 = (, h)(Adn , 1)(1 , h1 ) = (Ad(n) , 1) = i((n)).
Donc = Ad f g , or (g) = , donc = Ad. f Or, par dfinition, Ad c est le morphisme
qui joue le rle de dans le diagramme ci-dessus lorsque = Ad, f donc on a montr
c
que = Ad. Autrement dit, est bien le morphisme daction extrieure de lextension
obtenue.

66
 Rciproquement, toute extension N G H de morphisme daction extrieure
fait commuter le diagramme suivant, par dfinition.
1 wN i
wG
wH w1
= f
Ad c
Ad
u u u
N Ad
w Aut(N ) pr
w Out(N ) w1
Or puisque N est de centre trivial, la suite du bas est elle aussi une suite exacte.
Donc lextension N G H peut tre vu comme un tir en arrire de lextension
N Aut(N ) Out(N ) par . Or daprs le lemme 7.17, lensemble des tirs en ar-
rire constitue une classe dquivalence dextension. Ceci achve la dmonstration de la
proposition 7.16.

En rassemblant les rsultats des propositions 7.15 et 7.16, on obtient le rsultat suivant.

Thorme 7.18 (Liens entre Es (H, N ) et Hom(H, Out(N )), cas o ZN = {1}).
On a le diagramme commutatif suivant,
/ Hom(H, Out(N ))
E(H, N )
O O

incl. incl.

?
? Hom(H, Aut(G))
/
Es (H, N )
Hom(H, Int(G))
o est lapplication induite par (cf. dfinition 7.12).

Remarques.
1. On avait vu avec la proposition 7.15 que les extensions scindes dun groupe par
un groupe symtrique taient toujours quivalentes (en tant quextensions) des produits
directs (sauf dans le cas du groupe S6 ). Avec la proposition 7.16, on voit que toutes
les extensions, mme a priori non scindes dun groupe par un groupe symtrique sont
quivalentes (en tant quextensions) des produits directs.
2. Dans le cas o G est un groupe dont le centre nest pas trivial, on ne peut plus appli-
quer le lemme 7.17. Et pour cause : dans certains cas, un morphisme de Hom(G, Out(N ))
ne correspond aucune extension, tandis que dans dautres cas, un morphisme de
Hom(G, Out(N )) peut correspondre plusieurs classes dquivalence dextensions. On
verra au chapitre 8 que la cohomologie des groupes en degr un et deux rpond des
problmes dextension des groupes. Le problme dexistence ou non dextensions corres-
pondant un morphisme de Hom(G, Out(N )) est lie la cohomologie en degr 3 (en
fait, de telles extensions existent si et seulement si un limage dun cocycle dpendant du
morphisme choisi est nulle dans H 3 (G, ZN )).

67
7.4 Extensions de H par A o A est ablien
On considre la suite exacte () suivante o A est un groupe ablien not additivement.
En revanche, G et H sont des groupes quelconques nots multiplicativement.
i
0 A G H 1, ()

La situation ici est radicalement oppose celle du paragraphe prcdent, puisque dans
ce cas-l, on cherchait les extensions par des groupes de centres triviaux, alors quici, nous
allons nous intresser aux les extensions par des groupes abliens (donc des groupes dont
le centre est eux-mmes). Alors Hom(H, Out(A)) se ramne Hom(H, Aut(A)).

Rappelons quau paragraphe 7.2, nous avons associ toute extension de H par N
un morphisme H dans Out(N ) que nous avons appel le morphisme daction extrieure
(cf. dfinition 7.12). Lorsque N est ablien, il ny a plus lieu de quotienter par Int(A),
donc ce morphisme sexprime plus simplement. De plus, ladjectif extrieur na plus
lieu dtre, puisque ce morphisme devient effectivement le morphisme structurel dune
action de H sur A canoniquement associ lextension considre. Nous posons donc la
dfinition suivante.

Dfinition 7.19 (Morphismes daction dune extension ablienne).

Etant donne une extension ablienne,
i
0 A G H 1. ()
laction extrieure (cf. dfinition 7.12) est une action bien dfinie de H sur A que
lon appellera laction canonique de lextension ().
On appellera morphisme daction de cette extension le morphisme suivant
H Aut(N )
:
h 7 { n 7 i1 (hi(n)h1 ) }
o h est un lment de G tel que (h) = h, qui nest rien dautre que le morphisme
structurel de laction canonique. Cest galement limage de lextension () par le
morphisme : E(H, A) Hom(H, Aut(A)) (cf. dfinition 7.12).

i
Remarque. Le morphisme daction de lextension A A o H H o i et sont les
morphismes canoniques concide avec . Par contre, si i et ne sont plus les morphismes
canoniques, il ny a plus galit entre et le morphisme daction (cependant, il existe une
relation simple permettant de passer de lun lautre, cf. proposition 7.22).

Proposition 7.20 (Extensions abliennes et morphismes daction).

(i) Lapplication : E(H, A) Hom(H, Aut(A)) est surjective.
(ii) Deux extensions quivalentes ont le mme morphisme daction.
(iii) Lextension suivante de morphisme daction
i
0 A G H 1
est scinde si et seulement si elle est quivalente lextension
can. can.
0 A A o H H 1.

68
Dmonstration.
can. can.
(i) Le morphisme daction de lextension A A o H H concide avec , donc
est surjective.
(ii) Partons dune quivalence dextensions :

 [[
Gu
 []

i

0 wA[ H w1.
[[ 
] 
j
0
 p

G
Soit : H Aut(A) le morphisme structurel de laction canonique via G et 0 : H
Aut(A) celui de laction canonique via G0 . On va montrer quelles concident. Soit
h H 7 h G
une pseudo-section de . Alors,
h H 7 1 (h) G0
est une pseudo-section de p, et pour tout h H et tout a A, on a :
1
0 h (a) = j 1 1(h)j(a) 1
(h) 1

= i1
(h)

1
i(a) 1 1
(h )
= i1 hi(a)h1
= h (a)
(iii) Cest une consquence directe de la partie (ii) et de la proposition 7.6.

Remarques.
1. Deux extensions abliennes de H par A quivalentes dfinissent une mme action de
H sur A. Changer les pseudo-sections (ou les sections quand il y en a) ne modifie pas cette
action. Par contre, changer lextension elle-mme en conservant E, mais en changeant i
ou par exemple modifie laction de H sur A.
2. Deux extensions abliennes de H par A quivalentes dfinissent une mme action
de H sur A. Rciproquement, partant dune action donne de H dans A, les extensions
dont laction canonique concide avec cette action sont-elles toutes quivalentes ?
dans le cas des extensions scindes, la rponse est oui, daprs la partie (iii),
dans le cas gnral, la rponse est non (cf. lexemple ci-dessous),
au paragraphe 8.3, on verra que ces classes dquivalences sont en bijection avec
H 2 (H, A) (cf. dfinition au paragraphe 8.1, puis thorme 8.3).
3. Attention, lorsque les extensions ne sont pas abliennes, deux extensions quivalentes
peuvent donner lieu deux actions diffrentes de H sur A. Par exemple, les extensions
S3 o Z/2Z et S3 Z/2Z sont quivalentes, comme on la vue. Or laction de Z/2Z sur
S3 est non triviale dans un cas, triviale dans lautre.

69
Thorme 7.21 (Liens entre Es (H, A) et Hom(H, Out(A)), avec A ablien).
On a le diagramme commutatif suivant,

/ / Hom(H, Out(N ))
E(H, A)
O q8
qqqqq
qq
qqq
incl. qq
qq
qqqqq
? qqq
Es (H, A)
o est lapplication induite par (cf. dfinition 7.12).

Exemple.
Voici un exemple de deux extensions abliennes de mme action canonique, mais non
quivalentes :
< HO 8 Eh y EE s
i yyy EE
yy E
EE
yy "
/ Z/4Z / 1.
0 EE

Z/2Z
EE p yy<
EE yy
j EE yy
" yv y t
D4
o s est une pseudo-section et t est une section, induisant toute deux la mme action non
triviale de Z/2Z sur Z/4Z. Un tel morphisme faisant commuter le diagramme nexiste
pas.
Voici le dtail. Le sous-groupe A = h ii de H8 est distingu. Notons H = {1, j} le
quotient H8 /A, et le morphisme H8 H envoyant les lments de A sur 1, et les
lments de {j, k} sur j. Soit s : H H8 une pseudo-section telle que s(1) = 1 et
s(j) = j. On a la suite exacte :
i1
1 /A /H j /H / 1.
8
s
La pseudo-section s permet de dfinir laction canonique de H sur A. Elle est dcrite par
un morphisme : H Aut(A) envoyant 1 sur lidentit, et j sur linvolution de A qui
fixe 1 et 1, et qui change i et i. Choisir une autre pseudo-section aurait produit la
mme action. Mais il nexiste pas de vraie section de H dans H8 , puisque {j, k} ne
contient pas dlments dordre 2. Le groupe H8 nest donc pas pas isomorphe A o H.
En effet, A o H est isomorphe au groupe didral D4 qui possde quatre lments dordre
2, contrairement H8 .

Corollaire 7.22 (Distinguer deux produits semi-directs).

Soient H un groupe, A un groupe ablien, 1 et 2 deux morphismes de H dans Aut(A).
Si les groupes G1 = A o1 H et G2 = A o2 H sont isomorphes par un isomorphisme
qui envoie i1 (A) sur i2 (A), alors il existe Aut(H) et Aut(A) tels que pour tout
h H, on ait :
(2 )h = 1 (1 )(h) ,
Autrement dit, les deux produits semi-directs sont de structures semblables.

70
Dmonstration. Partons des deux extensions de lnonc et appelons-les E1 et E2 :
i1 1
E1 : A G1 H,
i2 2
E2 : A G2 H.
Soit Isom(G2 , G1 ) tel que i1 (A) = i2 (A). Alors, il existe Aut(N ) tel que :
i1 = i2
Daprs le lemme 7.4, cette dernire galit implique lexistence de Aut(H) tel que :
2 = 1
On se donne galement lextension intermdiaire suivante que lon appelle F .
i
F : A G2 H avec i = i2 1 et 2 = .
Grce aux quatre galits prcdentes, le diagramme suivant est commutatif.
i1 1
1 /A / G1 /H /1
O O O
= =

1 /A / G2 /H /1
O i O O
=

1 /A / G2 /H /1
i2 2

Alors les extensions E1 et F sont quivalentes, donc (F ) = (E1 ) = 1 . Soit s une

section de . Alors s est une section de 2 car 2 s = s = Id H . Or A est ablien, donc
le morphisme daction associ une extension scinde ne dpend pas de la section. En
appliquant ce fait aux extensions F et E2 , on trouve :
(1 )h (n) = i1 (s(h)i(n)s(h)1 )
(2 )h (n) = i2 1 (s(h) i2 (n) s(h)1 )
= 1 i1 (s(h) i (n) s(h)1 )
= 1 (1 )(h) (n).
Le corollaire est ainsi dmontr.

Exemple. Au paragraphe 3.6, on on class tous les produits semi-directs du type Z/133Zo
Z/3Z. Il ne nous restait plus qu dcider si les deux groupes
G1 = Z/133Z o1 Z/3Z o (1) = {z 7 11z},
G2 = Z/133Z o2 Z/3Z o (1) = {z 7 30z},
sont isomorphes ou non. Sil existe un isomorphisme : G1 G2 , il devrait envoyer
le sous-groupe normal Z/133Z de G1 sur le sous-groupe normal Z/133Z de G2 , car on
a vu lors de la dmonstration de la proposition 6.11 que G1 et G2 ne possdaient quun
seul sous-groupe dordre 19 et quun seul sous-groupe dordre 7, donc quun seul sous-
groupe dordre 133. Alors, daprs la proposition 7.22, ces deux extensions devraient tre
quivalentes. Or elles ne le sont pas puisquon ne peut pas passer de laction 1 laction 2
par une combinaison des deux critres dquivalence. En effet, rappelons que Aut(Z/133Z)
est isomorphe Z/18ZZ/6Z, et que par cet isomorphisme, 1 et 2 sont les morphismes
suivants :
Z/3Z Z/18Z Z/6Z Z/3Z Z/18Z Z/6Z
1 : et 2 : .
1 7 (6, 2) 1 7 (12, 2)

71
Or il nexiste pas dlments Z/3Z et Z/18Z Z/6Z tels que
1 () 1 = 2 (1),
car Z/18ZZ/6Z est ablien, donc la conjugaison est sans effet, et multiplier par envoie
ventuellement (6, 2) sur (12, 4), mais en aucun cas sur (12, 2).

8 Extensions de groupes et cohomologie de groupes

8.1 Cohomologie de groupes

G-modules (libres), lanneau Z[G].
Soit G un groupe. Un G-module est la donne dun groupe ablien A et dune action de G
sur A. Soit Z[G] le groupe additif des polynmes dont les indtermines sont les lments
de G,
P
Z[G] = ki gi , n N, ki Z, gi G .
16i6n
Le groupe Z[G] est un G-module via laction vidente :
P P
g. ki gi = ki (ggi ).
16i6n 16i6n
La multiplication entre indtermines issue du produit dans G fait du groupe Z[G] un
anneau. Un G-module est en fait un module sur lanneau Z[G]. Un morphisme de G-
modules est un morphisme de groupes qui commute laction de G , autrement dit,
un morphisme de groupe f tel que f (g.x) = g.f (x).
Un G-module M est dit libre si laction de Z[G] sur M est libre. Il est quivalent de
demander que M soit une somme directe de sous-groupes isomorphes Z[G].

Rsolution libre de G-modules sur Z.

Une rsolution libre F de G-modules sur Z est une suite exacte longue de la forme
3 2 1
... F2 F1 F0
Z,
o les Fi sont des G-modules libres, o F0 est un G-module libre de rang 1 (donc isomorphe
Z[G]), o Z est vu comme un G-module (non libre) via laction triviale, et o toutes les
flches sont des morphismes de G-modules. Avec ces conditions, la flche est forcment
le morphisme suivant appel augmentation :
P P
( ki gi ) = ki .
16i6n 16i6n

Un exemple est fondamental : la rsolution standard.

La rsolution standard de G-modules sur Z.

Pour tout i > 0, soit Gi lensemble des i-uplets, nots entre crochets [.], dlments de G.
Ainsi G0 est rduit llment [ ], G1 est en bijection avec G, G2 est en bijection avec
G G, etc. Pour tout i > 0, on note G ei le G-module libre de base Gi . Ainsi

72
 P
e0 = Z[G][ ] =
G ki gi [ ], n N, ki Z, gi G ,
16i6n
e1 = L
G Z[G][g],
gG
e2 = L
G Z[G][g, h],
(g,h)G2
etc. Un morphisme de G-modules de G ei dans un G-module A est dtermin par une
i
application ensembliste de G dans A. On dfinit diffrents morphismes de G-modules
ei , que lon dfinit partir de fonctions ensemblistes sur les Gi . Soit dk : G
entre les G en
en1 dfini pour tout k N par :
G


d0 ([g1 , g2 , . . . , gi , . . . , gn ]) = [g2 , g3 , . . . , gn ]

d1 ([g1 , g2 , . . . , gi , . . . , gn ]) = [g1 g2 , g3 , . . . , gn ]

di ([g1 , g2 , . . . , gi , . . . , gn ]) = [g1 , . . . , gi1 , gi gi+1 , gi+2 , . . . , gn ]

dn ([g1 , g2 , . . . , gi , . . . , gn ]) = [g1 , . . . , gn1 ]
Soit i : Gei G ei1 dfini pour tout i N par :


1 ([g]) = g[ ] [ ]

2 ([g, h]) = g[h] [gh] + [g]

3 ([g, h, k]) = g[h, k] [gh, k] P+ [g, hk] [g, h]
n
n ([g1 , g2 , . . . , gi , . . . , gn ]) = i=0 (1)i di ([g1 , g2 , . . . , gi , . . . , gn ])
Soit : Ge0 Z dfini par :
P P
( ki gi [ ]) = ki
16i6n 16i6n
Alors la suite suivante
3 2 1
...
F2
F1 Z[G] Z
est une rsolution de G-modules libres sur Z appele la rsolution standard et note
e Il est facile mais laborieux de vrifier par le calcul que i1 i = 0 pour tout
ici G.
i N et 1 = 0, il est un peu plus difficile de prouver directement que rciproquement
Ker ( i1 ) Im ( i ), mais il existe dans les deux cas des techniques plus lgantes.

Complexe de cochane et cohomologie.

Soit A un G-module et F une rsultion libre de G-modules sur Z. On appelle complexe
de cochane associ la rsolution F de G-modules libres sur Z coefficient dans A la
donne pour tout i N de
C i (F, A) = HomG (Fi , A), le groupe additif des morphismes de G-modules de Fi
dans A,
i : C i (F, A) C i+1 (F, A) le morphisme de G-modules tel que pour tout f
C i (F, A) et tout x Fi+1 ,
i (f )(x) = f i+1 (x)
On a ainsi une suite :
0 1 2 3
C 0 (F, A) C 1 (F, A) C 2 (F, A) C 3 (F, A) . . .
qui vrifie pour tout i N :
i+1 i = 0,

73
car cette composition fait intervenir i+1 i+2 qui est lapplication nulle. Par contre, ce
nest plus une suite exacte. On dfinit alors pour tout i N :
C i (F, A) = HomG (Fi , A), les lments de C i (F, A) sont appels les cochanes,
Z i (F, A) = Ker ( i ), les lments de Z i (F, A) sont appels les cocyles,

B 0 (F, A) = {0},
les lments de B i (F, A) sont appels les cobords,
B i+1 (F, A) = Im ( i ),
i Z i (F, A) appel i-me groupe de cohomologie de G
H (G, A) = i .
B (F, A) coefficients dans A.
En fait, les cochanes, cocyles et cobords dpendent de la rsolution choisie, mais on peut
dmontrer par une succession de lemmes sur les diagrammes de suites exactes que le
groupe H i (G, A) est indpendant de la rsolution choisie ds que les G-modules Fi qui la
composent sont libres30 .

Exemple. Prenons la rsolution standard G, e et A un G-module quelconque. Lensemble

0 e e0
C (G, A) des cochanes dindice 0 est lensemble des morphismes de G-modules de G
0
dans A. Ces morphismes sont caractriss par les applications de G dans A, donc par le
choix dun lment de A :
e A)
C 0 (G, =A
Les e1 , on ait
0 cobords
de degr zro sont des morphismes f tels que pour tout x G
(f ) (x) = 0, autrement dit f (1 (x)) = 0. Lorsque x = [g], on obtient f (g[ ] [ ]) = 0,
e A) = {[ ] 7 0A }. Donc, en notant AG les lments
donc gf ([ ]) = f ([ ]). Par ailleurs, B 0 (G,
de A invariants par G, on a :
H 0 (G, A) e A)
= Z 0 (G, = AG .

Le groupe des drivations Der(G, A) et des drivations principales P(G, A).

Soit A un G-module. On appelle drivation de G dans A toute application f de G dans
A telle que31 :
f (gh) = f (g) + g.f (h)
pour tous g, h G. Le groupe additif des drivations est not Der(G, A). Ses lments
sont des applications f de G1 dans A vrifiant :

g.f ([h]) f ([gh]) + f ([g]) = f (2 ([g, h])) = 1 (f ) ([g, h]) = 0,
autrement dit, on a un isomorphisme32 entre Der(G, A) et de Z 1 (G, e A). On appelle
drivation principale de G dans A toute application f de G dans A telle quil existe un
lment a A tel que pour tout g G, on ait :
f (g) = g.a a.
Le groupe additif des drivations principales est not P(G, A). Remarquons quon a :
30
En fait, demander que les G-modules soient projectifs suffit. Tout module libre est projectif, mais la
rciproque est fausse.
31
Reprenons la formule f (gh) = f (g)+g.f (h) convenons dune action triviale droite de G sur A. Alors
on peut rcrire la formule ainsi : f (gh) = f (g).h + g.f (h), et lon retrouve la drivation dun produit de
fonctions, do le nom de drivation.
32
Il ne sagit pas dune galit, car les lments de Der(G, A) vont de G dans A tandis que les lments
e A) vont de G
de Z 1 (G, e dans A. Pour passer des premiers aux seconds, il faut linariser par Z[G].

74
 f (gh) = (gh).a a = (g.a a) + g.(h.a a) = f (g) + gf (h),
do lon dduit que P(G, A) Der(G, A). Les lments de P(G, A) sont des applications
f de G1 dans A telles quil existe a A vrifiant

f ([g]) = g.a a = f 0 (g[ ] [ ]) = f 0 (1 ([g])) = 0 (f 0 ) ([g]),
o f 0 : G0 A envoie [ ] sur a. Donc P(G, A) = B 1 (G, e A). Finalement,
Der(G, A)
H 1 (G, A) = .
P(G, A)
Si laction de G sur A est triviale, les drivations sont en fait les morphismes de G dans
le groupe A et les drivations principales sont rduites au morphisme trivial de G dans
A. Ainsi :
si laction de G sur A est triviale, alors H 1 (G, A) = HomZ (G, A).

Remarque. On voit sur ces deux exemples (le calcul de H0 (G, A) et le calcul de H1 (G, A))
que les groupes dhomologie ne dpendent pas seulement de G et du groupe A, mais
galement de la structure de G-module sur A.

8.2 Classification des sections des extensions abliennes scindes

par le H 1 (G, A)
On considre la suite exacte suivante o A est un groupe ablien :
i
0 A E G 1. (1)
Soit
G Aut(A)
:
g 7 Adg : a 7 i1 (gi(a)g 1 )
le morphisme daction associe lextension (1), o g 7 g est une pseudo-section de .
On note
ga = g (a)
cette action. De plus, on suppose que
E
= A o G,
de sorte que lextension soit scinde.

Problme. On cherche alors quelles sont les sections de (rappelons que puisque A est
ablien, le produit semi-direct quivalence dextension prs ne dpend pas de la section,
mais que de ). A lvidence, partant dune section s : G E, et dun lment e de E, le
morphisme s0 : G E dfini par s0 (g) = es(g)e1 est encore une section si s0 = Id G ,
autrement dit si (e)g(e1 ) = g. Donc pour que s0 soit aussi une section de , il faut et
il suffit que :
(e) ZG .
Cette condition est videmment vrifie si e i(A) (elle ny est cependant pas quivalente,
sinon tous les produits semi-directs entre groupes abliens seraient triviaux). On pose alors
la dfinition :

75
Dfinition 8.1 (Sections A-conjugues).
Deux sections s et s0 seront dites A-conjugues sil existe a A telles que pour tout g G,
on ait :
s0 (g) = i(a)s(g)i(a)1 .

Le problme consiste alors dcrire lensemble des sections de la suite (1) A-conjugaisons
prs. La rponse est donne par H1 (G, A)...

Thorme 8.2 (Classes de A-conjugaisons des sections de A o G G et H 1 (G, A).).

Soient A un groupe ablien, G un groupe, et : G Aut(A) un morphisme de groupes.
Les classes de A-conjugaison de sections de lextension suivante
i
0 A A o G G 1
1
sont en bijection avec H (G, A) o A est le G-module dont le groupe sous-jacent est A
et laction par G est donne par le morphisme .

Dmonstration. Partons dune section s de G. Puisque s = Id G , il existe une unique

application d : G G telle que :
G A o G
s : .
g 7 (dg, g)
Alors : s(g)s(h) = (dg, g)(dh, h) = (dg + gdh, gh),
or : s(gh) = (d(gh), gh),
donc : d(gh) = d(g) + gd(h),
donc : d Der(G, A).
Partons maintenant de deux sections A-conjugues s1 et s2 associes aux drivations d1
et d2 . Il existe a A tel que pour tout g G, on ait :
s1 (g) = i(a)s2 (g)i(a)1
= (a, 1G )(d2 g, g)(a, 1G )
= (a + d2 g ga, g).
Autrement dit, on a :
d1 (g) = d2 (g) (ga a),
donc les sections d1 et d2 sont gales une drivation principale prs. Ainsi, lensemble
des sections A-conjugaison prs sont en bijection avec :
Der(G, A)
P(G, A) =
H 1 (G, A).

Remarque . Dans le cas o le produit est direct, les sections sont en bijection avec
Hom(G, A) par lapplication suivante.
Hom(G, A) {Sections de }
f 7 s : g G 7 (f (g), g) A G
Or une section nest pas modifie par A-conjugaison puisque A est ablien. Ainsi, lorsque
E est isomorphe au produit direct de A par G, par le thorme 8.2 on retrouve le calcul
du H 1 dans le cas particulier o laction de G sur A est triviale :
H 1 (G, A) = HomZ (G, A), lorsque laction de G sur A est triviale.

76
8.3 Classification des extensions abliennes par le H 2 (G, A)
Etant donne une extension ablienne :
i
0 A E G 1, (1)
soit le morphisme daction associ cette application. Partant dune pseudo-section
h 7 h le morphisme daction est :
G Aut(A)
: .
g 7 Adg : a 7 i1 (gi(a)g 1 )

Problme. Rciproquement, tant donns un groupe ablien A, un groupe G et une

action de G sur A caractrise par un morphisme structurel
G Aut(A)
: ,
g 7 {a 7 ga}
on cherche dcrire lensemble des classes dquivalence extensions de G par A de mor-
phisme daction . Rappelons que deux extensions G E A et G E 0 A sont
quivalentes sil existe un isomorphisme : E 0 E tel que le diagramme ci-dessous
commute,

 [[[
Eu


i  ]

0 wA[ G w1
[[] 
i0
0
 0

E
et que sous ces conditions, les morphismes daction des deux extensions concident daprs
la proposition 7.20. Rappelons enfin quil existe exactement une classe dquivalence dex-
tensions scindes de G par A ayant pour morphisme daction, mais quil peut nexister
aucune ou exister plusieurs classes dquivalence dextensions non scindes de G par A
ayant pour morphisme daction.

Thorme 8.3 (Classification des extensions abliennes par H 2 (G, A)).

Soient un groupe ablien A, un groupe G, et une action de G sur A donne par un mor-
phisme : G Aut(A) faisant de A un G-module. Soit E(G, A, ) lensemble des
classes dquivalence dextensions de G par A de morphisme daction . Alors, on a33 :
E(G, A, )
= H 2 (G, A)

Dmonstration.
0o ) Partons dune extension de G par A de morphisme daction :
i
0 A E G 1. (0)
Soit s une pseudo-section de G dans E telle que
33
On note A pour rappeler que H 2 (G, A) est la cohomologie de G coefficients dans A o A est vu
comme G-module via laction induite par .

77
 s(1G ) = 1E . (1)
On note ga = g (a) de sorte que :
s(g)i(a) = i(ga)s(g). (2)
Si s est un morphisme (autrement dit, si s est une section), alors lextension E est quiva-
lente lextension A o G daprs la proposition 7.20. Ainsi les sections induisent toutes
un mme lment de E(G, A).

1o ) Supposons que s ne soit pas une section. On va construire une quivalence dexten-
sions entre E et une extension de rfrence construite partir de s. Pour cela, on dfinit
une application f : G G A exprimant de combien lcart entre s et ce que devrait
tre s si s tait un morphisme :
G G A .
f : (3)
(g, h) 7 i s(g)s(h)s(gh)1
1

Remarquons que (1) implique :

f (g, 1) = f (1, g) = 0. (4)

Montrons que lon peut retrouver lextension (0) ( quivalence prs) partir de A, G,
et f . En effet, puisque s(G) est une transversale de E sous laction de A, on a la bijection :

A G E
: .
(a, g) 7 i(a)s(g)
On va crer une loi sur A E qui fasse de A E un groupe et de un isomorphisme de
groupes. En utilisant (2), on voit que :
i(a)s(g)i(b)s(h) = i(a)i(gb)s(g)s(h)
= i(a + gb)s(g)s(h)s(gh)1 s(gh)
= i(a + gb)i(f (g, h))s(gh)
= i(a + gb + f (g, h))s(gh).
Soit Ef le groupe obtenu en munissant A G de la loi de groupes :
(a, g)(b, h) = (a + gb + f (g, h), gh)). (5)
Le groupe Ef ressemble ainsi un produit semi-direct perturb par f . La bijection
vrifie :

(a, g) (b, h) = (a + gb + f (g, h), gh) = (a, g)(b, h)
et est bien un morphisme de groupes de Ef vers E. Soient alors :
A Ef Ef G
i0 : et 0 : . (6)
a 7 (a, 1) (a, g) 7 g
On obtient lquivalence dextensions suivante qui montre quavec A, G, et f , on a pu
reconstruire quivalence prs lextension (0).

78
  [[
Eu
 []

i

0 wA[ G w1 (7)
[[]  
i 0
 0

Ef

2o ) Si lon part dune application f : G G A arbitraire satisfaisant (3) et (4),

on pourrait tenter de reconstruire le groupe Ef , mais la loi donne par(5) ne serait pas
associative
en gnral.
En dfinissant le produit par (5) et en calculant (a, g)(b, h) (c, k)
et (a, g) (b, h)(c, k) , on constate que lassociativit a lieu si et seulement si f satisfait34 :

f (g, h) + f (gh, k) = gf (h, k) + f (g, hk). (8)

pour tout g, h, k G. Avec (7), la loi donne par (5) est bien une loi de groupes. En effet, on
vrifie que (0, 1) est bien llment neutre, et que (a, g) possde un unique inverse (g 1 a
g 1 f (g, g 1 ), g 1 ), en remarquant que daprs (8), g 1 commute avec f (g, g 1 ). De plus,
on vrifie galement que les applications donnes par (6) sont encore des morphismes, et
quon obtient encore une quivalence dextensions (7).
Remarquons que lgalit (8) scrit galement :
2
(f ) ([g, h, k]) = 0,
Donc pour pouvoir construire le groupe Ef , il faut et il suffit de partir dun cocycle
f Z 2 (G,e A) satisfaisant en outre (4).

3o ) Montrons que si lon change la pseudo-section s pour une autre pseudo-section

0
s sans changer lextension E dans (0), cela revient ajouter un cobord au cocycle f ,
puisque s0 (g) = s(g) et s0 (1G ) = 1E entrane lexistence dune application c : G A
telle que
0
s (g) = i(c(g))s(g)
. (9)
c(1G ) = 0A
Or lapplication f 0 : G G A doit tre un cocycle, donc :
i(f 0 (g, h)) = s0 (g)s0 (h)s0 (gh)1
= i(c(g))s(g) i(c(h))s(h) s0 (gh)1
= i(c(g))i(gc(h))s(g)s(h)
s0 (gh)1
= ic(g) + gc(h) + f (g, h) c(gh)+ c(gh) s(gh) s0 (gh)1
= ic(g) + gc(h) + f (g, h) c(gh) i(c(gh))s(gh)s0 (gh)1
= ic(g) + gc(h) + f (g, h) c(gh)
= i f (g, h) + 1 (c)([g, h]) .
Donc f 0 = f + 1 (c) o c est une cochane de degr 1 vrifiant c(1G ) = 0A . Notons G e
les cochanes qui envoient [1G , . . . , 1G ] sur 0A . Il dcoule de cette tude que les classes
34
En anglais, une telle fonction f sappelle a factor set.

79
dquivalence dextensions de G par A de morphisme daction sont en bijection avec
H 2 (G, A), puisque :
e , A)
Z 2 (G
E(G, A, ) = = H 2 (G, A).
2 e
B (G , A)

Corollaire 8.4 (Existence de complments).

Soit E un groupe fini dordre mn avec m n = 1 tel que E contienne un sous-groupe
distingu ablien A dordre m. Alors E contient des sous-groupes dordre n et deux tels
sous-groupes sont conjugus.

Dmonstration. On va utiliser sans dmonstration le fait que si |A| |G| = 1, alors

H 2 (G, A) = 0 pour tout n > 0.
Soit G = E/A. Considrons lextension
i
0 A E G 1. ()
Le fait que |A| |G| = 1 implique que H 2 (G, A) = 0. Donc E(G, A) ne contient quun
seul lment. Donc lextension () est scinde. Cela prouve lexistence dun sous-groupe
dordre n dans E.
Supposons quon ait deux sous-groupes H et H 0 de E dordre n. Puisque n et m sont
premiers entre eux, ce sont des complments de A. Donc il existe deux sections s et s0
de G dans E telles que s(G) = H et s(G0 ) = H 0 . Le fait que |A| |G| = 1 implique que
H 1 (G, A) = 0. Donc toutes les sections de G dans E sont A-quivalentes. Par consquent,
il existe a A tel que H 0 = aHa1 .

80
A Un peu dhistoire des mathmatiques : les thormes
de Burnside

William Burnside est un mathmaticien anglais (1852 - 1927) dont les nombreux tra-
vaux (plus de 150 articles !) ont port essentiellement sur les groupes finis. La thorie
des groupes finis pris son essor la fin du XIXme sicle la suite de N.Abel, E.Galois,
J.Liouville, A.Cauchy, L.Sylow grce notamment H.Weber, G.Frobenius et W.Burnside.
W.Burnside a donn son nom de nombreux rsultats dont les suivants :

Le lemme de Burnside (qui serait en fait d Cauchy) :

S i G agit sur un ensemble X, alors on a lgalit :
1
P g
|X/G| = |G| |X |
gG
g
o X est lensemble des points de x de X fixs par g. La dmonstration consiste simple-
ment exprimer la somme en lindexant par les lments de X et en faisant intervenir le
stabilisateur StabG (x).

Un thorme de Burnside sur le centre des p-groupes.

Le centre dun p-groupe nest pas trivial. Cf. proposition 5.3.

Un thorme de Burnside sur les p-Sylow.

Soit G un groupe fini, S un p-Sylow. Si S est contenu dans le centre de son normalisateur,
alors il existe un sous-groupe distingu N de G tel que G/N est isomorphe S. Comme
premire application, cela permet par exemple de classifier les groupes dordre 60, ce qui
est difficile, par exemple A5 qui est simple en fait partie, ou de trouver tous les entiers n
(comme 7, 15, 255, etc.) tels quil nexiste quun seul groupe dordre n (donc un groupe
cyclique).

Un thorme de Burnside sur les groupes dordre p q .

Soient p et q deux entiers premiers distincts. Tout groupe dordre p q est rsoluble. En
particulier, lordre de tout groupe simple non cyclique contient au moins trois facteurs
premiers distincts. Ce thorme est lun des succs de la thorie des reprsentations (on
parle aussi de caractres) applique la thorie des groupes finis, une approche due
Frobenius.

Les conjectures de Burnside.

Les conjectures quil a formules influencent encore aujourdhui la recherche en thorie
des groupes. On les dtaille ci-dessous.
La premire conjecture de Burnside (1902), dont certains noncs drivs restent
encore aujourdhui des questions ouvertes.
Le thorme de Burnside (1905) qui apporte une rponse partielle positive la
premire conjecture.
La deuxime conjecture de Burnside (1906), rsolue depuis, et devenue le thorme
de Feit-Thomson.

81
A.1 Premire conjecture de Burnside (1902)
Problme gnral de Burnside (1902) :
Un groupe finiment engendr dont les lments sont tous dordre fini est-il fini ?
Au dbut du XXme sicle, les rsultats que lon connaissait tendait vers une rponse
positive. Intuitivement, si un groupe ressemble un groupe fini du point de vue de ses
lments, est-il vraiment fini ? Pose de faon aussi gnrale, la rponse est ngative, et le
premier contre-exemple a t trouv en 1964 par Golod et Shafarevich.

Problme affaibli de Burnside :

Un groupe finiment engendr et dexposant fini est-il fini ?

Problme restreint de Burnside (1930) :

Le nombre de groupes finis engendr par m lments et dexposant r est-il fini ?
Cette question est plus simple que la prcdente. Cela dpend bien sr de m et r. Il est
facile de voir que pour tout m, si r = 2, alors G
= (Z/2Z)m , donc dans ce cas, la rponse
est affirmative. En effet, tant donn deux lments a et b, le fait que a2 = b2 = (ab)2 = 1
montre en particulier que aabb = abab, do ab = ba, et le groupe est commutatif. En
1994, Zelmanov obtint la Mdaille Fields en rpondant cette question par laffirmative :
le nombre de tels groupes est toujours fini. Actuellement, On sait connat des bornes en
fonction de m pour tout m N seulement lorsque r {2, 3, 4, 6}.

Thorme de Burnside (1905) :

Tout sous-groupe du groupe linaire dun espace vectoriel de dimension finie et dex-
posant fini est dordre fini.

A.2 Deuxime conjecture de Burnside (1906)

Thorme A.1 (Feit-Thomson, 1962).
Tout groupe fini dordre impair est rsoluble.

Dmonstration. Lune des plus compliques des mathmatiques qui valut la mdaille
Fields Thomson.
En corollaire immdiat vient le rsultat suivant, fondamental dans la recherche des
groupes simples.

Corollaire A.2 (Vers la classification des groupes simples).

Tout groupe simple non cyclique est dordre pair.

82
Bibliographie

D. Guin : Algbre, tome 1, groupes et anneaux, Belin, 1997.

Ce livre est destine aux tudiants en licence dcouvrant les groupes. Il est trs bien fait,
reste simple et abordable.

X. Gourdon, Algbre, Ellipses, 1997.

Rappels de cours et thormes dmontrs de niveau Classe Prparatoire aux Grandes
Ecoles. De nombreux exercices corrigs permettent daller plus loin.

D. Perrin : Cours dalgbre, Ellipses, 1996.

Le premier chapitre sur les groupes finis est trs riche et de rdaction concise. Il est
conseill au lecteur davoir dj rencontr les principales notions prsentes pour profiter
pleinement de ce cours.

S. Francinou, H. Gianella : Exercices de mathmatiques pour lagrgation, Algbre 1,

Masson 1994.
Ce recueil est une mine dexercices.

P. Ortiz : Exercices dalgbre, Ellipses, 2004.

Contient une large partie de la correction des exercices suggrs par le Cours dalgbre
de D. Perrin, en vitant toutefois les redondances avec ceux dj trats dans le libre
dexercices de Francinou et Gianella.

D. Gorenstein : Finite groups, Harper and Row, New York. 1968.

Bible de la thorie des groupes finis de 500 pages.

S. Lang : Algebra, third edition, Addison Wesley, 1999.

Bible de lalgbre de 900 pages.

K.S. Brown : Cohomology of groups, Graduate texts in Mathematics, 87, Springer-

Verlag, New York, 1982.
Livre sur la cohomologie des groupes, sadressant de futurs chercheurs, exigeant peu de
pr-requis, et pourtant trs approfondi. Attention, la rdaction est trs concise et lou-
vrage peut paratre difficile en premire lecture.

83