Algebre 1-GROUPES

David Harari

1. Generalites
1.1. Definitions, premieres proprietes
Definition 1.1 Un groupe (G, .) est la donnee dun ensemble G et dune loi
interne (notee multiplicativement) G G G, (x, y) 7 xy verifiant :
1. . est associative : pour tous x, y, z de G, on a (xy)z = x(yz).
2. . possede un element neutre (necessairement unique), note e ou 1, i.e. :
xe = ex = x pour tout x de G.
3. Tout element x admet un symetrique (qui est forcement unique), cest-
a-dire un element x0 tel que xx0 = x0 x = e. On note en general x0 = x1
et on dit que x0 est linverse de x.
Definition 1.2 On dit que G est abelien (ou commutatif) si on a de plus
xy = yx pour tous x, y de G. Dans ce cas on notera souvent + la loi, 0 le
neutre, et x le symetrique de x quon appelle alors loppose de x.

Remarques :
Si (G, +) est un groupe abelien, on peut noter x y pour x + (y) =
(x) + y. On se gardera par contre bien dutiliser une notation du
genre x/y si G nest pas abelien car on ne saurait pas si cela signifie
xy 1 ou y 1 x.
Ne pas oublier de verifier les deux sens pour le neutre et le symetrique
si on veut montrer que (G, .) est un groupe.
Si G et H sont deux groupes, lensemble G H est muni ipso facto
dune structure de groupe definie par (g, h).(g 0, h0 ) := (gg 0 , hh0 ). Ceci
se generalise immediatement a une famille (pas forcement finie) de
groupes. On dit que le groupe ainsi obtenu est le produit direct des
groupes consideres.

1
Exemples :

1. Le groupe trivial G = {0}.

2. (R, +) et (R , ) sont des groupes (mais pas (R, ), car lelement 0

na pas dinverse).
Il en va de meme en remplacant R par C, ou encore par nimporte quel
corps. 1

3. G = (Z/nZ, +), ou n N . Il est dordre (i.e. de cardinal) n.

4. Soient E un ensemble et S(E) lensemble des bijections de E dans E.

Alors S(E), muni de la composition des applications, est un groupe.
Quand E = {1, ..., n}, on note Sn pour S(E) et on appelle ce groupe
le groupe symetrique sur n lettres (ou n elements). Son ordre est n!, et
il nest pas abelien si n 3.

5. Soit K un corps. Alors le groupe GLn (K) des matrices inversibles (n, n)
est un groupe (non abelien si n 2) pour la multiplication.

Definition 1.3 Soient G et G0 deux groupes. Une application f : G G0

est un morphisme de groupes si f (xy) = f (x)f (y) pour tous x, y de G. Si f
est de plus bijective, alors f 1 est aussi un morphisme et on dit que f est un
isomorphisme de G sur G0 . Un isomorphisme de G sur lui-meme sappelle
un automorphisme de G.

Remarques :

On dit parfois homomorphisme au lieu de morphisme.

Si f : G G0 est un morphisme, alors f (eG ) = eG0 , et f (x1 ) = f (x)1

pour tout x de G.

Lensemble Aut G des automorphismes de G, muni de la composition

des applications, est un groupe. Il peut etre non commutatif meme si
G lest [exercice : montrer que cest le cas pour G = Z/2Z Z/2Z].

On notera parfois G ' H pour G est isomorphe a H.

1
Par convention dans ce cours, un corps (field en anglais) designera un anneau com-
mutatif dans lequel tout element non nul possede un inverse, contrairement a la termi-
nologie (quon rencontre parfois en francais) dans laquelle on parle de corps commutatifs
ou non commutatifs.

2
Exemples.
1. Si a R, alors x 7 ax est un morphisme de (R, +) dans lui-meme.
Cest un isomorphisme si a 6= 0, et on a lanalogue en remplacant R
par nimporte quel corps commutatif.
2. Lapplication z 7 exp z est un morphisme, surjectif mais non injectif,
de (C, +) dans (C , ).
3. Si G est un groupe et a G, lapplication x
7 ax (translation a
gauche) est une bijection de G dans G, mais (sauf cas triviaux) ce
nest pas un morphisme.
4. Si G est abelien et n N , alors lapplication x 7 xn est un morphisme,
mais en general cela ne marche pas si G nest pas abelien. On notera
aussi que pour tout groupe G, lapplication x 7 x1 est un anti-
morphisme de G dans G, i.e. on a (xy)1 = y 1 x1 . 2
5. Si E est fini de cardinal n, on a S(E) ' Sn . Pour n 2, il existe
un unique morphisme non trivial de Sn vers {1}, la signature. En
particulier la signature de toute transposition est 1.
6. Soit K un corps. Le determinant est un morphisme de GLn (K) dans
K . Si E est un K-ev de dimension n, alors GLn (K) est isomorphe au
groupe (GL(E), ) des applications lineaires bijectives de E dans E.

Definition 1.4 Un sous-ensemble H dun groupe G est un sous-groupe si il

verifie :

1 H.
Pour tous x, y de H, on a xy H.
Pour tout x de H, on a x1 H.

Il revient au meme de dire que . est une loi de composition interne sur H
qui en fait un groupe.

Pour verifier que H est un sous-groupe, on peut aussi verifier quil est
non vide et que xy 1 reste dans H pour tous x, y de H, mais ce nest pas
plus simple en pratique.
[Exercice : Soient K un corps et G une partie de Mn (K) telle que G soit
un groupe pour la multiplication. G est-il un sous-groupe de GLn (K) ? ]
2
En termes pompeux, cest un morphisme de G vers Gopp , qui est par definition le
groupe ayant meme ensemble sous-jacent que G mais une loi definie par x y = yx.

3
Proposition 1.5 Si f : G H est un morphisme de groupes, alors limage
directe f (G0 ) dun sous-groupe G0 de G et limage reciproque f 1 (H 0 ) dun
sous-groupe H 0 de H sont des sous-groupes respectifs de H, G. En particulier
le noyau ker f := f 1 ({e}) est un sous-groupe de G et limage Im f := f (G)
est un sous-groupe de H. Le morphisme f est injectif si et seulement si son
noyau est reduit a lelement neutre.

Exemples.

Si a R, alors aZ est un sous-groupe de (R, +) (tous ceux qui ne sont

pas denses sont de cette forme).

Les sous-groupes de Z sont les nZ avec n N.

Soit n 2. Le noyau de la signature : Sn {1} est un sous-groupe

de Sn , le groupe alterne An .

Soit K un corps. Le noyau du determinant GLn (K) K est un sous-

groupe de GLn (K), appele groupe special lineaire. On le note SLn (K).

Si (G, +) est un groupe abelien et n N , alors lensemble G[n] des x

de G qui verifient nx = 0 est un sous-groupe de G, appele sous-groupe
de n-torsion (ici on a note nxS:= x + x + ... + x, avec n termes dans la
somme). Le groupe Gtors := nN G[n] est egalement un sous-groupe
3
de G, appele sous-groupe de torsion de G. Notons quil ny a pas de
bon analogue de cette notion si G nest pas abelien.
Par exemple le sous-groupe de torsion de (R, +) est {0} (on a lanalogue
pour tout corps de caracteristique zero, mais pour un corps K de
caracteristique p > 0, on a par definition K[p] = K). Celui de (R , )
est {1}, celui de C est le groupe multiplicatif de toutes les racines
de lunite. Si G est un groupe abelien fini dordre n, on a G[n] = G,
cas particulier du theoreme de Lagrange que nous verrons plus loin.

1.2. Generateurs dun groupe; groupes cycliques

Proposition 1.6 Soient G un groupe et A une partie de G. Alors il existe
un plus petit sous-groupe H de G contenant A. On lappelle sous-groupe
engendre par A et on le note hAi.
3
Attention en general une reunion de sous-groupes nest pas un sous-groupe; cela
marche ici parce quun element x qui verifie mx = 0 ou nx = 0 verifie (mn)x = 0.

4
Demonstration : Il suffit de prendre pour hAi lintersection de tous les
sous-groupes de G contenant A. On peut aussi decrire hAi comme lensemble
des produits x1 ...xn , ou chaque xi verifie : xi A ou x1
i A (si A est vide
on prend hAi = {e}).

Definition 1.7 Soient G un groupe et g G. Lordre de g est le plus petit

entier n > 0 (sil existe) tel que g n = 1. Si g n 6= 1 pour tout n > 0, on dit
que g est dordre infini.

Proposition 1.8 Soient G un groupe et g G. Si hgi est infini, il est

isomorphe a Z. Sil est de cardinal n, il est isomorphe a Z/nZ. Dans les
deux cas, lordre de g est le cardinal de hgi dans N {}.

Demonstration : Supposons dabord g dordre infini. Alors Z hgi,

m 7 g m est un morphisme surjectif. Son noyau est trivial (car g est dordre
infini, et g m = 1 est equivalent a g m = 1 si m est un entier negatif) donc
cest un isomorphisme. Ainsi Z est isomorphe a hgi.
Supposons maintenant g dordre n N . Comme g n = 1, lapplication
: Z/nZ hgi, m 7 g m est bien definie, et par definition de hgi cest
un morphisme surjectif. Soit m dans le noyau de , effectuons la division
euclidienne m = nq +r de m par n (0 r < n). On obtient g r = 1 dou r = 0
par definition de lordre. Ainsi m = 0 et est finalement un isomorphisme
de Z/nZ sur hgi.

Definition 1.9 Un groupe est dit monogene sil est engendre par un seul
element, cyclique sil est de plus fini.

Ainsi un groupe monogene infini est isomorphe a Z, un groupe cyclique

a Z/nZ, ou n est le cardinal du groupe.
[Exercice : si d divise n, Z/nZ possede un et un seul sous-groupe dordre
d.]

Exemples de groupes engendres.

1. Le groupe (Zn , +) est engendre par (1, 0, ...0), (0, 1, ..., 0), ..., (0, ..., 0, 1).

2. Le groupe symetrique Sn est engendre par les transpositions.

5
 3. Pour n 2, le groupe orthogonal On (R) est engendre par les reflexions
(i.e. les symetries orthogonales par rapport a un hyperplan), et pour
n 3 le groupe special orthogonal SOn (R) := On (R) SLn (R) est
engendre par les retournements (i.e. les symetries orthogonales par
rapport a un sous-espace de codimension 2).

[Exercice : (Q, +) nest pas engendre par une partie finie.]

1.3. Sous-groupes distingues, groupes quotients.

Proposition 1.10 Soient G un groupe et g G. Alors lapplication int g :
G G, h 7 ghg 1 est un automorphisme de G, appele automorphisme
interieur associe a g. Lapplication g 7 int g est un morphisme de groupes
de G dans (Aut G, ).

Definition 1.11 Un sous-groupe H de G est dit distingue ou normal sil est

laisse stable par tout automorphisme interieur, i.e. : pour tout g de G et tout
h de H, on a ghg 1 H. On note alors H C G.

Remarques :

H C G se traduit aussi par gHg 1 = H pour tout g de G (a partir de

gHg 1 H, changer g en g 1 et multiplier a gauche par g, a droite
par g 1 ).

Si G est abelien, tout sous-groupe de G est distingue.

{e} et G sont toujours des sous-groupes distingues de G.

Attention, la notion de sous-groupe distingue est relative (H est tou-

jours distingue dans lui-meme).

Proposition 1.12 Si f : G G0 est un morphisme de groupes et si H 0 CG0 ,

alors f 1 (H 0 ) est distingue dans G. En particulier ker f est distingue dans
G. Si H C G, alors f (H) est distingue dans f (G) (mais pas dans G0 en
general). Lintersection de deux sous-groupes distingues dans G est un sous-
groupe distingue de G.

Exemples

1. Soit n 2. Alors An est distingue dans Sn .

2. Si K est un corps commutatif, alors SLn (K) est distingue dans GLn (K).

6
 3. Soient n 3 et H le sous-groupe de Sn constitue de lidentite et dune
transposition = (a, b). Alors si Sn , on a 1 = ((a), (b))
donc H nest pas distingue dans Sn .

4. Soient G un groupe et Z le centre de G, i.e. lensemble des x de G qui

verifient xy = yx pour tout y de G. Alors Z est le noyau du morphisme
int : G Aut G donc Z C G.

Attention, C nest pas une relation transitive, on peut avoir K C H C G

et pas K C G.
[Exercice : soit V4 S4 lensemble constitue de lidentite et des trois
double-transpositions (a, b)(c, d) avec {a, b, c, d} = {1, 2, 3, 4}. Alors V4 est
un sous-groupe distingue de S4 , isomorphe a Z/2Z Z/2Z, et contenant des
sous-groupes dordre 2 qui ne sont pas distingues dans S4 .]

Definition 1.13 Un sous-groupe H de G est dit caracteristique si pour tout

Aut G, on a (H) H (dans ce cas on a en particulier H C G).

Par exemple le centre Z de G est caracteristique dans G. Dautre part si

K est caracteristique dans H et H dans G, alors K est caracteristique dans
G.

Proposition 1.14 Soit H un sous-groupe de G. Alors la relation x y si

et seulement si x1 y H (resp. xy 1 H) est une relation dequivalence
sur G. Lensemble quotient sappelle ensemble des classes a gauche (resp.
classes a droite) selon H, et est note G/H (resp. H \ G). Ses elements sont
de la forme aH (resp. Ha) avec a G (en particulier H est la classe de e).

Demonstration : On le fait pour les classes a gauche. x x est clair.

Si x y H, alors (x y) = y 1 x H dou la symetrie. Si x1 y H et
1 1 1

y 1 z H, alors (x1 y)(y 1z) = x1 z H, dou la transitivite.

Soit a H. Alors si x aH, on a x = ay avec y H dou a1 x = y H
et x a. Reciproquement si x a, on a a1 x H donc x aH. finalement
la classe de a dans G/H est bien aH.

Corollaire 1.15 (Th. de Lagrange) Si G est fini, lordre de tout sous-

groupe de H de G divise lordre de G.

En effet les classes a gauche constituent une partition de G et le cardinal

de aH est le meme que celui de H puisque les translations a gauche sont des
bijections de G sur G.

7
Theoreme 1.16 Soient G un groupe et H un sous-groupe distingue de G.
Alors :

1. Pour tout a de G, on a aH = Ha dou G/H = H \ G.

2. Il existe une unique structure de groupe sur G/H telle que la surjection
canonique p : G G/H (qui a tout a associe sa classe a = aH = Ha)
soit un morphisme de groupes. Le groupe G/H ainsi obtenu sappelle
le groupe quotient de G par H.

Demonstration : 1. Par definition dun sous-groupe distingue, on a les

inclusions aHa H et a1 Ha H dou on tire aH Ha et Ha aH.
1

2. La loi sur G/H doit necessairement etre definie par ab = ab. Montrons
dabord que cette loi est bien definie, i.e. que ab ne depend pas du choix des
representants a et b. Si a = a0 et b = b0 , on peut dapres 1. ecrire a0 = h1 a
et b0 = bh2 avec h1 , h2 dans H, dou a0 b0 = h1 (ab)h2 . Ainsi a0 b0 H(abh2 ) =
(abh2 )H dapres 1., mais ce dernier ensemble nest autre que (ab)H vu que
h2 H. Finalement a0 b0 ab, cest ce quon voulait.
Le fait que lon ait defini une loi de groupe resulte alors immediatement
de la surjectivite de p jointe a la formule p(xy) = p(x)p(y) pour tous x, y de
G.

Remarques :
Lelement neutre de G/H est e = H.

Si G est abelien, on peut donc quotienter par nimporte quel sous-

groupe, mais il est facile de voir que le theoreme est toujours faux si H
nest pas distingue dans G (G/H est juste un ensemble), vu que la
propriete voulue implique que H est le noyau du morphisme de groupes
p.
4
Le groupe Z/nZ est le quotient de Z par le sous-groupe nZ.
[Exercice : trouver un groupe dordre 8 non abelien dont tous les sous-
groupes sont distingues, cf. TD...]

Proposition 1.17 Si G est un groupe fini et H un sous-groupe, alors on a

#(G/H) = #(H \ G) = #G/#H. En particulier lordre du groupe quotient
G/H (quand H est distingue) est le quotient des ordres de G et H.
4
Definition meilleure que celles quon rencontre parfois en classes preparatoires !

8
Demonstration : Cela resulte de ce que les classes a gauche (resp. a
droite) forment une partition de G, et chacune a pour cardinal celui de H.

Remarque : Plus generalement G/H est en bijection avec H \ G via

aH 7 Ha1 . Quand leur cardinal est fini, on dit que H est un sous-groupe
dindice fini de G, et on note [G : H] ce cardinal.

Theoreme 1.18 (Th. de factorisation) Soit f : G G0 un morphisme

de groupes. Alors il existe un unique morphisme de groupes f : G/ ker f G0
tel que f = f p. De plus f est injectif dimage Im f , i.e. G/ ker f ' Im f .

Remarques :

G/ ker f est bien un groupe car on a vu que ker f etait distingue dans
G.

Quand G est fini, on retrouve la formule #G = # ker f #Im f .

Demonstration : Necessairement f doit etre definie par f(a) = f (a), ou

a est la classe de a dans G/H. Cette definition a bien un sens car si a = b,
alors a = bn avec n ker f , dou f (a) = f (b)f (n) = f (b). Si a, b sont dans
G/H, on a f(ab) = f(ab) = f (ab) = f (a)f (b) = f(a)f(b) donc f est un
morphisme. Par definition f = f p dou Im f = Im f par surjectivite de p.
Enfin a ker f signifie a ker f , i.e. a = eG/H .

[Exercice : Soient G un groupe et H un sous-groupe distingue de G. alors

les sous-groupes (resp. les sous-groupes distingues) de G/H sont les N/H
avec N sous-groupe (resp. sous-groupe distingue) de G contenant H. Dans
le cas N CG, on a de plus (G/H)/(N/H) ' G/N . Autrement dit, dans G/H
on obtient un sous-groupe si on diminue G et un quotient si on augmente
H.]

1.4. Quelques complements

On va dabord voir limportante notion de suite exacte :

Definition 1.19 On dit quune suite (finie ou infinie)

... Gi Gi+1 Gi+2 ...

9
est exacte (les Gi etant des groupes et les fi des morphismes ) si pour tout
i, on a Im fi = ker fi+1 . En particulier
i p
1N GH1

est une suite exacte (dite courte) si et seulement si on a les trois proprietes :
i injective, p surjective, Im i = ker p. Dans ce cas, on a G/N ' H via le
theoreme de factorisation, et on dit que G est une extension de H par N . 5

Remarques :
De meme quon ne confondra pas sous-groupe et quotient, on ne con-
fondra pas sur-groupe et extension.

Quand tous les groupes sont abeliens et notes additivement, on ecrira

0 au lieu de 1 dans une suite exacte courte.

Exemples.
1. Si K est un corps, alors la suite
det
1 SLn (K) GLn (K) K 1

est exacte.

2. Les suites
det
1 SOn (R) On (R) {1} 1
et
det
1 SUn (C) Un (C) S 1 1
sont exactes, ou S 1 designe le groupe multiplicatif des complexes de
module 1.

3. Si n 2, la suite

1 An Sn {1} 1

est exacte.

4. Soit G un groupe de centre Z. Le groupe (Int G, ) des automorphismes

interieurs de G est isomorphe a G/Z via la suite exacte
int
1 Z G IntG 1
5
Certains auteurs, par exemple D. Perrin, disent plutot extension de N par H.

10
 [Exercices : -montrer que Z/2Z Z/2Z et Z/4Z sont tous deux des
extensions de Z/2Z par Z/2Z.
-Si n 3, le centre de Sn est reduit a lidentite. (Utiliser la formule
1 = ((a), (b)) pour Sn et = (a, b) transposition).
-Si K est un corps, le centre de GLn (K) est reduit au sous-groupe (iso-
morphe a K ) des homotheties. ]

Une notion importante est celle de sous-groupe derive :

Definition 1.20 Soit G un groupe, et x, y deux elements de G. On appelle

commutateur de x et y lelement [x, y] := xyx1 y 1 . Le sous-groupe derive
de G est par definition le sous-groupe engendre par les commutateurs.6 On
le note D(G).

Linteret de D(G) resulte dans la proposition suivante :

Proposition 1.21 Le sous-groupe D(G) est caracteristique (en particulier

distingue) dans G. Le quotient G/D(G) est abelien, et D(G) est le plus
petit sous-groupe de G qui a cette propriete. On note Gab := G/D(G)
(abelianise de G).

Labelianise de G est donc le plus grand quotient abelien de G, au sens

suivant : si G/H est un autre quotient abelien, alors Gab est une extension
de G/H.

Demonstration : Si est un automorphisme de G, alors on a ([x, y]) =

[(x), (y)] dou (D(G)) D(G) et D(G) est caracteristique. Si H est un
sous-groupe tel que G/H soit abelien, alors on a xyx1 y 1 = e dans G/H
pour tous x, y de G, donc [x, y] H; ainsi H contient D(G) puisquil contient
tous les commutateurs.

Par exemple D(G) = {e} si et seulement si G est abelien et D(S3 ) = A3 .

On verra plus tard que pour n 3, on a D(Sn ) = An donc Snab ' Z/2Z.

Definition 1.22 Un groupe G est dit simple si ses seuls sous-groupes dis-
tingues sont G et {e}, parfait si D(G) = G.

Par exemple un groupe abelien est simple si et seulement sil est isomorphe
a Z/pZ avec p premier, et un groupe simple non abelien est parfait. On verra
que An est simple si n 5, et SLn (K) est parfait si n 3.
6
Attention lensemble des commutateurs ne forme en general pas un sous-groupe, bien
quil soit assez difficile de construire un contre-exemple.

11
2. Groupes operant sur un ensemble
2.1. Generalites, premiers exemples
Definition 2.1 Soit G un groupe et X un ensemble. On dit que G opere
(ou agit) sur X si on sest donne une application G X X, (g, x) 7 g.x,
verifiant

Pour tous g, g 0 de G et tout x de X, on a g.(g 0 .x) = (gg 0 ).x

Pour tout x de X, on a 1.x = x

Remarques :
On a en particulier pour tout g que x 7 g.x est une bijection de X sur
X, de reciproque x 7 g 1 .x. Une definition equivalente consiste a se
donner un morphisme : G (S(X), ), en posant g.x = ((g))(x).

La definition ci-dessus correspond a celle daction a gauche. On peut

egalement parler daction a droite : (g, x) 7 x.g, satisfaisant x.(gg 0 ) =
(x.g).g 0 . Cela correspond a se donner un anti-morphisme de G vers
S(X) au lieu dun morphisme.

Premiers exemples.
1. G opere sur lui-meme par translations a gauche via g.x := gx. De
meme tout sous-groupe H de G opere sur G par translations a gauche.

2. G opere sur lui-meme par conjugaison : g.x := gxg 1 . Ici limage de

G dans S(G) est de plus contenue dans Aut G (ce qui netait pas le cas
dans lexemple precedent).

3. Sn opere sur {1, ..., n} par .x = (x).

4. Si H est un sous-groupe de G, G opere sur lensemble des classes a

gauche G/H par g.(aH) = (ga)H.

Definition 2.2 Etant donnee une operation dun groupe G sur un ensemble
X, on appelle :

orbite dun element x de X lensemble des g.x, g G. Les orbites sont

les classes dequivalence sur X pour la relation : x y si et seulement
sil existe g G tel que y = g.x. Sil ny a quune orbite, on dit que G
opere transitivement sur X.

12
 stabilisateur dun element x de X le sous-groupe Hx des g de G qui
verifient g.x = x. Il nest pas distingue dans G en general. On dit que
laction est fidele si le seul element de G qui stabilise tous les elements
de X est e, libre si tous les stabilisateurs sont reduits a {e} (cest
beaucoup plus fort).

Exemples.

1. Si H est un sous-groupe de G, laction de H sur G par translation a

gauche est libre, et les orbites ne sont autre que les classes a droite
suivant H. Si G est fini dordre n, on obtient en particulier quil ex-
iste un morphisme injectif (loperation de G sur lui-meme) de G dans
S(G) ' Sn (theoreme de Cayley).

2. Laction de Sn sur {1, ..., n} est transitive, et tous les stabilisateurs sont
isomorphes a Sn1 .

3. Laction de G sur G/H vue plus haut est transitive. La proposition ci-
dessous va montrer que cest en quelque sorte le cas generique dune
action transitive.

Proposition 2.3 Etant donnee une operation dun groupe G sur un ensem-
ble X et x X, on definit une bijection de lensemble des classes a gauche
G/Hx sur lorbite (x) de x via : g 7 g.x. En particulier si G est fini on
a # (x) = #G/#Hx (donc le cardinal de (x) divise celui de G). Ainsi si
laction est transitive, laction de G sidentifie a laction de G sur G/H x par
translation a gauche.

Demonstration : Deja lapplication : g 7 g.x de G/Hx vers X est

bien definie car si g = g 0 , alors g 0 = g.h avec h Hx , donc g 0 .x = g.(h.x) =
g.x. Elle est surjective par definition de lorbite. Enfin si g.x = g 0 .x, alors
(g 01 g).x = x, i.e. g 01 g Hx , ou encore g 0 = g dans G/Hx .

Corollaire 2.4 (Equation aux classes) Soit G un groupe fini operant sur
un ensemble fini X. Soit lensemble des orbites, notons #H le cardinal
du stabilisateur de x pour x dans lorbite (independant du choix de x dans
dapres la proposition precedente). Alors
X #G
#X =

#H

13
Demonstration : Comme les orbites forment une partition de X, cest
immediat dapres la proposition precedente. Il y a neanmoins (comme on le
verra plus tard ) des consequences tout a fait non triviales !

Theoreme 2.5 (Formule de Burnside) Soit G un groupe fini operant sur

un ensemble fini X. Pour tout g G, notons Fix g le sous-ensemble de X
constitue des points fixes de G. Alors
X 1 1 X
= #(Fix g)
xX
# (x) #G gG

De plus ce nombre est egal au nombre dorbites.

Demonstration : Soit E lensemblePdes couples (g, x) de G X qui

verifient g.x = x. Alors son cardinal est gG #(Fix g), mais ce cardinal est
P P
aussi xX #Hx = xX ##G (x)
. La formule en resulte. Dautre part, si
est lensemble des orbites, on a
X 1 XX 1 X
= = 1 = #
xX
# (x) x #

[Exercices : -Soit Pn (k) le nombre

P de permutations de {1, ..., n} qui ont
exactement k points fixes. Alors nk=0 kPn (k) = n!.
-Retrouver la decomposition dune permutation en cycles en utilisant
une action de groupe; verifier que lordre dune permutation dans Sn est
le p.p.c.m. des longueurs des cycles qui apparaissent dans sa decomposition.]

2.2. p-groupes; theoremes de Sylow

Definition 2.6 Soit p un nombre premier. On appelle p-groupe un groupe
de cardinal pn , ou n est un entier.

Proposition 2.7 Soit G un p-groupe non trivial. Alors

1. Le centre Z de G nest pas trivial.

2. Si G est de cardinal p ou p2 , alors p est abelien.

14
Demonstration : 1. On fait operer G sur lui-meme par conjugaison. Il
y a #Z orbites reduites a un element, et le cardinal des autres orbites est un
diviseur de pn := #G autre que 1, donc est divisible par p. Ainsi pn (avec
n > 0) est la somme du cardinal de Z et dun multiple de p, donc p divise
#Z.
2. Si G est de cardinal p, alors tout element non trivial de G est dordre
divisant p, donc dordre p, et G est cyclique. Supposons que G soit de cardinal
p2 . Si G netait pas abelien, le cardinal de Z serait p dapres 1., donc G/Z
serait cyclique (car de cardinal p). Mais on obtient une contradiction via le
lemme suivant :

Lemme 2.8 Soit G un groupe de centre Z avec G/Z cyclique. Alors G est
abelien.

Le lemme se demontre en prenant un generateur a de G/Z. Alors tout

element g de G secrit g = am z avec z Z, et il est alors immediat que deux
elements de G commutent.

Theoremes de Sylow.
On se pose la question suivante : etant donnes un groupe fini G et un
entier n divisant son cardinal, peut-on trouver un sous-groupe dordre n ? En
general la reponse est non (A4 est de cardinal 12, mais na pas de sous-groupe
dordre 6, regarder la decomposition dune permutation en cycles), mais dans
le cas particulier des p-sous-groupes, on va voir quon a une reponse positive.

Definition 2.9 Soit p un nombre premier divisant le cardinal n dun groupe

fini. On appelle p-sous-groupe de Sylow un sous-groupe H de cardinal p , ou
n = p m avec p ne divisant pas m (i.e. p ne divise pas [G : H]).

Theoreme 2.10 (Premier theoreme de Sylow) Soit G un groupe fini et

p un diviseur premier de #G. Alors G contient au moins un p-sous-groupe
de Sylow.

La preuve repose sur deux lemmes, qui ont un interet propre.

Lemme 2.11 Soit H un sous-groupe de G. Si G contient un p-Sylow S,

alors il existe a G tel que aSa1 H soit un p-Sylow de H.

(Ce lemme permet de se ramener a un sur-groupe pour prouver le

theoreme).

15
Lemme 2.12 Soit Fp = Z/pZ (corps a p elements) et Gp := GLn (Fp ) avec
n N . Alors Gp possede un p-Sylow.

Le premier theoreme de Sylow resulte facilement de ces deux lemmes. En

effet, il ne reste plus qua prouver que G est isomorphe a un sous-groupe de
Gp . Or G est isomorphe a un sous-groupe de Sn (theoreme de Cayley), et
Sn se plonge dans Gp en envoyant la permutation sur la matrice M qui
envoie le vecteur ei sur e(i) , ou (e1 , ..., en ) est la base canonique. 7 Il reste a
prouver les deux lemmes.

Preuve du lemme 2.11 : On a vu que H operait sur lensemble G/S

des classes a gauche via (h, aS) 7 (ha)S. On voit tout de suite que le
stabilisateur Stab H (aS) de aS pour cette action est aSa1 H. Chacun de
ces Stab H (aS) est un p-groupe comme sous-groupe de aSa1 , donc il suffit
de montrer que lun dentre eux a un indice dans H non divisible par p. Or,
#H
cet indice #Stab H (aS)
est aussi le cardinal de lorbite H (aS). Comme p ne
divise pas le cardinal de lensemble G/S (puisque S est un p-Sylow de G), le
resultat vient de ce que les orbites forment une partition de G/S.

Preuve du lemme 2.12 : On calcule dabord le cardinal de Gp . Cest

celui du nombre de bases du Fp -espace vectoriel Fnp , soit

(pn 1)(pn p)...(pn pn1 )

dou il ressort quun p-Sylow de Gp est de cardinal p1+2+...+n1 = pn(n1)/2 .

Or lensemble des matrices triangulaires superieures dont la diagonale na
que des 1 est un sous-groupe de Gp qui possede ce cardinal.

[Exercice : Un groupe de cardinal p m, avec p ne divisant pas m, contient

des sous-groupes dordre pi pour tout i (se ramener a un p-groupe et
raisonner par recurrence sur le cardinal en distinguant les cas G abelien et
non-abelien).]
Le theoreme suivant etudie la conjugaison des p-Sylow.

Theoreme 2.13 (Deuxieme theoreme de Sylow) Soit G un groupe fini

de cardinal n = p m avec p ne divisant pas m. Alors

1. Si H G est un p-groupe, il existe un p-Sylow de G qui le contient.

7
Attention si on permutait les coordonnees au lieu des vecteurs de base, on obtiendrait
un anti-morphisme et pas un morphisme.

16
 2. Les p-Sylow de G sont tous conjugues, et leur nombre k divise n.
3. k est congru a 1 mod. p (donc k divise m).

Demonstration : 1. Dapres le premier theoreme de Sylow, il existe au

moins un p-Sylow S de G. Le lemme 2.11 dit alors quil existe a G tel
que aSa1 H soit un p-Sylow de H, i.e. aSa1 H = H puisque H est un
p-groupe. Ainsi H est inclus dans aSa1 qui est un p-Sylow de G.
2. Si H est un p-Sylow de G, on a de plus H = aSa1 par cardinalite,
donc tout p-Sylow de G est conjugue de S. Faisons alors operer G par
conjugaison sur lensemble X des p-Sylow. Comme il ny a quune seule
orbite, son cardinal k (qui divise celui de G) est celui de X, i.e. le nombre
de p-Sylow.
3. Soit S un p-Sylow de G, on fait operer S sur X par conjugaison. Soient
S
X lensemble des points fixes pour cette action (i.e. les orbites reduites a un
element) et 0 lensemble des autres orbites. Lequation aux classes secrit
X
k = #X S + #
0

Le cardinal des orbites qui sont dans 0 divise celui de S et nest pas 1, donc
est divisible par p. Pour conclure il suffit donc de montrer quil ny a quune
seule orbite reduite a un point (celle de S). i.e. : si T est un p-Sylow de G
tel que sT s1 = T pour tout s de S, alors S = T .
Pour cela, on introduit le sous-groupe N de G engendre par S et T . A
fortiori S et T sont des p-Sylow de N , donc sont conjugues par un element
de N . Mais T est distingue dans N via le fait que sT s1 = T pour tout s de
S, donc finalement T = S. 8

Un cas particulier important est celui ou m na aucun diviseur 6= 1 qui

est congru a 1 modulo p. Alors G possede un p-Sylow unique, qui est donc
distingue. Par exemple un groupe dordre 63 ou 255 nest pas simple.

2.3. Produit semi-direct de deux groupes

Attention a cette notion, qui est en generale la source de nombreuses erreurs,
notamment a loral de lagregation...
Rappelons que quand G1 et G2 sont deux groupes, on dispose du produit
direct G1 G2 qui correspond a mettre la loi (g1 , g2 )(h1 , h2 ) = (g1 g2 , h1 h2 )
sur lensemble produit.
8
Ce raisonnement sappelle largument de Frattini.

17
 Le produit semi-direct est une generalisation de cette notion. Soient N et
H deux groupes et : H Aut N un morphisme de groupes, qui definit en
particulier une action h.n := (h)(n) de N sur G (mais on demande en plus
ici que limage de soit incluse dans Aut N , et pas seulement dans S(N )).
Proposition 2.14 On definit une loi de groupes sur lensemble produit N
H en posant
(n, h).(n0 , h0 ) := (n(h.n0 ), hh0 )
Ce groupe sappelle le produit semi-direct de N par H relativement a laction
; on le note N o H (ou simplement N oH si laction est sous-entendue).

Demonstration : Clairement (1, 1) est element neutre pour la loi definie

(on utilise deja ici que h.1 = 1, qui vient du fait que laction est a valeurs
dans Aut N ). Dautre part (n, h) a pour inverse (h1 .n1 , h1 ) (ici on utilise
h1 .(nn1 ) = (h1 .n)(h1 .n1 )). Il reste a verifier lassociativite.
On a
[(n1 , h1 )(n2 , h2 )](n3 , h3 ) = (n1 (h1 .n2 ), h1 h2 )(n3 , h3 ) = (n1 (h1 .n2 )[(h1 h2 ).n3 ], h1 h2 h3 )
et
(n1 , h1 )[(n2 , h2 )](n3 , h3 )] = (n1 , h1 )(n2 (h2 .n3 ), h2 h3 ) = (n1 [h1 .(n2 (h2 .n3 ))], h1 h2 h3 )
Or (h1 .n2 )[(h1 h2 ).n3 ] = [h1 .(n2 (h2 .n3 ))] dapres les axiomes des actions de
groupe et le fait que n 7 h1 .n soit un automorphisme de N . Dou le resultat.

Remarques :
Parler du produit semi-direct de N par H na de sens que si on precise
laction, il peut exister plusieurs actions de H sur N , donc plusieurs
produits semi-directs. On fera aussi attention au fait que H et N ne
jouent pas des roles symetriques.
Laction triviale correspond au produit direct.
Proposition 2.15 Avec les notations ci-dessus, soit G = N o H. Alors :
1. On a une suite exacte
i p
1N GH1
avec i(n) = (n, 1) et p(n, h) = h. En particulier N sidentifie a un
sous-groupe distingue (note encore N ) 9 dans G.
9
N comme normal; le symbole o ressemble a C et permet de se rappeler le sens
dans lequel on effectue le produit semi-direct.

18
 2. La suite exacte est scindee, i.e. il existe un morphisme s : H G
(section) verifiant p s = IdH . Ainsi H sidentifie a un sous-groupe
(encore note H) de G.

3. Dans G, on a N H = {1} et N H = G, ou N H est par definition

lensemble des nh avec n N et h H. De plus loperation de H sur
N est decrite par h.n = hnh1 , le produit de droite etant effectue dans
G.

Demonstration : 1. i et n sont des morphismes via (n, 1)(n0 , 1) =

(n(1.n0 ), 1) = (nn0 , 1) et (n, h)(n0 , h0 ) = (n(h.n0 ), hh0 ). Le fait que la suite
soit exacte est immediat.
2. Il suffit de poser s(h) = (1, h).
3. Dapres 1., N H est lensemble des (n, h) avec n = h = 1, donc il est
reduit au neutre de G. si g = (n, h) est un element de G, on a g = (n, 1).(1, h),
donc G = N H. Enfin on a dans G : hnh1 = (1, h)(n, 1)(1, h1 ) =
(h.n, h)(1, h1 ) = (h.n, 1) = h.n.

Remarque : Via la proposition precedente, on peut desormais ecrire les

elements de N o H de maniere unique sous la forme nh (n N, h H) avec
la regle de commutation hn = (h.n)h. Notons aussi que N o H est abelien
si et seulement si loperation est triviale, avec N et H tous deux abeliens.
On a une sorte de reciproque de la proposition precedente pour savoir
quand un groupe se decompose en produit semi-direct.

Proposition 2.16 1. (Caracterisation interne) Soit G un groupe con-

tenant deux sous-groupes N et H avec
i) N C G.
ii) N H = {1}.
iii) G = N H.
Alors G ' N o H pour loperation h.n = hnh1 .

2. (Caracterisation externe) Soit

1N GH1

une suite exacte admettant une section s : H G. Alors G ' N o H

pour loperation h.n = s(h)ns(h)1 .

19
Demonstration : 1. Soit loperation de H sur N definie par (h)(n) =
hnh1 . Alors lapplication : N o H G qui associe a (n, h) le produit
nh (dans G) est un morphisme car ((n, h)(n0 , h0 )) = (n(hn0 h1 ), hh0 ) =
nhn0 h0 . Linjectivite de resulte de ii) et sa surjectivite de iii).
2. Posons H1 = s(H). Comme s est injective vu que ps = idH , H1 est un
sous-groupe de G isomorphe a H et via 1., il suffit de montrer : N H1 = {1}
et N H1 = G (on a identifie N a son image dans G). Si h1 N H1 , alors
p(h1 ) = 1 mais h1 = s(h) avec h H, dou 1 = p(s(h)) = h et h1 = 1. Si
maintenant g G, alors g et s(p(g)) ont meme image par p, donc ils different
dun element du noyau N , i.e. g = nh1 avec h1 := s(p(g)), et g N H1 .

Cest en general le deuxieme critere qui est le plus utile pour obtenir
des decompositions en produit semi-direct, mais on gardera bien a lesprit la
facon de determiner loperation de H sur N associee en fonction de la suite
exacte et de la section.
[Exercices : -Soit G = N oH, alors loperation de H sur N est triviale (i.e.
le produit est direct) si et seulement si le sous-groupe H de G est distingue.
-Soient N et H deux groupes, et deux morphismes H Aut N . Sil
existe u Aut N tel que (h) = u (h) u1 (actions conjuguees), alors
N o H ' N o H.]
-Soient N et H deux groupes, et deux morphismes H Aut N . Sil
existe Aut H tel que = , alors N o H ' N o H (envoyer
nh N o H sur n(h) N o H).]

Exemples.

1. Pour n 2, la suite exacte

1 An Sn Z/2Z 1

est scindee via la section s qui envoie 0 sur Id et 1 sur une transposition
(arbitraire) . On en deduit une decomposition Sn ' An o Z/2Z.

2. Soient K un corps et n N . La suite exacte

det
1 SLn (K) GLn (K) K 1

est scindee (envoyer K sur la matrice Diag(, 1, ..., 1)). Ainsi

GLn (K) ' SLn (K) o K .

20
 3. Le groupe Z/4Z nest pas produit semi-direct de Z/2Z par Z/2Z. En
effet le seul automorphisme de Z/2Z est lidentite, donc laction serait
triviale; or Z/4Z nest pas isomorphe au produit direct Z/2Z Z/2Z
(le premier groupe a des elements dordre 4 et pas le deuxieme). En
particulier la suite exacte

0 Z/2Z Z/4Z Z/2Z 0

(obtenue en envoyant x (mod. 4) sur x (mod.2), le noyau est {0, 2} qui

est isomorphe a Z/2Z) nest pas scindee.10

4. Soit n 3, on note Dn le groupe des isometries du plan conservant

un polygone regulier convexe a n cotes. Il contient les n rotations de
centre O (le centre du polygone) et dangle 2k/n (0 k n 1) et
les n reflexions par rapport aux droites passant par O et les sommets
(si n est impair) ou les milieux des cotes (si n est pair). On a une suite
exacte
1 Z/nZ Dn Z/2Z 1
obtenue en prenant le determinant dune isometrie, qui est a valeurs
dans {1}. Elle est scindee (on envoie lelement non trivial de Z/2Z
sur une reflexion), dou une decomposition Dn ' Z/nZoZ/2Z. Notons
que laction correspondante de Z/2Z sur Z/nZ consiste a poser .x =
x pour x Z/nZ.

2.4. Complements sur Z/nZ

Pour construire des produits semi-directs non triviaux, on sinteresse aux
automorphismes de (Z/nZ, +), ce qui comme on va le voir est etroitement
lie a la structure du groupe des inversibles de lanneau Z/nZ.
On commence par la proposition elementaire suivante, que nous rappelons
sans demonstration :

Proposition 2.17 Soit n N , s Z. Alors les proprietes suivantes sont

equivalentes :
i) (s, n) = 1.
ii) s engendre le groupe additif Z/nZ.
iii) s appartient au groupe des inversibles (Z/nZ) de lanneau Z/nZ.
10
On voit donc que meme dans des cas tres elementaires, on ne peut pas toujours recon-
stituer un groupe a partir de ses sous-groupes. En particulier, la connaissance des groupes
finis simples ne suffit absolument pas a connatre tous les groupes finis, contrairement a
une croyance populaire assez repandue (notamment chez les agregatifs !).

21
 On prendra garde de ne pas confondre les structures additives et multi-
plicatives (par exemple ne pas remplacer iii) par s engendre (Z/nZ) , ce
qui est trivialement faux par exemple pour s = 1; on verra que le groupe
multiplicatif (Z/nZ) nest pas cyclique en general, ex. n = 8).
On va preciser maintenant un peu la structure de (Z/nZ) et son lien
avec Aut ((Z/nZ, +)); pour tout n N , on note (n) lindicatrice dEuler
de n, i.e. le nombre dentiers x de [1, n] qui sont premiers avec n.
Qr
Proposition 2.18 Soit n N , on ecrit n = i=1 pi i avec les pi premiers
deux a deux distincts. Alors :

1. Le cardinal de (Z/nZ) est (n). Pour p premier, on a (p) = p 1,

et plus generalement (p ) = p1 (p 1) si 1.
11
2. Le groupe Aut (Z/nZ) des automorphismes du groupe additif Z/nZ
est isomorphe au groupe multiplicatif (Z/nZ) .

3. On a un isomorphisme danneaux
Y
r
Z/nZ ' Z/pi i Z
i=1

et un isomorphisme de groupes
Y
r
(Z/nZ) '
(Z/pi i Z)
i=1

Qr Qr
4. On a (n) = i=1 pi i 1 (pi 1) = n i=1 (1 1
pi
).

Demonstration : 1. resulte de la proposition precedente, et de ce que

les entiers de [1, p ] non premiers avec p sont les multiples de p.
2. Il est immediat que lapplication du groupe ((Z/nZ) , ) dans le
groupe (Aut (Z/nZ), ) qui envoie a sur x 7 ax est un morphisme de groupes.
Ce morphisme est injectif car si (a) est lidentite, alors ax = x pour tout x
soit a = 1 en prenant x = 1. Il est surjectif car si Aut (Z/nZ), alors en
posant a = (1), on obtient que pour tout x de N, on a (x) = (1 + ... + 1)
(x termes) soit (x) = ax; dautre part a (Z/nZ) car 1 doit avoir un
antecedent par .
11
et non pas de lanneau; le seul automorphisme de lanneau (Z/nZ) est lidentite, vu
que 1 doit etre envoye sur 1.

22
 Q
3. Lapplication de Z/nZ dans ri=1 Z/pi i Z qui envoie x sur (xi )1ir ,
ou xi est la classe de x mod. pi i est clairement un morphisme danneaux.
Il est injectif car si x est divisible par tous les pi i , il est divisible par leur
produit
Qr n vui quils sont deux a deux premiers entre eux.12 Comme Z/nZ
et i=1 Z/pi Z ont meme cardinal, il est aussi surjectif . La deuxieme
assertion est immediate en ecrivant que deux anneaux isomorphes ont des
groupes dinversibles isomorphes.
4. resulte de 1. et 3.

Pour aller plus loin, on voudrait maintenant determiner la structure de

(Z/p Z) pour p premier et N . On commence par le cas = 1.

Proposition 2.19 Soient K un corps13 et G un sous-groupe fini du groupe

multiplicatif K . Alors G est cyclique.

Demonstration : On utilise le lemme suivant

Lemme 2.20 Soit n N , alors

X
n= (d)
d|n

Le lemme se demontre en observant que Z/nZ contient un unique sous-

groupe Cd de cardinal d, qui est cyclique et est precisement lensemble des
x de Z/nZ tels que dx = 0. Comme Cd est isomorphe a Z/dZ, il contient
exactement (d) elements dordre d. Finalement Z/nZ contient exactement
(d) elements dordre d (un tel element x doit verifier dx = 0, donc appartenir
a Cd ) et on obtient le lemme en triant les elements de Z/nZ suivant leur ordre.
Revenons a la proposition. Soit n le cardinal de G et supposons que G
contienne un element x dordre d. Alors le sous-groupe Gd engendre par x est
de cardinal d, et tous ses elements g verifient g d = 1. Mais dans le corps K
lequation polynomiale X d 1 = 0 a au plus d solutions, donc necessairement
Gd est lensemble de ces solutions. Comme il est cyclique dordre d, il contient
(d) elements dordre d qui sont exactement les elements dordre d de G (un
element dordre d de G verifie lequation X d 1 = 0, i.e. appartient a Gd ).
On a ainsi montre que pour tout d divisant n, G possede 0 ou (d) elements
12
Cest une des formulations du lemme chinois.
13
Rappelons quon impose que la multiplication de K soit commutative; sinon la propo-
sition est fausse, lalgebre H des quaternions sur C contenant par exemple un sous-groupe
non-abelien de H dordre 8.

23
dordre d, cest-a-direPen tout cas au plus (d) elements dordre d. Dapres
le lemme, on a n > d|n,d6=n (d), donc on obtiendrait une contradiction si
G navait pas delements dordre n. Ceci montre que G est cyclique.

Corollaire 2.21 Pour p premier, le groupe (Z/pZ) est cyclique (donc iso-
morphe a Z/(p 1)Z).

En effet dans ce cas Z/pZ est un corps. Notons que determiner explicite-
ment un generateur de (Z/pZ) est un probleme en general difficile.
On passe maintenant au cas general.

Theoreme 2.22 Soient p un nombre premier different de 2 et N .

Alors le groupe (Z/p Z) est cyclique (donc isomorphe a Z/p1 (p 1)Z).

Comme on le verra plus loin, ce resultat est faux si p = 2 et 3.

Pour montrer le theoreme, on commence par exhiber un element dordre
p1 dans (Z/p Z) a laide du lemme suivant :

Lemme 2.23 Soient p premier 6= 2 et k N , alors

k
(1 + p)p = 1 + pk+1

avec entier non divisible par p.

Demonstration : On procede par recurrence sur k. Pour k = 1, on ecrit

(1 + p)p = 1 + pCp1 + p2 Cp2 + ... + pp = 1 + p2 (1 + Cp2 + ... + pp2 )

et on utilise le fait que p divise Cpk pour 1 k p 1 (noter que pour p = 2

cette etape ne marche pas car p ne divise pas pp2 ). Supposons le resultat
vrai pour p, alors

X
p
pk+1 k+1 p k+2 k+2
(1 + p) = (1 + p ) = 1 + p +p Cpi i pi(k+1)(k+2)
i=2
P
et comme p divise pi=2 Cpi i pi(k+1)(k+2) (il divise Cpi pour 2 i p 1, et
pp(k+1)(k+2) ), on obtient le resultat.

24
Preuve du theoreme : Dapres le lemme, lelement s = 1 + p est dordre
p1 dans (Z/p Z) . Cherchons maintenant un element dordre p 1. On a
un morphisme surjectif : (Z/p Z) (Z/pZ) obtenu en envoyant x sur la
classe de x modulo p (en effet x est inversible modulo p si et seulement sil
est inversible modulo p). Soient u un generateur de (Z/pZ) (qui est cyclique
dapres le corollaire 2.21) et v (Z/p Z) tel que (v) = u. Soit m lordre
de v, alors v m = 1 donc um = (v m ) = 1 et p 1 (qui est lordre de u) divise
m. Posons r = v m/(p1) , alors r est dordre p 1 dans (Z/p Z) .
Maintenant rs est dordre (p 1)p1 dans (Z/p Z) car il est immediat
que dans un groupe abelien (note multiplicativement), lordre dun produit
xy est le produit des ordres de x et de y quand ceux-ci sont premiers entre
eux. 14

Le cas p = 2 est exceptionnel et fait lobjet du theoreme suivant :

Theoreme 2.24 Pour tout entier 3, le groupe multiplicatif (Z/2 Z)

est isomorphe au groupe additif Z/2Z (Z/22 Z).

Ainsi pour 3 le groupe (Z/2 Z) nest pas cyclique (lordre de tout

element divise 22 ). Les cas = 1 et = 2 sont triviaux, (Z/2 Z) etant
alors respectivement isomorphe a {0} et a Z/2Z.

Demonstration : On montre aisement par recurrence sur k 1 quon

k
a : 52 = 1 + 2k+2 avec entier impair. Il en resulte que lordre de 5 dans
(Z/2 Z) est exactement 22 . Considerons la surjection : (Z/2 Z)
(Z/4Z) qui associe a un element x la classe de x modulo 4. Cest un mor-
phisme surjectif, dont le noyau contient 5, donc aussi le sous-groupe N en-
1
gendre par 5. Comme le noyau est de cardinal #(Z/2 Z)
#(Z/4Z)
= 2 2 = 22 , il
en resulte que ce noyau est exactement N (dont le cardinal est lordre de 5).
Maintenant on definit une section de la suite exacte

1 N (Z/2 Z) (Z/4Z) 1

en envoyant lelement non trivial de (Z/4Z) sur 1. De ce fait (Z/2 Z)

est produit semi-direct, donc direct puisquil est abelien, de N par (Z/4Z) .
On conclut en observant que N est isomorphe au groupe additif Z/22 Z et
(Z/4Z) au groupe additif Z/2Z.

14
Ce nest pas vrai sans cette derniere hypothese, prendre par exemple y = x 1 .

25
 Letude du groupe dautomorphismes de Z/nZ permet de construire des
produits semi-directs non triviaux. Voici un exemple simple dapplication
(on en verra dautres en T.D.) :

Theoreme 2.25 Soient p et q deux nombres premiers avec p < q. Alors :

Si p ne divise pas q 1, tout groupe dordre pq est cyclique.

Si p divise q 1, il y a deux groupes dordre pq a isomorphisme pres : le
groupe cyclique, et un produit semi-direct non commutatif Z/qZoZ/pZ.

Par exemple, le seul groupe dordre 15 est Z/15Z, et pour q 3, les deux
groupes dordre 2q sont le groupe cyclique et le groupe diedral Dq .

Demonstration : Soit G dordre pq, alors G possede un q-Sylow Q.

Dapres le deuxieme theoreme de Sylow, le nombre de q-Sylow est congru a
1 mod. q, et il divise p donc cest 1 car p < q. Ainsi Q est distingue dans G.
On obtient une suite exacte
f
1 Q G G/Q 1

Cette suite est scindee car G contient un p-Sylow P , et la restriction de

f a P est alors injective parce que le cardinal de son noyau P Q doit
diviser p et q. Ainsi f induit une bijection de P sur G/Q, dont la bijection
reciproque fournit la section voulue. Finalement G est un produit semi-direct
Z/qZoZ/pZ, associe a un morphisme : Z/pZ Aut (Z/qZ) ' Z/(q1)Z.
Si p ne divise pas q 1, le cardinal de limage de divise p et q 1,
donc vaut 1, i.e. est triviale est le produit est direct. Comme p et q sont
premiers entre eux, G est isomorphe a Z/pqZ via le lemme chinois.
Si p divise q 1, on a un morphisme non trivial en envoyant 1 sur la
classe de (q 1)/p, dou un produit semi-direct non commutatif. Mais si
est un autre morphisme non trivial de Z/pZ dans Aut (Z/qZ), il existe
Aut (Z/pZ) tel que = car Z/(q 1)Z possede un unique sous-groupe
dordre p. Alors comme on la deja vu, on a Z/qZ o Z/pZ ' Z/qZ o Z/pZ
via lapplication nh 7 n(h), n Z/qZ, h Z/pZ.

3. Etude plus detaillee de Sn et An

Le theoreme principal de cette section est

Theoreme 3.1 Pour n 5, le groupe alterne An est simple.

26
 Notons que le resultat est encore vrai (trivialement) pour n = 2 et n = 3,
mais pas pour n = 4, le groupe consitue des doubles transpositions dans A4
etant un sous-groupe distingue non trivial.
Avant de passer a la demonstration du theoreme, donnons tout de suite
quelques corollaires.

Corollaire 3.2 Pour n 5, on a D(An ) = An et D(Sn ) = An .

On notera que la deuxieme assertion est vraie pour tout n 2 (seul le

cas n = 4 est a verifier separement).

Demonstration : On a D(An ) An vu que tout commutateur est de

signature 1, mais D(An ) est distingue dans An et nest pas trivial vu que
pour n 4, An nest pas abelien (deux 3-cycles dont les supports ont un
ou deux elements en commun ne commutent pas). Dou D(An ) = An par
simplicite de An . De meme, D(Sn ) est un sous-groupe de An non trivial,
distingue dans An (il est deja distingue dans Sn ), dou D(Sn ) = An avec le
theoreme.

Corollaire 3.3 Si n 5, Sn a trois sous-groupes distingues : {Id}, An et

Sn .

Demonstration : Soit H un sous-groupe distingue de Sn . Alors H An

est distingue dans An , donc par le theoreme H An est egal a An ou bien
reduit a {Id}. Dans le premier cas, H An , donc H = An ou H = Sn car An
est dindice 2 dans Sn . Supposons donc H An = {Id} et montrons que H est
le groupe trivial. Si et sont deux elements non triviaux de H, alors est
de signature (1)(1) = 1, donc = 1 . De ce fait H = {Id, , 1 }, mais
alors H se surjecte sur {1} par la signature, ce qui nest pas possible parce
quil est de cardinal 3, et 2 ne divise pas 3. Finalement H est de cardinal 1
ou 2, mais on a deja vu que les sous-groupes dordre 2 de Sn , qui sont de la
forme {Id, } ou est une transposition, ne sont pas distingues dans Sn si
n 3.

Corollaire 3.4 Soit H un sous-groupe dindice n de Sn pour n 2. Alors

H ' Sn1 .

27
Demonstration : Les cas n = 2, n = 3 sont triviaux. Pour n = 4, H
est de cardinal 6, mais il ne peut pas etre cyclique (il ny a pas delements
dordre 6 dans S4 , vu que lordre dun element est le ppcm des longueurs des
cycles de sa decomposition) donc il est isomorphe au groupe diedral D3 , i.e.
a S3 . Supposons donc n 5. Alors Sn opere par translation sur lensemble
E := Sn /H des classes a gauche, dou un morphisme : Sn S(E). Le
noyau est un sous-groupe distingue de Sn , et il ne peut pas contenir An
parce quil est inclus dans H (le stabilisateur de la classe du neutre est H),
qui est de cardinal (n 1)! < n!2 . Dapres le corollaire precedent, le noyau
est donc trivial. Ainsi est injective, et comme E est de cardinal n, cest
un isomorphisme. Posons alors U := (H). Alors un element u de S(E) est
dans U si et seulement si u.H = H, cest-a-dire que U est le stabilisateur de
lelement H de E. Comme E est de cardinal n, U (qui est isomorphe a H)
est isomorphe au stabilisateur dun point dans Sn , i.e. a Sn1 .

Remarque : Cela nimplique pas que H soit le stabilisateur dun point

pour laction naturelle de Sn sur {1, ..., n}. En fait cest quand meme vrai si
n 6= 6, et cela est lie au fait que pour n 6= 6, les seuls automorphismes de Sn
sont interieurs (cf. TD).

Preuve de la simplicite de An pour n 5. Toutes les methodes passent

par deux lemmes assez simples :

Lemme 3.5 Pour n 3, les 3-cycles engendrent An .

Demonstration : Comme Sn est engendre par les transpositions, An

est engendre par les produits de deux transpositions. Or, si a, b, c, d sont
des elements deux a deux distincts de [1, n], on a (a, b)(b, c) = (a, b, c),
(a, b)(a, c) = (a, c, b), et (a, b)(c, d) = (a, b)(a, c)(a, c)(c, d) = (a, c, b)(a, c, d).

Lemme 3.6 Pour n 5, les 3-cycles sont conjugues dans An .

Demonstration : Soient = (a1 , a2 , a3 ) et 0 = (b1 , b2 , b3 ) deux 3-cycles.

Alors il existe Sn telle que (ai ) = bi pour i = 1, 2, 3, dou 1 = 0 . Si
() = 1, cest fini. Sinon on remplace par 0 = (c, d),ou c et d sont deux
elements de [1, n], distincts, et distincts de a1 , a2 , a3 (cest ici que lhypothese
n 5 est utilisee).

28
 Il resulte des deux lemmes que tout sous-groupe de An contenant un
3-cycle est egal a An si n 5.
On montre maintenant le resultat pour n = 5 :

Proposition 3.7 Le groupe A5 est simple.

Demonstration : Le cardinal de A5 est 60. On commence par trier ses

elements par leur ordre, en utilisant leur decomposition en cycles.
Les elements dordre 2 sont les produits de deux transpositions a supports
disjoints, il y en a 5 3 = 15 (5 choix pour le point fixe, et 3 doubles
transpositions dans S4 ).
Les elements dordre 3 sont les 3-cycles, il y en a C53 2 = 20 (C53 choix
pour les elements permutes, et deux 3-cycles dans S3 ).
Il ny a pas delement dordre 4 (les 4-cycles sont de signature -1).
Les elements dordre 5 sont les 5-cycles, il y en a 4! = 24.
Soit maintenant H un sous-groupe distingue de A5 . Montrons que si
H contient un element dordre , avec {2, 3, 5}, alors il contient tous
les elements dordre . Si = 3, cela resulte du lemme 1. Si = 2,
il suffit de voir que les elements dordre 2 sont conjugues dans A5 ; or si
= (a1 , a2 )(a3 , a4 )(a5 ) et 0 = (b1 , b2 )(b3 , b4 )(b5 ) sont deux tels elements, il
existe un element de S5 tel que (ai ) = bi pour i = 1, ..., 5, dou 1 = 0 .
Si est de signature -1, on la remplace par (a2 , a1 ). Enfin, bien que les 5-
cycles ne soient pas tous conjugues dans A5 15 , les sous-groupes dordre 5 le
sont car ce sont les 5-Sylow de A5 ; alors si H contient un element dordre 5,
il contient le sous-groupe quil engendre, donc tous les sous-groupes dordre
5, donc tous les elements dordre 5.
Supposons maintenant H 6= {Id}. Alors il ne peut exister {2, 3, 5} tel
que tout element non trivial de H soit dordre , sinon dapres ce qui precede
H serait de cardinal 15 + 1, 20 + 1, ou 24 + 1, et aucun de ces nombres ne
divise 60. Il existe donc au moins deux nombres , 0 parmi 2, 3, 5 tels que
H contienne tous les elements dordre et 0 , mais alors le cardinal de H
depasse strictement 60/2, et H = A5 vu que son cardinal doit diviser 60.

Remarque : En fait A5 est le le plus petit groupe simple autre que les
Z/pZ pour p premier (voir TD).
15
En fait si c et c0 sont deux 5-cycles, c est conjugue de c0 ou c02 , ce qui suffit a faire
largument.

29
Preuve du theoreme dans le cas general. Soit E = [1, n], H un sous-
groupe de An non reduit a lidentite. On choisit non trivial dans H. On
va se ramener au cas n = 5 en fabriquant un element de H qui agit sur un
sous-ensemble de cardinal au plus 5 de E. Pour cela, on va considerer non
pas un conjugue de (qui aurait le meme nombre de points fixes que ), mais
un commutateur = 1 1 (qui a une chance den avoir davantage). On
choisit de la maniere suivante : soit a dans E tel que b := (a) soit distinct
de a, puis c dans E distinct de a, b, et (b). On pose alors = (a, c, b),
ce qui fait que = ( 1 ) 1 est bien dans H. Alors 1 = (a, b, c) dou
= (a, c, b)( 1 1 ) = (a, c, b)(.a, .b, .c). Comme .a = b, on voit quil
existe un sous-ensemble F de E qui a au plus 5 elements (et on peut le
prendre de cardinal exactement 5) tel que opere trivialement en dehors de
F , et F contienne {a, b, c, (b), (c)}.
On obtient un morphisme injectif i de A(F ) dans An en prolongeant une
permutation de f par lidentite en dehors de F . Posons H0 = i1 (H), cest un
sous-groupe distingue de A(F ) ' A5 . Mais H0 nest pas trivial car il contient
la restriction de a F , et on a (b) = (b) 6= b (vu que (b) 6= c = 1 (b)).
Ainsi H0 = A(F ) dapres le cas n = 5. En particulier H0 contient un 3-cycle,
donc H aussi, donc H = An avec les deux lemmes.

4. Groupes resolubles et nilpotents

On se contentera ici des definitions et des premieres proprietes. On pourra
se reporter au livre de Hall pour plus de details.

Definition 4.1 Soit G un groupe.16 On dit que G est resoluble sil existe
une suite finie
{1} = G0 G1 ... Gn = G
avec pour tout i [1, n], Gi1 C Gi et Gi /Gi1 abelien.

Remarques :

1. Comme la proposition 4.3 le montrera, on peut demander en plus que

chaque Gi soit distingue dans G tout entier. Alors G resoluble signifie
que G se deduit de {1} par une suite finie dextensions a noyaux abeliens
(en effet chaque G/Gi1 est extension de G/Gi par Gi /Gi1 ).
16
La notion est surtout interessante pour les groupes finis, mais ce nest pas indispensable
de le supposer.

30
 2. Si G est fini et quon nimpose pas Gi C G, on peut demander Gi /Gi1
cyclique dordre premier au lieu dabelien (car tout groupe abelien fini
H admet une suite H ... {1} avec tous les Hi /Hi1 simple, par
recurrence sur #H). Par contre demander Gi /Gi1 cyclique et Gi C G
pour tout i est plus fort (on parle de groupe hyper-resoluble).

3. Le terme resoluble vient de la theorie des equations algebriques. Si

P est un polynome irreductible a coefficients dans Q, et K C son
corps de decomposition (cest le plus petit corps contenant toutes ses
racines), on definit le groupe de Galois G de P comme le groupe des
automorphismes du corps K. La theorie de Galois dit quune equation
est resoluble par radicaux si et seulement si G est resoluble.17 Le fait que
Sn ne soit pas resoluble pour n 5 entrane limpossiblite de resoudre
par radicaux lequation generale de degre 5.

Une notion plus forte que resoluble (et meme quhyper-resoluble pour les
groupes finis) est celle de groupe nilpotent :

Definition 4.2 On dit quun groupe G est nilpotent sil existe une suite finie

{1} = G0 G1 ... Gn = G

avec pour tout i [1, n], Gi C G et Gi /Gi1 inclus dans le centre de G/Gi1 .

Cela signifie donc que G se deduit de {1} par une suite finie dextensions
centrales (une extension 1 N G H 1 est dite centrale si N est
inclus dans le centre de G).

Exemples.

1. Un groupe abelien est nilpotent.

2. Un p-groupe est nilpotent : cest immediat par recurrence sur son car-
dinal, vu que son centre est non trivial, et le quotient par son centre
est encore un p-groupe.

3. Sn et An ne sont pas resolubles pour n 5. Cela resulte de ce que

D(Sn ) = D(An ) = An , et de la proposition ci-dessous.
17
Sans rentrer dans les details, rajouter une racine n-ieme a un corps donne un groupe
de Galois cyclique, donc obtenir K en extrayant des racines correspond a une suite
dextensions cycliques.

31
 4. S4 est resoluble, via la suite

S4 A4 V4 {1}

ou V4 est le sous-groupe constitue de lidentite et des doubles transpo-

sitions, mais il ne peut pas etre nilpotent car son centre est trivial. Les
memes conclusions valent pour A4 et S3

La proposition suivante donne la caracterisation la plus canonique dun

groupe resoluble. En particulier, cest la plus commode pour montrer quun
groupe nest pas resoluble.

Proposition 4.3 Soit G un groupe, on pose D 0 (G) = G, D 1 (G) = D(G), et

D i (G) = D(D i1 (G)) pour tout i 2. Alors G est resoluble si et seulement
sil existe un entier n tel que D n (G) = {1}.

Demonstration : Sil existe n tel que D n (G) = {1}, alors chaque

i i1
D (G)/D (G) est un groupe abelien par definition du sous-groupe derive
donc G est resoluble via la suite des D i (G). Notons que chaque D i (G) est
distingue dans G tout entier parce que le sous-groupe derive dun groupe H
est caracteristique dans H, et cette propriete est transitive.
En sens inverse si G est resoluble, soit (Gi )1in une suite comme dans la
definition 4.1. Alors G/Gn1 est abelien donc Gn1 D(G). Par recurrence
sur i, on a Gni D i (G) (si Gni+1 D i1 (G), alors comme Gni+1 /Gni
est abelien, on a Gni D(Gni+1 ) D(D i1 (G)) = D i (G)). Pour i = n
cela donne D n (G) = {1}.

[Exercices : - S3 est hyper-resoluble mais pas A4 .

-Un sous-groupe et un quotient dun groupe resoluble sont resolubles,
ainsi quune extension dun groupe resoluble par un groupe resoluble.]

32