20

Structure de groupe
On suppose construits les ensembles usuels N, Z, Q, R et C avec les quatre oprations
classiques. Nous reviendrons plus loin sur les constructions de Z partir de N, de Q partir
de Z, de R partir de Q et de C partir de R.
Ltude prliminaire de lalgbre linaire a ncessit lutilisation des notions de groupe, anneau et corps sans une tude trs approfondie.
On se propose dans ce chapitre et les deux suivants dtudier plus en dtail ces structures
algbriques de base.
Les rsultats de base en algbre linaire sont supposs acquis.
Les espaces de matrices (relles ou complexes) ainsi que les espaces de fonctions polynomiales
( coefficients rels ou complexes) nous seront utiles pour illustrer certaines notions.
Nous supposerons galement acquises les notions basiques darithmtique (division euclidienne, pgcd, ppcm, ...). Pour a, b entiers relatifs, on note respectivement a b et a b le pgcd
et le ppcm de a et b.

20.1

Loi de composition interne

Dfinition 20.1 On appelle loi de composition interne sur un ensemble non vide G toute
application dfinie sur G G et valeurs dans G.
Si est loi de composition interne sur G, on notera souvent :
(a, b) G2 , a ? b = (a, b) .
Il sera parfois commode de noter une telle loi sous la forme additive (a, b) 7 a + b ou sous
la forme multiplicative (a, b) 7 a b ou plus simplement (a, b) 7 ab.
On notera (G, ?) lensemble non vide G muni de la loi de composition interne ?.
Exemple 20.1 Laddition et la multiplication usuelles sont des lois de composition interne sur
N, Z, Q, R et C.
Exemple 20.2 Si E est un ensemble non vide et P (E) lensemble de toutes les parties de E,
les applications :
(A, B) 7 A B, (A, B) 7 A B, (A, B) 7 A 4 B = (A B) \ (A B)
sont des lois de composition interne sur P (E) (4 est loprateur de diffrence symtrique).

377

378

Structure de groupe

Exemple 20.3 Si E est un ensemble non vide et F (E) lensemble de toutes les applications
de E dans E, alors lapplication de composition (f, g) 7 f g est une loi de composition interne
sur F (E) .
Exemple 20.4 Dans lensemble Mn (R) des matrices carres dordre n coefficients rels les
oprations usuelles daddition (A, B) 7 A + B et de multiplication (A, B) 7 AB sont des lois
de composition interne.
Exemple 20.5 Dans lensemble GLn (R) des matrices carres dordre n coefficients rels
inversibles laddition nest pas une loi interne (si A est inversible, il en est de mme de B = A
et la somme A + B = 0 ne lest pas) et la multiplication est une loi interne.
Dfinition 20.2 Soit G un ensemble non vide muni dune loi de composition interne (a, b) 7
a ? b. On dit que :
1. cette loi est associative si :
(a, b, c) G3 , (a ? b) ? c = a ? (b ? c)
2. cette loi est commutative si :
(a, b) G2 , a ? b = b ? a
3. e est un lment neutre pour cette loi si :
a G, a ? e = e ? a = a
4. un lment a de G est dit rgulier (ou simplifiable) si :

a ? b = a ? c b = c,
2
(b, c) G ,
b ? a = c ? a b = c.
Remarque 20.1 Dire quun lment a G est rgulier gauche [resp. droite] signifie que
lapplication g 7 a ? g [resp. g 7 g ? a] est injective.
Si ? est une loi de composition interne associative sur G, on crira a ? b ? c pour (a ? b) ? c
ou a ? (b ? c) .
De manire plus gnrale, toujours dans le cas dune loi associative, on peut effectuer les
n
Q
oprations a1 ? a2 ? ? an o les aj sont des lments de G, ce que lon notera
aj dans le cas
dune loi multiplicative ou

n
P

j=1

aj dans le cas dune loi additive. Ce produit (ou cette somme)

j=1

est donc dfini par a1 G et supposant

n1
Q

aj construit pour n 2, on a :

j=1
n
Y

aj =

j=1

n1
Y

aj ? an

j=1

le parenthsage tant sans importance du fait de lassociativit.

n
n
Q
P
Pour n = 0, il sera commode de noter
aj = 1 (ou
aj = 0 dans le cas dune loi additive).
j=1

j=1

Loi de composition interne

379

Dans le cas o tous les aj sont gaux un mme lment a, ce produit est not an et on dit
que cest la puissance n-ime de a. On retiendra que ces lments de G sont donc dfinis par la
relation de rcurrence :
0
a =1
n N, an+1 = an ? a
Dans le cas o la loi est note additivement, on note plutt na au lieu de an .
On vrifie facilement que an ? am = am ? an = an+m [resp. (na) + (ma) = (ma) + (na) =
(n + m) a pour une loi additive] pour tous n, m dans N (voir le thorme 20.9).
Exemple 20.6 Les oprations usuelles daddition et de multiplication sont commutatives et
associatives sur G = N, Z, Q, R ou C. 0 est un lment neutre pour laddition et 1 est un
lment neutre pour la multiplication pour chacun de ces ensembles. Tous les lments de G
sont simplifiables pour laddition et tous les lments de G = G \ {0} sont simplifiables pour
la multiplication.
Exemple 20.7 Si E est un ensemble non vide, les oprations et sont commutatives et
associatives sur P (E) . Lensemble vide est un lment neutre pour et E est un lment
neutre pour lintersection .
Exemple 20.8 Si E est un ensemble non vide la composition des applications est associative
et non commutative dans F (E) . Lidentit est un lment neutre pour cette loi.
Exemple 20.9 Dans Mn (R) laddition est associative et commutative et la multiplication est
associative et non commutative.
Exercice 20.1 Montrer que le produit vectoriel est une loi de composition interne non associative sur R3 .
Solution 20.1 On rappelle que ce produit vectoriel est la loi interne dfinie par :

0 0
x
yz y 0 z
x
y y 0 = x0 z xz 0 .
z0
xy 0 x0 y
z

,
En dsignant par
,
k la base canonique de R3 , on a :

k =

=k, j
k = 0 k = 0.
Cette loi nest donc pas associative.

Comme
u
v =
v
u , cette loi nest pas commutative (il existe des vecteurs tels que

v u 6= 0 ).
Thorme 20.1 Soit (G, ?) un ensemble non vide muni dune loi de composition interne. Si
G admet un lment neutre, alors ce dernier est unique.
Dmonstration. Soient e, e0 deux lments neutres. On a alors e = e ? e0 puisque e0 est
neutre et e0 = e ? e0 puisque e est neutre, ce qui implique e = e0 .
Dfinition 20.3 Soit (G, ?) un ensemble non vide muni dune loi de composition interne et
admettant un lment neutre e. On dit quun lment a de G est inversible sil existe un lment
a0 dans G tel que a ? a0 = a0 ? a = e. On dit alors que a0 est un inverse (ou un symtrique) de
a dans G.

380

Structure de groupe

Thorme 20.2 Soit (G, ?) un ensemble non vide muni dune loi de composition interne associative et admettant un lment neutre e. Si a G admet un inverse dans G, alors ce dernier
est unique.
Dmonstration. Supposons que a G admette deux inverses a0 et a00 . On a alors :
a0 ? a ? a00 = (a0 ? a) ? a00 = e ? a00 = a00
puisque la loi est associative et a0 est inverse de a et :
a0 ? a ? a00 = a0 ? (a ? a00 ) = a0 ? e = a0
puisque a00 est inverse de a, ce qui implique a0 = a00 .
Remarque 20.2 Pour une loi non associative, lunicit du symtrique nest pas assure. Par
exemple dans lensemble G = {0, 1, 1} muni de la loi dfinie par la table :
?
0
1
1

0
0
1
1

1
1
0
0

1
1
0
0

0 est neutre et 1 ? 1 = 1 ? (1) = 0.

En cas dexistence, on notera a1 un inverse de a dans (G, ?) , la loi ? tant associative.
Dans le cas dune loi de composition interne note de faon additive, on notera plutt a
un inverse de a et on lappellera oppos.
Exemple 20.10 Dans (N, +) seul 0 a un oppos et dans (N, ) seul 1 a un inverse.
Exemple 20.11 Dans (Z, +) tout lment admet un oppos et dans (Z, ) les seuls lments
inversibles sont 1 et 1.
Exemple 20.12 Dans (R [x] , +) tout lment admet un oppos et dans (R [x] , ) les seuls
lments inversibles sont les polynmes constants non nuls.
Exemple 20.13 Le cours dalgbre linaire nous dit que lensemble des lments inversibles de
(Mn (R) , ) est GLn (R) .

20.2

Groupes

Dfinition 20.4 Un groupe est un ensemble non vide G muni dune loi de composition interne
? possdant les proprits suivantes :
la loi ? est associative ;
il existe un lment neutre e pour la loi ? ;
tout lment de G admet un symtrique.
Si de plus la loi ? est commutative, on dit que le groupe G est commutatif ou ablien.
En gnral, sil ny pas de confusion possible, on dira tout simplement que G est un groupe
pour (G, ?) est un groupe et on notera ab ou a + b le rsultat de lopration a ? b. Avec la
premire notation, on dit que G est un groupe multiplicatif et on notera 1 llment neutre,
a1 le symtrique dun lment a de G et avec la seconde notation, on dit que G est un groupe
additif et on notera 0 llment neutre, a le symtrique quon appelle oppos.

Groupes

381

Exemple 20.14 Les ensembles Z, Q, R et C munis de laddition usuelle sont des groupes
abliens.
Exemple 20.15 Lensemble N muni de laddition usuelle nest pas un groupe du fait quun
lment non nul de N na pas doppos dans N (lquation a + x = 0 avec a 6= 0 dans N na pas
de solution dans N).
Exemple 20.16 Les ensembles Q , R et C munis de la multiplication usuelle sont des groupes
abliens.
Exemple 20.17 Lensemble Z muni de la multiplication usuelle nest pas un groupe du fait
quun lment de Z\{1, 0, 1} na pas dinverse dans Z (lquation ax = 1 avec a Z\{1, 0, 1}
na pas de solution dans Z).
Exemple 20.18 Si E est un ensemble non vide, lensemble P (E) est alors un groupe pour
lopration de diffrence symtrique : (A, B) 7 A 4 B = (A B) \ (A B) .
Exemple 20.19 Si E est un ensemble non vide, lensemble des bijections de E dans lui mme
muni de la composition des applications est un groupe (en gnral non ablien). Ce groupe est
le groupe des permutations de E, il est not S (E) ou S (E) .
Exemple 20.20 Lensemble Mn (R) des matrices carres dordre n coefficients rels est un
groupe additif, mais non multiplicatif.
Exemple 20.21 Lensemble GLn (R) des matrices carres dordre n coefficients rels et inversibles est un groupe multiplicatif, mais non additif.
Thorme 20.3 Dans un groupe (G, ?) tout lment est simplifiable.
Dmonstration. Soient a, b, c dans G. Si a ? b = a ? c, on a alors a1 ? a ? b = a1 ? a ? c,
soit b = c. De mme si b ? a = c ? a, alors b ? a ? a1 = c ? a ? a1 , soit b = c.
Exercice 20.2 Montrer que si (G, ?) est un groupe, alors pour tout a G, la translation
gauche ga : x 7 a x [resp. droite da : x 7 x a] est une bijection de G dinverse ga1 [resp.
da1 ].
Solution 20.2 Lgalit ga (x) = ga (y) quivaut a x = a y et multipliant gauche par
a1 , on en dduit que x = y. Lapplication ga est donc injective.
Pour y G, lquation ga (x) = y quivaut a x = y, ce qui entrane x = a1 y. Lapplication
ga est donc surjective.
En fait comme, pour tout y G, lquation ga (x) = y a pour unique solution x = a1 y, on
dduit immdiatement que ga est bijective dinverse ga1 .
Exercice 20.3 Montrer que si (G, ?) est un groupe et E un ensemble non vide, alors lensemble
GE des applications de E dans G muni de la loi dfinie par :
(f, g) GE GE , x E, (f g) (x) = f (x) ? g (x)
est un groupe et que ce groupe est commutatif si G lest.

382

Structure de groupe

Solution 20.3 Pour f, g dans GE , f g est bien une application de E dans G, donc un lment
de GE .
Lapplication 1 : x 7 e est le neutre pour cette loi.
Si f GE , lapplication f 0 : x 7 (f (x))1 est linverse de f.
Pour f, g, h dans GE et x E, on a :
(f (g h)) (x) = f (x) (g h) (x) = f (x) (g (x) ? h (x))
= (f (x) g (x)) ? h (x) = (f g) (x) h (x)
= ((f g) h) (x)
et donc f (g h) = (f g) h.
Lensemble GE muni de la loi est donc un groupe.
Si G est commutatif, on a alors pour f, g dans GE et tout x E, (f g) (x) =
fE(x) ? g (x) =
g (x) ? f (x) = (g f ) (x) , ce qui revient dire que f g = g f. Le groupe G , est donc
commutatif si G lest.
Exercice 20.4 Soient G, H deux groupes multiplicatifs. Montrer que le produit direct G H
muni de la loi :
((a1 , a2 ) , (b1 , b2 )) 7 (a1 , a2 ) (b1 , b2 ) = (a1 b1 , a2 b2 )
est un groupe.
Solution 20.4 Laisse au lecteur.
De manire plus gnrale, si H1 , , Hn sont des groupes multiplicatifs, alors le produit
direct H1 Hn muni de la loi :
((a1 , , an ) , (b1 , , bn )) 7 (a1 b1 , , an bn )
est un groupe et ce groupe est commutatif si, et seulement si, tous les Hi le sont.
Si (G, ?) est un groupe tel que G ait un nombre fini n 1 dlments, on dira alors que G
est un groupe fini dordre (ou de cardinal) n. Pour un tel groupe fini dordre petit, on peut
dresser sa table de composition. Cette table est appele table de Pythagore.
Exercice 20.5 Montrer que lensemble G =
suivante :
? e
e e
a a
b b
c c

{e, a, b, c} muni de la loi ? dfinie par la table

a b
a b
e c
c e
b a

c
c
b
a
e

est un groupe commutatif (a ? b est situ lintersection de la ligne de a et de la colonne de b).

Ce groupe est le groupe de Klein. Une reprsentation gomtrique est donne par lensemble
{Id, x , y , z } , o Id est lidentit de lespace R3 et x , y , z sont les symtries orthogonales
par rapport aux trois axes Ox , Oy et Oz , en munissant cet ensemble de la composition des
applications.
Solution 20.5 Laisse au lecteur.

Groupes

383

Exercice 20.6 La table suivante :

?
e
a
b
c
d

e a
e a
a e
b c
c d
d b

b c
b c
d b
e d
a e
c a

d
d
c
a
b
e

dfinit-elle un groupe ?
Solution 20.6 La loi nest pas associative puisque :

a ? (b ? c) = a ? d = c
(a ? b) ? c = d ? c = a 6= c
Exercice 20.7 Soit (G, ?) un ensemble non vide muni dune loi de composition interne associative, admettant un lment neutre e gauche, cest--dire que :
a G, e ? a = a
et telle que tout lment de G admette un symtrique gauche, cest--dire que :
a G, a0 G | a0 ? a = e.
Montrer alors que (G, ?) est un groupe (e est alors le neutre de (G, ?) et a0 le symtrique de a).
Solution 20.7 Soient a G et a0 G tel que a0 ? a = e. En dsignant par a00 un inverse
gauche de a0 , on a :
a ? a0 = a00 ? a0 ? a ? a0 = a00 ? (a0 ? a) ? a0 = a00 ? a0 = e,
ce qui signifie que a0 est aussi un inverse droite de a. Et avec :
a ? e = a ? (a0 ? a) = (a ? a0 ) ? a = e ? a = a,
on dduit que e est aussi un neutre droite. En dfinitive, e est un lment neutre dans (G, ?)
et a0 est le symtrique de a. Avec lassociativit de ?, il en rsulte que (G, ?) est un groupe.
Lexercice prcdent nous dit que pour une loi associative la vrification de lexistence dun
neutre gauche et dun inverse gauche est suffisante pour affirmer quon a une structure de
groupe.
Exercice 20.8 Montrer que lensemble G = ]1, 1[ muni de la loi ? dfinie par :
x?y =
est un groupe commutatif.

x+y
1 + xy

384

Structure de groupe

Solution 20.8 Pour x, y dans ]1, 1[ , on a |xy| < 1, donc 1 + xy > 0 et x ? y est bien dfini.
De plus avec :
(x + y)2 (1 + xy)2 = x2 + y 2 1 x2 y 2

= x2 1 1 y 2 < 0
on dduit que |x ? y| < 1 et ? dfini bien une loi interne sur G.
De la commutativit de la somme et du produit sur R on dduit que ? est commutative.
Pour tout x G, on a x ? 0 = x et x ? (x) = 0, donc 0 est neutre et tout lment de G est
inversible.
Enfin pour x, y, z dans G, on a :
y+z
x + 1+yz
x+y?z
=
y+z
1+xy?z
1 + x 1+yz
x + y + z + xyz
=
xy + xz + yz + 1

x ? (y ? z) =

et :
x+y
+z
x?y+z
1+xy
(x ? y) ? z =
=
x+y
1+x?yz
1 + 1+xy
z
x + y + z + xyz
=
xy + xz + yz + 1

donc ? est associative.

i h
Exercice 20.9 Montrer que lensemble G = ,
muni de la loi ? dfinie par :
2 2
x ? y = arctan (tan (x) + tan (y))
est un groupe commutatif.
i h
Solution 20.9 La fonction arctan tant bijective de R sur ,
lapplication ? dfini bien
2 2
une loi interne sur G.
De la commutativit de la somme sur R on dduit que ? est commutative.
Pour tout x G, on a x ? 0 = x et x ? (x) = 0 (la fonction tan est impaire), donc 0 est neutre
et tout lment de G est inversible.
Enfin pour x, y, z dans G, on a :
x ? (y ? z) = arctan (tan (x) + tan (y ? z))
= arctan (tan (x) + (tan (y) + tan (z)))
et :
(x ? y) ? z = arctan (tan (x ? y) + tan (z))
= arctan (tan (x) + (tan (y) + tan (z)))
ce qui montre que ? est associative.
Les deux exercices prcdents ne sont que des cas particuliers de lexercice 20.34.

Groupes

385
1

Thorme 20.4 Soit (G, ?) un groupe. Pour tous a, b dans G, on a (a1 )

b1 ? a1 .

= a et (a ? b)1 =

Dmonstration. La premire galit se dduit immdiatement de la dfinition de a1 et la

deuxime rsulte de :
b1 ? a1 ? a ? b = b1 ? e ? b = b1 ? b = e
Plus gnralement, on vrifie facilement par rcurrence sur p 2 que si a1 , , ap sont des
lments dun groupe G, on a alors :
1
(a1 ? ? ap )1 = a1
p ? ? a1 .

Exercice 20.10 Soit G un groupe multiplicatif dlment neutre 1. Montrer que si on a a2 = 1

pour tout a dans G, alors G est commutatif.
Solution 20.10 Pour a, b dans G, de abab = (ab)2 = 1, on dduit que a (abab) b = ab, soit
a2 bab2 = ab ou encore ba = ab.
Exercice 20.11 Soit G un groupe multiplicatif dlment neutre 1.
1. Montrer que G est commutatif si, et seulement si, on a (ab)2 = a2 b2 pour tous a, b dans G
(ce qui revient dire que lapplication a 7 a2 est un morphisme de groupes, cette notion
tant dfinie au paragraphe 20.7).
2. Montrer que G est commutatif si, et seulement si, on a (ab)1 = a1 b1 pour tous a, b
dans G (ce qui revient dire que lapplication a 7 a1 est un morphisme de groupes).
Solution 20.11
1. Dans le cas o G est commutatif, on a pour tous a, b dans G :
(ab)2 = abab = aabb = a2 b2 .
Rciproquement, si (ab)2 = a2 b2 pour tous a, b dans G, de abab = (ab)2 = a2 b2 = aabb, on
dduit par simplification gauche par a et droite par b que ba = ab.
On peut retrouver le rsultat de lexercice prcdent avec ce rsultat. Si a2 = 1 pour tout
a dans G, on a alors pour tous a, b dans G, (ab)2 = 1 = a2 b2 et G est commutatif.
2. Dans le cas o G est commutatif, on a pour tous a, b dans G :
a1 b1 ab = a1 b1 ba = 1
donc a1 b1 = (ab)1 .

1
Rciproquement, si (ab)1 = a1 b1 pour tous a, b dans G, on a alors ab = (ab)1
=
1 1 1
(a b ) = ba et G est commutatif.
n
n n
Dans (GLn (R) , ) qui est noncommutatif,
on a en gnral
2

(AB) 6= A B pour n
1 2
1 1
10 24
dans N. Par exemple, pour A =
et B =
, on a (AB)2 =
et
3
4
0
1
24
58

7 24
2 2
AB =
.
15 52
On peut aussi remarquer que
les lments
de Mn (R) ne sont pas tous simplifiables pour le
1 0
0 0
produit. Par exemple, pour A =
et B =
, on a AB = 0 = A 0 avec B 6= 0.
0 0
1 0

386

20.3

Structure de groupe

Sous-groupes

Dfinition 20.5 Soit (G, ?) un groupe. Un sous-groupe de G est un sous-ensemble H de G tel

que :
H est non vide ;
pour tous a, b dans H, a ? b1 est dans H.
Le rsultat qui suit nous donne une dfinition quivalente de la notion de sous-groupe.
Thorme 20.5 Soit (G, ?) un groupe. Un sous-ensemble H de G est sous-groupe si, et seulement si :
H contient llment neutre e de G ;
H est stable pour la loi ?, cest--dire que :
(a, b) H 2 , a ? b H
H est stable par passage linverse, cest--dire que :
a H, a1 H.
Dmonstration. Soit H un sous-groupe de G.
1
Pour a H, on a e = a ? a1 H, a1 = e ? a1 H et pour b H, a ? b = a ? (b1 ) H.
Rciproquement si H contient e, il est non vide et sil est stable par multiplication et passage
linverse, on a pour a, b dans H, b1 H et a ? b1 H.
On vrifie facilement quun sous-groupe H dun groupe G est lui mme un groupe et H est
commutatif si G lest.
Exemple 20.22 Si (G, ?) est un groupe dlment neutre e, alors H = {e} et G sont des
sous-groupes de G. On dit que ce sont les sous-groupes triviaux de G.
Exemple 20.23 Lensemble des nombres complexes de module gal 1 (le cercle unit) est
un sous-groupe du groupe multiplicatif C .
Exemple 20.24 Pour tout entier n 1, lensemble n = {z C \ z n = 1} des racines n-mes
de lunit est un sous-groupe de .
Exemple 20.25 Pour tout entier naturel n, lensemble nZ = {q n | q Z} des multiples de n
est un sous groupe de (Z, +) . En ralit ce sont les seuls, comme le montre le thorme suivant
qui est une consquence du thorme de division euclidienne dans Z (thorme 23.1).
Thorme 20.6 Si G est un sous-groupe de (Z, +) , il existe alors un unique entier naturel n
tel que
G = nZ = {qn | q Z}
Cet entier n est le plus petit lment de G N .
Dmonstration. Si G = {0} , on a G = 0Z.
Si G 6= {0} , il existe dans G un entier a non nul et comme G est un sous-groupe de (Z, +)
a est aussi dans G et lun des entiers a ou a est dans G+ = G N . Lensemble G+ est
donc une partie non vide de N et en consquence admet un plus petit lment n 1. Comme
n G et G est un groupe additif, on a nZ G. Dautre part, pour tout m G, la division

Sous-groupes

387

euclidienne par n donne m = qn + r avec r = m nq G+ et r n 1, ce qui impose r = 0

par dfinition de n. On a donc G nZ et G = nZ.
Lunicit provient du fait que nZ = mZ si, et seulement si, n = m et pour n, m positifs,
on a ncessairement n = m.
Nous verrons avec le chapitre sur les anneaux, que le rsultat prcdent peut se traduire en
disant que lanneau Z est principal et il a de nombreuses applications.
La notion de sous-groupe est commode pour montrer quun ensemble est un groupe : on peut
essayer de le voir comme sous-groupe dun groupe connu, ce qui vite de prouver lassociativit.
Les exercices qui suivent illustrent cette ide.
Exercice 20.12 Soit i dans C tel que i2 = 1. Montrer que G = {1, 1, i, i} est un groupe
multiplicatif.
Solution 20.12 On montre que cest
multiplication :

1
1
i
i

un sous-groupe de C, ce qui se dduit de la table de

1
1
1
i
i

1
1
1
i
i

i
i
i
i
i
i
1 1
1 1

Exercice 20.13 Montrer que lensemble Tn (R) des matrices carres dordre n coefficients
rels triangulaires suprieures termes diagonaux non nuls est un groupe multiplicatif.
Solution 20.13 On a Tn (R) GLn (R) puisque le dterminant dune matrice triangulaire
est gal au produit de ces termes diagonaux. La matrice identit In est dans Tn (R) et pour
A, B dans Tn (R) de diagonales respectives
(1
, , n ) et (1 , , n ) , linverse de B est une

1
1
matrice triangulaire de diagonale
, ,
et le produit AB 1 est une matrice triangulaire

1
n

1
n
de diagonale
, ,
, cest donc un lment de Tn (R) . En dfinitive, Tn (R) est un sous1
n
groupe de GLn (R) .
Exercice 20.14 Montrer que lensemble T Un (R) des matrices carres dordre n coefficients
rels triangulaires suprieures termes diagonaux tous gaux 1 est un groupe multiplicatif (le
groupe des matrices triangulaires unipotentes).
Solution 20.14 On procde comme pour lexercice prcdent.
Exercice 20.15 Montrer que lensemble SLn (R) des matrices carres relles dordre n de dterminant gal 1 est un sous-groupe de GLn (R) .
Solution 20.15 Comme les matrices de SLn (R) ont un dterminant non nul, elles sont inversibles. On a donc SLn (R) GLn (R) .
La matrice identit In est dans SLn (R) et pour A, B dans SLn (R) , on a det (AB 1 ) =
det (A)
= 1, donc AB 1 SLn (R) .
det (B)
Exercice 20.16 Montrer que lensemble O2+ (R) des matrices de rotation dfini par :

cos () sin ()
+
O2 (R) = R =
|R
sin () cos ()
est un groupe multiplicatif commutatif.

388

Structure de groupe

Solution 20.16 On vrifie que cest un sous-groupe du groupe multiplicatif SL2 (R) .
Pour tout rel , on a det (R ) = 1, donc R SL2 (R) . On vrifie facilement que R R = In ,
ce qui signifie que R1 = R .
On a In = R0 O2+ (R) et pour R1 , R2 dans O2+ (R) , R1 R21 = R1 2 O2+ (R) .
Donc O2+ (R) est un sous-groupe de SL2 (R) .
Avec R1 R2 = R1 +2 , on dduit que O2+ (R) est commutatif.
Exercice 20.17 Lensemble O2 (R) des matrices de rflexion dfini par :

cos () sin ()

O2 (R) = S =
|R
sin () cos ()
est-il un groupe multiplicatif ? Que dire du produit de deux rflexions ?
Solution 20.17 Pour tout rel , on a det (R ) = 1 6= 0, donc O2 (R) GL2 (R) .
Comme In
/ O2 (R) , cet ensemble nest pas un sous-groupe de GL2 (R) .
Pour 1 , 2 dans R, on a :

cos (1 ) sin (1 )
cos (2 ) sin (2 )
S1 S2 =
sin (1 ) cos (1 )
sin (2 ) cos (2 )

cos 1 cos 2 + sin 1 sin 2 cos 1 sin 2 cos 2 sin 1

=
cos 1 sin 2 + cos 2 sin 1 cos 1 cos 2 + sin 1 sin 2

cos (1 2 ) sin (1 2 )
=
= R1 2 O2+ (R)
sin (1 2 ) cos (1 2 )
cest--dire que le produit de deux rflexions est une rotation.

Exercice 20.18 Montrer que lensemble G des matrices relles de la forme M(a,b) =

a b
b a

avec a2 6= b2 est un groupe multiplicatif. Est-il commutatif.

Solution 20.18 On vrifie que cest un sous-groupe du groupe multiplicatif GL2 (R) .
On a In = M(1,0) G et pour tous rels a, b, on a det M(a,b) = a2 b2 6= 0, donc M(a,b)
GL2 (R) , linverse de M(a,b) tant :

1
a b
1
M(a,b) = 2
= M a , b G.
a b2 b a
a2 b2 a2 b2
Pour M(a1 ,b1 ) , M(a2 ,b2 ) dans G, on a :
M(a1 ,b1 ) M(a2 ,b2 ) = M(a1 a2 +b1 b2 ,a1 b2 +a2 b1 ) G
Donc G est un sous-groupe de GL2 (R) .
Avec
M(a1 ,b1 ) M(a2 ,b2 ) = M(a1 a2 +b1 b2 ,a1 b2 +a2 b1 )
= M(a2 a1 +b2 b1 ,a2 b1 +a1 b2 ) = M(a2 ,b2 ) M(a1 ,b1 )
on dduit que ce groupe est commutatif.
Exercice 20.19 Lensemble des matrices carres dordre n coefficients rels symtriques et
inversibles est-il un groupe multiplicatif ?

Sous-groupes

389

Solution 20.19 Le produit de deux matrices symtriques

ntant
pas ncessairement
0 0 syma b
a b
trique, la rponse est ngative. Par exemple, pour A =
et A0 =
, on a
b c
b0 c0
0

aa + bb0 ab0 + bc0

AA0 =
et en gnral, ba0 + cb0 6= ab0 + bc0 . En effet lgalit revient
ba0 + cb0 bb0 + cc0
b (a0 c0 ) = b0 (a c) qui nest pas ralise pour a = c, b 6= 0 et a0 6= c0 .
Exercice 20.20 Montrer que pour tout groupe (G, ?) et tout lment a de G, le centralisateur
de a form des lments Za de G qui commutent avec a, soit :
Za = {b G | a ? b = b ? a}
est un sous-groupe de G.
Solution 20.20 On a Za 6= puisque e Za . Pour b, c dans Za , on a :
(b ? c) ? a = b ? (c ? a) = b ? (a ? c)
= (b ? a) ? c = (a ? b) ? c = a ? (b ? c)
cest--dire que b ? c Za .
Pour b dans Za , de a ? b = b ? a, on dduit que
b1 ? a = b1 ? a ? b ? b1 = b1 ? b ? a ? b1 = a ? b1
cest--dire que b1 Za .
En dfinitive, Za est un sous-groupe de G.
Dans le cas o G est commutatif, on a Za = G pour tout a G.
Exercice 20.21 Montrer que pour tout groupe (G, ?) , le centre (ou commutateur) Z (G) de G
form des lments de G qui commutent tous les autres lments de G, soit :
Z (G) = {a G | b G, a ? b = b ? a}
est un sous-groupe de G.
Solution 20.21 On a Z (G) 6= puisque e Z (G) . Pour a, b dans Z (G) , on a pour tout
cG:
1

= a ? b ? c1
a ? b1 ? c = a ? c1 ? b

= (a ? c) ? b1 = c ? a ? b1
cest--dire que a ? b1 Z (G) .
En dfinitive, Z (G) est un sous-groupe de G.
On peut remarquer que Z (G) = G si, et seulement si, G est commutatif.
Exercice 20.22 Dterminer les centres des groupes multiplicatifs GLn (R) et SLn (R) .
Solution 20.22 Le centre de GLn (R) est form des homothties de rapport non nul.
Soit A = ((aij ))1i,jn dans le centre de GLn (R) , cest--dire commutant avec toutes les matrices inversibles. En dsignant par (Eij )1i,jn la base canonique de Mn (R) , on a A (In + Eij ) =

390

Structure de groupe

(In + Eij ) A pour tous i 6= j compris entre 1 et n, ce qui quivaut AEij = Eij A pour tous
i 6= j. En dsignant par (ei )1in la base canonique de Rn , on a :

n
P

aki ek
AEij ej = Aei =
nk=1

.
P

Eij Aej = Eij

akj ek = ajj ei

k=1

pour tous i 6= j et lgalit AEij = Eij A impose aki = 0 pour k {1, , n} {i} et aii = ajj .
Cest--dire que A = In avec R . Rciproquement ces matrices dhomothties sont bien
dans le centre de GLn (R) .
Comme les matrices In + Eij (pour i 6= j compris entre 1 et n) sont aussi dans SLn (R) ,
le raisonnement prcdent nous montre que le centre de SLn (R) est {In } pour n impair et
{In , In } pour n pair.
Exercice 20.23 Soit H une partie finie non vide dun groupe (G, ?) . Montrer que H est un
sous-groupe de G si, et seulement si, il est stable pour la multiplication.
Solution 20.23 Il est clair que la condition est ncessaire.
Supposons que H soit fini et stable pour la multiplication. Il sagit alors de montrer que pour
tout a H, linverse a1 est aussi dans H.
La translation gauche ga : x 7 a x est une bijection de G et comme H est stable pour la
multiplication, cette translation est injective de H dans H et donc bijective puisque H est fini.
Il existe donc x H tel que a x = a, ce qui entrane x = e (en multipliant gauche par a1 ).
On a donc e H et il existe x H tel que a x = e, ce qui entrane x = a1 et a1 H.
Exercice 20.24 Soient H, K deux sous-groupes dun groupe multiplicatif G. On dfinit les
sous-ensembles HK et KH de G par :
HK = {hk | (h, k) H K} , KH = {kh | (k, h) K H} .
Montrer que :
(HK est un sous-groupe de G) (HK = KH)
Solution 20.24 Supposons que HK soit un sous-groupe de G.
Si g HK, alors g 1 est aussi dans HK puisque HK est un groupe, il existe donc (h, k) dans
1
H K tel que g 1 = hk et g = (g 1 ) = k 1 h1 KH (H et K sont des groupes). On a
donc HK KH.
Si g KH, il existe alors (h, k) dans H K tel que g = kh et g 1 = h1 k 1 HK et comme
1
HK est un groupe, il en rsulte que g = (g 1 ) HK. On a donc KH HK et lgalit
HK = KH.
Rciproquement supposons que HK = KH.
On a 1 = 1 1 HK.
Si g1 = h1 k1 et g2 = h2 k2 sont dans HK avec h1 , h2 dans H et k1 , k2 dans
K, alors g1 g21 =

1
1
HK = KH et il
h1 k1 k21 h1
2 avec h1 H, k1 k2 K (K est un groupe), donc h1 k1 k2
1
1
KH =
existe (k3 , h3 ) K H tel que h1 k1 k2 = k3 h3 , ce qui donne g1 g2 = k3 h3 h1
2
HK. On a donc prouv que HK est un sous-groupe de G.
Dans le cas o G est commutatif, on a toujours HK = KH et HK est un sous-groupe de G si
H et K le sont.

Sous-groupes

391

Exercice 20.25 Soient G un groupe fini, H, K deux sous-groupes de G et lapplication :

: H K HK
(h, k) 7 hk
1. Montrer que pour tout g HK, on a :

card 1 (g) = card (H K)

2. En dduire que :
card (H) card (K) = card (HK) card (H K)
puis que :
(HK est un sous-groupe de G) (HK KH) (HK = KH)
Solution 20.25
1. Soit g = h1 k1 HK. Lgalit g = hk avec (h, k) H K quivaut h1 k1 = hk, ce qui
1
1
entrane h = h1 k1 k 1 = h1 g avec g = k1 k 1 = h1
1 h H K et k = h h1 k1 = g k1 .
On a donc 1 (g) {(h1 g, g 1 k1 ) | g H K} . Rciproquement si (h, k) = (h1 g, g 1 k1 )
avec g H K, on a alors (h, k) H K et hk = h1 gg 1 k1 = g. Donc :

1 (g) = h1 g, g 1 k1 | g H K
et card (1 (g)) = card (H K) .
2. En crivant quon a la partition :
[

H K =

1 (g)

gHK

on dduit que :
card (H) card (K) = card (H K) =

card 1 (g) =
card (H K)

gHK

gHK

= card (HK) card (H K)

card (H) card (K)
.
card (H K)
3. On en dduit que (HK KH) (HK = KH) et lexercice prcdent permet de conclure.
Il en rsulte que card (HK) = card (KH) =

Exercice 20.26 Soient a, b deux lments dun groupe multiplicatif G tels que (ab)1 = a1 b
1
et (ba)1 = b1 a. Montrer que (a2 ) = b2 = a2 et a4 = b4 = 1.
Donner un exemple non trivial (i. e. avec a et b distincts de 1) dune telle situation.
Solution 20.26 De b1 a1 = (ab)1 = a1 b, on dduit aprs multiplication gauche et
droite par a que ab1 = ba et :

b2 a2 = b (ba) a = b ab1 a = (ba) b1 a = (ba) (ba)1 = 1,

1

ce qui signifie que (a2 )

On en dduit que :

= b2 .

1 2 1 2 2
b = a1 a1 b b
b = a
b4 = b2 b2 = a2

= a1 (ab)1 b = a1 b1 a1 b = (ba)1 a1 b

= b1 a a1 b = 1

392

Structure de groupe
1

et de (a2 ) = b2 , on dduit que a2 b2 = 1, donc a2 b4 = b2 , soit a2 = b2 et a4 = 1.

Les conditions (ab)1 = a1 b et (ba)1 = b1 a reviennent dire que b1 a1 = a1 b, soit
b = ab1 a1 et a1 b1 = b1 a, soit a = ba1 b1 . Dans le cas o a et b commutent, cel donne
b = b1 et a = a1 , soit a2 = b2 = 1. Il suffit donc de prendre deux lments dordre 2 qui
commutent.
2
Z
On peut considrer, par exemple, le groupe de Klein G = {Id, x , y , y } (isomorphe
),
2Z
o x , y , y dsignent les symtries orthogonales par rapport aux axes dans lespace euclidien
R3 .

20.4

Sous-groupe engendr par une partie dun groupe

Thorme 20.7 Soit (G, ?) un groupe. Lintersection dune famille quelconque (Hi )iI de sousgroupes de G est un sous-groupe de G.
Dmonstration. Soit H =

Hi . Comme llment neutre e est dans tous les Hi , il est

iI

aussi dans H et H 6= . Si a, b sont dans H, ils sont alors dans tous les Hi , donc a ? b1 Hi
pour tout i I, ce qui signifie que a ? b1 H. On a donc montr que H un sous-groupe de G.
Remarque 20.3 La runion dune famille de sous-groupes de G nest pas ncessairement un
sous-groupe. Par exemple 2Z et 3Z sont des sous groupes de (Z, +) , mais la runion H ne lest
pas puisque 2 et 3 sont dans H alors que 2 + 3 = 5
/ H.
Exercice 20.27 Soient H, K deux sous-groupes dun groupe G. Montrer que H K est un
sous-groupe de G si, et seulement si, H K ou K H.
Solution 20.27 Si H K ou K H, on a alors H K = K ou H K = H et cest un
sous-groupe de G.
Rciproquement, supposons que H K soit un sous-groupe de G. Si H K cest termin, sinon
il existe g H \ K. Pour tout k K H K, gk est dans H K (cest un groupe) et gk ne
peut tre dans K (sinon g = (gk) k 1 K, ce qui nest pas), donc gk H et k = g 1 (gk) H.
On a donc K H.
Corollaire 20.1 Si X est une partie dun groupe (G, ?) , lintersection de tous les sous-groupes
de G qui contiennent X est un sous-groupe de G.
Dmonstration. Lensemble des sous-groupes de G qui contiennent X est non vide puisque
G en fait partie et le thorme prcdent nous dit que lintersection de tous ces sous-groupes
est un sous-groupe de G.
Dfinition 20.6 Si X est une partie dun groupe (G, ?) , le sous-groupe de G engendr par X
est lintersection de tous les sous-groupes de G qui contiennent X.
On note hXi le sous-groupe de G engendr par X et ce sous-groupe hXi est le plus petit
(pour lordre de linclusion) des sous-groupes de G qui contiennent X.
Dans le cas o X est lensemble vide, on a hXi = {e} .
Dfinition 20.7 Si X est une partie dun groupe (G, ?) , on dit que X engendre G si G = hXi .

Groupes monognes

393

Thorme 20.8 Soient (G, ?) un groupe et X, Y deux parties de G.

1. On a X hXi et lgalit est ralise si, et seulement si X est un sous-groupe de G.
2. Si X Y, on a alors hXi hY i .
3. En notant, pour X non vide, X 1 lensemble form des symtriques des lments de X,
soit X 1 = {x1 | x X} , les lments de hXi sont de la forme x1 ? ? xn o n N
et les xk sont dans X X 1 pour tout k compris entre 1 et n.
Dmonstration. Les points 1. et 2. se dduisent immdiatement des dfinitions.
Pour le point 3. on montre tout dabord que lensemble :

H = x1 ? ? xn | n N et xk X X 1 pour 1 k n
est un sous-groupe de G.
Pour x1 X, on a e = x1 ? x1
1 H et pour x = x1 ? ? xn , y = y1 ? ? ym dans H, on a :
1
x ? y 1 = x1 ? ? xn ? ym
? ? y11 H

Donc H est bien un sous-groupe de G.

Comme X H, il nous suffit de monter que H est contenu dans tout sous-groupe de G qui
contient X. Si K est un tel sous-groupe, tout produit x1 ? ?xn de H est un produit dlments
de X X 1 K, donc dans K, ce qui prouve que H K. On a donc bien hXi = H.
Remarque 20.4 Le point 3. du thorme prcdent nous dit aussi que hXi = hX 1 i =
hX X 1 i .

20.5

Groupes monognes

Pour ce paragraphe, on se donne un groupe multiplicatif (G, ) .

Si X est une partie de G forme dun nombre fini dlments, x1 , , xn , on note alors
hXi = hx1 , , xn i .
Pour n = 1, on dit que hx1 i est un sous-groupe monogne de G.
Dfinition 20.8 On dit que G est un groupe monogne sil existe x1 G tel que G = hx1 i .
Si de plus, G est fini, on dit alors quil est cyclique (ce terme sera justifi aprs avoir dfini la
notion dordre dun lment dun groupe).
Pour tout a G nous avons dj dfini les puissances entires positives de a (paragraphe
20.1). Dans un groupe, on dfinit les puissances entires, positives ou ngatives, de a G par :
0
a =1
n N, an+1 = an a

n N , an = (an )1
n

On peut remarquer que pour n N , on a aussi an = (a1 ) , ce qui rsulte de :

1 n n
a
a = a1 a1 a a = 1
En notation additive, an est not na pour n Z.

394

Structure de groupe

Thorme 20.9 Pour a dans G et n, m dans Z, on a :

an am = an+m
et pour b G qui commute avec a, on a :
(ab)n = an bn = bn an
Dmonstration. On montre tout dabord le rsultat pour n, m dans N par rcurrence sur
m 0 n fix. Le rsultat est vident pour m = 0 et le supposant acquis pour m 0, on a :
an am+1 = an am a = an+m a = an+m+1 .
On en dduit que pour n0 , m0 dans N, on a :
0 1 0 1 0 0 1 0 0 1 0 0 1
0
0
0
0
an am = an
am
= am an
= am +n
= an +m
= an m
cest--dire que le rsultat est valable pour n 0 et m 0.
Pour n, m0 dans N tels que n m0 on a :
0 1
0
0
0
0
anm am = an an am
= an am = anm
et pour n m0 , on a :
nm0

m0 n

= a

m0 n

= a a

= an am

donc le rsultat est valable pour n 0 et m 0.

On procde de manire analogue pour n 0 et m 0.
En dfinitive, cest valable pour tous n, m dans Z.
En supposant que a et b commutent, on montre par rcurrence sur n 0 que (ab)n = an bn
et abn+1 = bn+1 a. Cest clair pour n = 0 et supposant le rsultat acquis pour n 0, on a :
(ab)n+1 = (ab)n ab = an bn ab = an bn ba
= an bn+1 a = an abn+1 = an+1 bn+1 .
Et avec ab = ba, on dduit que (ab)n = (ba)n = bn an .
Ensuite, pour n0 0, on a :

0 0 1 0 0 1
0
0 1
0
0
0
0
(ab)n = (ab)n
= a n bn
= bn an
= an bn = bn an
et le rsultat est valable pour n 0.
On vu que la relation (ab)n = an bn est fausse si a et b ne commutent pas, des exemples
simples tant donns dans GL2 (R) .
Thorme 20.10 Pour tout a G, le sous-groupe de G engendr par a est :
hai = {an | n Z}
Dmonstration. En notant H = {an | n Z} , on a {a} H, 1 = a0 H et pour n, m
dans Z, an (am )1 = anm H, donc H est un sous-groupe de G qui contient {a} et cest le
plus petit du fait que pour tout sous-groupe K de G qui contient {a} , on a an K pour tout
n Z, ce qui implique H K. On a donc bien H = hai .

Groupes monognes

395

Exercice 20.28 Soit G un groupe. Montrer que pour tout n-uplet (x1 , , xn ) dlments de
G qui commutent deux deux (avec n 1), on a :
( n
)
Y
n
hx1 , , xn i =
xk k | (1 , , n ) Z
k=1

1
Solution 20.28 En notant X = {x1 , , xn } , on a X 1 = x1
et comme les xk
1 , , xn
commutent, on dduit que :
(m
)
Y
hx1 , , xn i =
yk | m N et yk X X 1 pour 1 k m
=

(k=1
n
Y

)
xk k | (1 , , n ) Zn

k=1
1
1
1
1
(xk xj = xj xk entrane x1
= x1
et les lments de
j xk xj xj
j xj xk xj , soit xj xk = xk xj
1
X X commutent).

Pour une loi de groupe note additivement, on a, dans le cas o G est commutatif :
)
( n
X
k xk | (1 , , n ) Zn
hx1 , , xn i =
k=1

Par exemple pour le groupe additif G = Z, on a :

hx1 , , xn i =

n
X

xk Z = Z

k=1

o N est pgcd de x1 , , xn . Cette notion est tudie au paragraphe 23.4.2.

Exercice 20.29 Montrer quun groupe G engendr par deux lments a et b qui commutent
est commutatif.

Solution 20.29 Comme ab = ba, on a G = ha, bi = a b | (, ) Z2 et ce groupe est

commutatif.
Exercice 20.30 Soit X = {r1 , , rn } une partie finie de Q et G = hXi le sous groupe de
(Q, +) engendr par X. Montrer que G est monogne.
Solution 20.30 En dsignant par le ppcm des dnominateurs de r1 , , rn , il existe des
ak
pour tout k compris entre 1 et n et en dsignant par
entiers relatifs a1 , , an tels que rk =

le pgcd de a1 , , an , on a :
)
( n
X ak
G=
k | (1 , , n ) Zn

( k=1 n
)
X
=
k bk | (1 , , n ) Zn
k=1
o b1 , , bn sont des entiers relatifs premiers entre eux dans leur ensemble. On a donc G =
ce qui signifie que G est monogne engendr par

Z,

396

20.6

Structure de groupe

Groupes finis. Thorme de Lagrange

Pour ce paragraphe, on se donne un groupe multiplicatif (G, ) .

Thorme 20.11 Pour tout sous-groupe H de G, la relation dfinie sur G par :
x y x1 y H
est une relation dquivalence.
Dmonstration. Pour tout x G, on a x1 x = 1 H, donc est rflexive.
1
Si x, y dans G sont tels que x1 y H, on a alors (x1 y) = y 1 x H, ce qui signifie que
y x. Cette relation est donc symtrique.
Si x, y, z dans G sont tels que x1 y H et y 1 z H, on a alors x1 z = (x1 y) (y 1 z) H,
ce qui signifie que x z. Cette relation est donc transitive.
Avec les notations du thorme prcdent, on note, pour tout g G, g la classe dquivalence
de g et on dit que g est la classe gauche modulo H de g.
On a, pour g G :
h g g h k = g 1 h H k H | h = gk h gH
soit g = gH.
Lensemble de toutes ces classes dquivalence est not G/H et on lappelle lensemble des
classes gauche modulo H.
On a donc :
G/H = {g | g G} = {gH | g G} .
Lapplication :
: G G/H
g 7 g = gH
est surjective. On dit que cest la surjection canonique de G sur G/H.
Dans le cas o G est le groupe additif Z tout sous-groupe de G est de la forme nZ o n est
Z
un entier naturel et cette construction aboutit au groupe
des classes rsiduelles modulo n
nZ
(ces groupes seront tudis plus en dtails au chapitre 25).
Dfinition 20.9 Si G est un groupe ayant un nombre fini dlments son cardinal est appel
lordre de G.
Thorme 20.12 (Lagrange) Soient G un groupe fini dordre n 2 et H un sous-groupe de
G.
1. Les classes gauche modulo H forment une partition de G.
2. Pour tout g G on a card (g) = card (H) .
3. Lordre du sous-groupe H divise lordre du groupe G.
Dmonstration.

Groupes finis. Thorme de Lagrange

397

1. Comme G est fini, il en est de mme de G/H. Notons :

G/H = {g1 , , gp }
o 1 p n et gj 6= gk , pour 1 j 6= k p. Pour tout g G, il existe un unique indice
p
S
j tel que g = gj et g gj . On a donc G =
gj . Dire que g est dans gj gk signifie que
j=1

g est quivalent modulo H gj et gk et donc par transitivit gj et gk sont quivalent, ce

qui revient dire que gj = gk . Les classes gauche modulo H forment donc bien une
partition de G.
2. Pour g G, lapplication h 7 gh est injective (dans un groupe tout lment est simplifiable) et en restriction H elle ralise une bijection de H sur gH = g. Il en rsulte que
g est de mme cardinal que H.
p
S
3. Avec la partition G =
gj et card (gj ) = card (H) pour tout j, on dduit que card (G) =
j=1

p card (H) et card (H) divise card (G) .

Le cardinal p de lensemble G/H est not [G : H] et on lappelle lindice de H dans G. Le
thorme de Lagrange peut aussi se traduire par :
[G : H] = card (G/H) =

card (G)
.
card (H)

Exercice 20.31 Montrer quun groupe fini dordre p un nombre premier est cyclique (et donc
commutatif ).
Solution 20.31 Si G est dordre p 2 premier, il a au moins deux lments et il existe a 6= 1
dans G. Le sous-groupe cyclique hai de G est alors dordre un diviseur de p suprieur ou gal
2, il est donc gal p et G = hai est cyclique.
Exercice 20.32 Soient G un groupe et H, K deux sous-groupes distincts de G dordre un mme
nombre premier p 2. Montrer que H K = {1} .
Solution 20.32 H K est un sous groupe de H, il est donc dordre 1 ou p. Sil est dordre p,
il est gal H et H = H K K entrane H = K, puisque ces deux ensembles ont le mme
nombre dlments. On a donc, pour H 6= K, p = 1 et H K = {1} .
Exercice 20.33 Soient G un groupe, H un sous-groupe de G et K un sous-groupe de H.
Montrer que si lindice de K dans G est fini, alors lindice de H dans G et celui de K dans H
sont aussi finis et on a :
[G : K] = [G : H] [H : K]
Solution 20.33 On note respectivement (gi H)iI et (hj K)jJ les classes gauches modulo H
dans G et modulo K dans H deux deux distinctes.
Nous allons alors montrer que la famille des classes gauches modulo K dans G deux deux
distinctes est (gi hj K)(i,j)IJ . Dans le cas o [G : K] est fini, il ny a quun nombre fini de
telles classes, ce qui impose que I et J sont finis et on a :
[G : K] = card (I J) = card (I) card (J) = [G : H] [H : K]

398

Structure de groupe

Montrons le rsultat annonc.

Si g est un lment de G, il existe un unique indice i I tel que gH = gi H et il existe h H tel
que g = gi h. De mme il existe un unique indice j J tel que hK = hj K et h scrit h = hj k
avec k K, ce qui donne g = gi hj k gi hj K et gK = gi hj K. Les classes gauche dans G
modulo K sont donc les gi hj K pour (i, j) I J. Il reste montrer que ces classes sont deux
deux distinctes.
0 0
Si (i, j) et (i
dans
, j ) 1
I J sont1tels que gi hj K = gi0 hj 0 K, il existe k K tel0 que gi hj = gi0 hj 0 k
et gi = gi0 hj 0 khj
avec hj 0 khj H, ce qui impose gi H = gi0 H et i = i . Il en rsulte que
hj = hj 0 k et hj K = hj 0 K, qui quivaut j = j 0 .

20.7

Morphismes de groupes

On dsigne par (G, ?) et (H, ) deux groupes et on note respectivement e et 1 les lments
neutres de (G, ?) et (H, ) .
Dfinition 20.10 On dit que est un morphisme de groupes de G dans H si est une
application de G dans H telle que : :
(a, b) G2 , (a ? b) = (a) (b) .
Dans le cas o est de plus bijective, on dit que est un isomorphisme du groupe G sur le
groupe H.
Dans le cas o H = G, on dit que est un endomorphisme du groupe (G, ?) et que cest un
automorphisme du groupe (G, ?) si est de plus bijective.
Si G et H sont deux groupes isomorphes, on notera G w H.
Thorme 20.13 Soient G, H, K trois groupes, un morphisme de groupes de G dans H et
un morphisme de groupes de H dans K. Lapplication est un morphisme de groupes de
G dans K.
Si est un automorphisme de G, alors 1 est galement un automorphisme de G.
Dmonstration. En notant les lois de chacun des groupes sous forme multiplicative, on a
pour tout (a, b) G2 :
( ) (a b) = ( (a b)) = ( (a) (b))
= ( (a)) ( (b)) = (a) (b) .
Si est un automorphisme de G, on a alors pour tous a0 , b0 dans G, en notant a = 1 (a0 ) ,
b = 1 (b0 ) :
1 (a0 ? b0 ) = 1 ( (a) ? (b)) = 1 ( (a ? b))
= a ? b = 1 (a0 ) ? 1 (b0 )
ce qui signifie que 1 est un morphisme de groupe. Et on sait dj quil est bijectif, cest donc
un automorphisme de G
On dduit du thorme prcdent que lensemble (Aut (G) , ) des automorphismes de G
dans lui mme est un sous-groupe du groupe symtrique (S (G) , ) form des bijections (ou
permutations) de G.

Morphismes de groupes

399

Exemple 20.26 La fonction exponentielle est un isomorphisme de groupes de (R, +) sur (R+, , ) .
Exemple 20.27 La fonction logarithme nprien est un isomorphisme de groupes de (R+, , )
sur (R, +) .
Exemple 20.28 Lapplication tr : A = ((aij ))1i,jn 7

n
P

aii qui associe une matrice sa

i=1

trace est un morphisme du groupe additif (Mn (R) , +) dans (R, +) .

Exemple 20.29 Lapplication det : A 7 det (A) qui associe une matrice son dterminant
est un morphisme du groupe multiplicatif (GLn (R) , ) dans (R , ) .
Thorme 20.14 Si est un morphisme de groupes de G dans H, on alors :
1. (e) = 1 ;
2. pour tout a G, (a)1 = (a1 ) .
Dmonstration.
1. Pour tout a G, on a :
(a) = (a ? e) = (a) (e)
1

et multipliant par (a)

, on obtient 1 = (e) .

2. Pour tout a G, on a :

1 = (e) = a ? a1 = (a) a1
et multipliant par (a)1 , on obtient (a)1 = (a1 ) .

Dfinition 20.11 Soit un morphisme de groupes de G dans H.

1. Le noyau de est lensemble :
ker () = {x G | (x) = 1} .
2. Limage de est lensemble :
Im () = { (x) | x G} .
Thorme 20.15 Si est un morphisme de groupes de G dans H, alors :
1. ker () est un sous-groupe de G.
2. est injectif si, et seulement si, ker () = {e} .
3. Im () est un sous-groupe de H.
4. est surjectif si, et seulement si, Im () = H.
5. Pour tout sous-groupe G0 de G, (G0 ) est un sous-groupe de H.
6. Pour tout sous-groupe H 0 de H, 1 (H 0 ) est un sous-groupe de G.
Dmonstration.

400

Structure de groupe

1. On a ker () 6= puisque e ker () ( (e) = 1) et pour x, y dans ker () :

x ? y 1 = (x) y 1 = (x) (y)1 = 1
cest--dire que x ? y 1 ker () et ker () est un sous-groupe de G.
2. Si est injectif, on a alors :
x ker () , (x) = 1 = (e) x = e
et donc ker () = {e} .
Rciproquement si ker () = {e} , pour x, y dans G tels que (x) = (y) , on a :

1 = (x)1 (x) = x1 (y) = x1 ? y

donc x1 ? y ker () et x1 ? y = e, ce qui quivaut x = y.
3. On a Im () 6= puisque (e) Im () et pour (x) , (y) dans Im () avec x, y dans
G:

(x) (y)1 = (x) y 1 = x ? y 1 Im ()

et Im () est un sous-groupe de H.
4. Cest la dfinition de la surjectivit.
5. On a e G0 , donc 1 = (e) (G0 ) et pour a0 = (a) , b0 = (b) dans (G0 ) avec a, b
dans G0 , on a :

1
a0 ? (b0 ) = (a) ? ( (b))1 = (a) ? b1

= a ? b1 (G0 )
Prenant G0 = G, on retrouve le fait que Im () est un sous-groupe de H.
6. On a 1 = (e) H 0 , donc e 1 (H 0 ) et pour a, b dans 1 (H 0 ) , on a :

a ? b1 = (a) ? b1 = (a) ? ( (b))1 H 0
donc a ? b1 1 (H 0 ) .
Prenant H 0 = {1} , on retrouve le fait que ker () est un sous-groupe de G.

cos () sin ()
Exemple 20.30 Lapplication : 7 R =
est un morphisme de
sin () cos ()
groupes de (R, +) dans (SL2 (R) , ) et son image Im () = O2+ (R) est un sous-groupe commutatif de (SL2 (R) , ) (exercice 20.16).
Exercice 20.34
1. Soient (G, ) un groupe, E un ensemble non vide et f : G E une application bijective.
Montrer que lensemble E muni de la loi ? dfinie par :

x ? y = f f 1 (x) f 1 (y)
est un groupe isomorphe (G, ) (on dit quon a transport la structure de groupe de G
sur E).
2. Retrouver les rsultats des exercices 20.8 et 20.9.

Morphismes de groupes

401

3. Montrer que pour tout entier n 1 impair lapplication (x, y) 7 x ? y =

une structure de groupe commutatif sur R.

xn + y n dfini

Solution 20.34
1. La fonction f tant bijective de G sur E lapplication
? dfini bien
uneloi interne sur
E.
1
1
1
1
Pour tout x E, on a x?f (1) = f (1)?x = x et x?f (f (x))
= f (f (x))
?x =
f (1) donc f (1) est neutre et tout lment de E est inversible.
Enfin pour x, y, z dans E, on a :

x ? (y ? z) = f f 1 (x) f 1 (y ? z)

= f f 1 (x) f 1 (y) f 1 (z)

et :

(x ? y) ? z = f f 1 (x ? y) f 1 (z)

= f f 1 (x) f 1 (y) ? f 1 (z)

ce qui montre que ? est associative.
Avec f 1 (x ? y) = f 1 (x) f 1 (y) , on dduit que f 1 est un morphisme de groupes de
(E, ?) sur (G, ) et f est un morphisme de groupes de (G, ) sur (E, ?) .
on dit quon a transport la structure de groupe de (G, ) sur E par la bijection f.
2. Les exercices 20.8 et 20.9 sont des exemples de telle situation avec le groupe (R, +) ,
ex ex
f (x) = th (x) = x
pour x R qui ralise une bijection de R sur ]1, 1[ avec pour
e + ex
bijection
argth et f (x) = arctan (x) pour x R qui ralise une bijection de R
i rciproque
h
sur ,
avec pour bijection rciproque tan . Dans le premier cas, on a :
2 2

x ? y = f f 1 (x) + f 1 (y)
= th (argth (x) + argth (y))
th (argth (x)) + th (argth (y))
x+y
=
=
1 + th (argth (x)) th (argth (y))
1 + xy
et dans le second, on a :

x ? y = f f 1 (x) + f 1 (y)
= arctan (tan (x) + tan (y))

3. Lapplication f : x 7 n x est bijective de R sur R pour n impair, son inverse tant

lapplication x 7 xn et on a :

x ? y = n xn + y n = f f 1 (x) + f 1 (y)
Exercice 20.35 Soit G un groupe multiplicatif.
1. Montrer que pour tout a G, lapplication fa : x 7 axa1 est un automorphisme de G.
On dit que fa est un automorphisme intrieur de G.
2. Montrer que lapplication f : a 7 fa est un morphisme de groupes de G dans Aut (G) et
que lensemble Int (G) des automorphismes intrieurs de G est un sous-groupe de Aut (G) .
3. Dterminer le noyau de f.

402

Structure de groupe

4. Dterminer ce noyau dans le cas o G = GLn (R) .

5. Vrifier que si on prend pour dfinition dautomorphisme intrieur les applications ga :
x 7 a1 xa, lapplication a 7 ga nest pas ncessairement un morphisme de groupes.
Solution 20.35
1. Pour x, y dans G, on a :

fa (xy) = axya1 = axa1 aya1 = fa (x) fa (y)

ce qui signifie que fa est un endomorphisme de G. Pour y G, lgalit y = fa (x) quivaut
x = a1 ya = fa1 (y) , ce qui revient dire que fa est bijective dinverse fa1 = fa1 .
2. On vient de voir que lapplication f est une application du groupe G dans le groupe
(Aut (G) , ) .
Pour a, b dans G et x dans G, on a :

fab (x) = abx (ab)1 = a bxb1 a1 = (fa fb ) (x)

donc f (ab) = fab = fa fb et f est un morphisme de groupes. Donc Int (G) qui est limage
de f est un sous-groupe de Aut (G) .
3. Le noyau de f est form des a G tels que fa = IdG , cest--dire des a G tels que
axa1 = x pour tout x G, ce qui quivaut ax = xa pour tout x G. Le noyau est
donc le commutateur (ou le centre) Z (G) de G.
4. Pour G = GLn (R) , ce noyau est form des homothties de rapport non nul. Soit A =
((aij ))1i,jn dans le centre de GLn (R) , cest--dire commutant avec toutes les matrices
inversibles. En dsignant par (Eij )1i,jn la base canonique de Mn (R) , on a A (In + Eij ) =
(In + Eij ) A pour tous i, j compris entre 1 et n, ce qui quivaut AEij = Eij A pour tous
i, j. En dsignant par (ei )1in la base canonique de Rn , on a :
!
n
n
X
X
akj ek = ajj ei .
aki ek = Eij Aej = Eij
AEij ej = Aei =
k=1

k=1

Donc aki = 0 pour k {1, , n} {i} et aii = ajj . Cest--dire que A = In avec
R . Rciproquement ces matrices dhomothties sont bien dans le centre de GLn (R) .
5. Si on prend pour dfinition dautomorphisme intrieurs les applications ga : x 7 a1 xa,
on a gab = gb ga 6= ga gb en gnral et a 7 ga nest pas un morphisme
de groupes.

0 1
Par exemple pour le groupe multiplicatif G = GL2 (R) , soient A =
et B =
1
0

0 1
0 21
a b
1
1
. On a A = A, B =
et pour tout matrice M =

2 0
1 0
c d
GL2 (R) , on a :

c d
c d
1
1
2
2
A M=
, B M=
a b
a b
de sorte que :

gA (M ) = A M A = AM A =
et :

gB (M ) = B M B =

d c
b a

d 2c
2b a

Morphismes de groupes

403

ce qui donne :

gA gB (M ) =

a 2b
c
d
2

6= gB gA (M ) =

a 2b
2c d

en gnral.
Exercice 20.36 Dterminer tous les endomorphismes du groupe additif Z puis tous les automorphismes de ce groupe.
Solution 20.36 Soit un endomorphisme du groupe additif Z. En notant n = (1) , on vrifie
facilement par rcurrence que pour tout entier k N on a (k) = nk et avec (k) = (k) ,
on dduit que cette galit est valable sur tout Z. Lendomorphisme est donc de la forme
: k 7 nk. Rciproquement de telles applications dfinissent bien des endomorphismes de Z.
On a donc :
End (Z) = { : k 7 nk | n Z} Z
Si : k 7 nk est un automorphisme de Z, son inverse est aussi de la forme 1 : k 7 mk et
lgalit 1 (k) = k pour tout k Z scrit mnk = k pour tout k Z, ce qui est ralise si,
et seulement si, n = m = 1. On a donc :
Aut (Z) = {Id, Id}
(les groupe

Z
2Z

Z
sont dfinis au chapitre 25).
nZ

Exercice 20.37
1. Montrer que si f est un endomorphisme du groupe additif R, alors :
a R, r Q, f (ra) = rf (a) .
2. Montrer que les seuls endomorphismes du groupe additif R qui sont monotones sont les
homothties (i. e. les applications x 7 x, o est une constante relle).
Solution 20.37 Un endomorphisme du groupe additif R est une application f : R R qui
vrifie lquation fonctionnelle de Cauchy :
(x, y) R2 , f (x + y) = f (x) + f (y) .

(20.1)

1. En prenant (x, y) = (0, 0) dans (20.1) , on obtient f (0) = 2f (0) , ce qui quivaut
f (0) = 0 (un morphisme de groupes transforme le neutre en neutre).
En prenant (x, y) = (x, x) dans (20.1) , on obtient f (x) + f (x) = 0. On a donc
f (x) = f (x) pour tout x R, cest--dire que la fonction f est impaire (un morphisme
de groupes transforme loppos en oppos).
De (20.1) on dduit par rcurrence que pour tout a R on a :
n N, f (na) = nf (a) .
En effet, le rsultat est vrai pour n = 0 et le supposant vrai pour n 0, on a :
f ((n + 1) a) = f (na) + f (a) = nf (a) + f (a) = (n + 1) f (a) ,

404

Structure de groupe
il est donc vrai pour tout n N.
a
a
En crivant, pour tout n N \ {0} , que f (a) = f n
= nf
, on dduit que
n
n
a 1
f
= f (a) pour tout a R et tout n N \ {0} . Il en rsulte que pour tout rationnel
n
n
p
positif r = , avec p N et q N \ {0} , on a :
q


a
a
p
f (ra) = f p
= pf
= f (a) = rf (a) .
q
q
q
Enfin avec limparit de f, on dduit que ce dernier rsultat est encore vrai pour les
rationnels ngatifs. On a donc f (ra) = rf (a) pour tout a R et tout r Q.

2. Soit f un endomorphisme croissant du groupe additif R. En particulier, on a = f (1)

f (0) = 0.
En dsignant, pour x R, par (rn )nN et (sn )nN des suites dapproximations dcimales
par dfaut et par excs de ce rel, on a pour tout n N :
rn = f (rn ) f (x) f (sn ) = sn
et faisant tendre n vers linfini, on en dduit que f (x) = x.
On procde de manire analogue pour f dcroissante.
Exercice 20.38 Soient G, H deux sous-groupes du groupe additif R et un morphisme de
groupes croissant de G vers H. On suppose que G nest pas rduit {0} .
1. Montrer que lensemble G R+, est non vide.
2. Montrer que sil existe a dans G R+, tel que (a) = 0, alors est le morphisme nul.
3. On suppose que pour tout x dans G R+, , on a (x) 6= 0.
(a) Montrer que (x) > 0 pour tout x dans G R+, .
(x)
(b) Montrer que la fonction x 7
est constante sur G R+, .
x
(c) En dduire quil existe un rel positif tel que (x) = x pour tout x dans G.
Solution 20.38 Si G = {0} alors (0) = 0.
1. Si G nest pas rduit {0} , alors lensemble G R+, est non vide du fait que pour tout
x non nul dans G, x est aussi dans G.
2. Supposons quil existe a dans G R+, tel que (a) = 0. Pour tout x dans G R+, on
peut trouver un entier naturel n tel que x < na (R est archimdien) et avec la croissance
de , on dduit que :
0 (x) (na) = n (a) = 0,
cest--dire que est nul sur G R+, . Avec (x) = (x) pour tout x dans G, on
dduit que est le morphisme nul.
3.
(a) Si pour tout x dans G R+, , on a (x) 6= 0, avec la croissance de on dduit que
(x) > 0 pour tout x dans G R+, .

Sous-groupes distingus, groupes quotients

(b) Supposons quil existe a 6= b dans G R+, tels

405
a
(a)
6=
. On peut supposer que
b
(b)

a
(a)
<
et avec la densit de Q dans R on dduit quil existe un nombre rationnel
b
(b)
p
a
p
(a)
tel que < <
. On a alors qa < pb et avec la croissance de on dduit que
q
b
q
(b)
p
(a)
(x)
q (a) p (b) , ce qui est en contradiction avec <
. La fonction x 7
q
(b)
x
est donc constante sur G R+, .
(c) En notant cette constante on a 0 et (x) = x pour tout x dans G R+, , ce
qui entrane (x) = x pour tout x dans G puisque est un morphisme de groupes.
On peut remarquer que est nulle si, et seulement si, est le morphisme nul.
Pour G = H = R on retrouve le rsultat de lexercice prcdent.
Exercice 20.39 Soient G, H deux sous-groupes du groupe multiplicatif R+, et un morphisme
de groupes croissant de G vers H. Montrer quil existe un rel positif tel que (x) = x pour
tout x dans G.
Solution 20.39 Si G = {1} , alors (1) = 1 et = 1 convient.
Sinon ln (G) = {ln (x) | x G} est un sous-groupe du groupe additif R non rduit {0} et
: t 7 ln ( (et )) est un morphisme de groupes croissant de ln (G) vers ln (H) (la fonction
logarithme est un morphisme de groupes strictement croissant de (R+, , ) sur (R, +)). Il existe
donc un rel 0 tel que (t) = t pour tout t dans
ln (G)
a donc (et ) = et pour tout
ln(x)
. On
t dans ln (G) et pour tout x dans G, on a (x) = e
= e ln(x) = x .
On peut remarquer que est nulle si, et seulement si, est lapplication constante gale 1.

20.8

Sous-groupes distingus, groupes quotients

Pour ce paragraphe, on se donne un groupe multiplicatif (G, ) .

Si H est une partie non vide de G, on note, pour tout g G, gH = {g h | h H} et
Hg = {h g | h H} . Dans le cas o G est commutatif, on a gH = Hg.
Dfinition 20.12 On dit quun sous-groupe H de G est distingu (ou normal) si on a gH = Hg
pour tout g G.
On note parfois H C G pour signifier que H est un sous-groupe distingu de G.
Si le groupe G est commutatif, alors tous ses sous-groupes sont distingus.
Thorme 20.16 Un sous-groupe H de G est distingu si, et seulement si, on a ghg 1 H
pour tout (h, g) H G, ce qui quivaut encore dire que H est stable par tout automorphisme
intrieur.
Dmonstration. Si H est distingu dans G, on a alors gH = Hg pour tout g G, ce qui
quivaut dire que pour tout h H il existe k H tel que gh = kg et ghg 1 = k H. Le
sous groupe H est donc stable par tout automorphisme intrieur a 7 gag 1 .
Rciproquement si H est stable par tout automorphisme intrieur, on a alors ghg 1 H
pour tout (h, g) H G, ce qui entrane que gh = (ghg 1 ) g Hg et hg = g (g 1 hg) gH
pour tout (h, g) H G, encore quivalent dire que gH = Hg.

406

Structure de groupe

Exercice 20.40 Montrer que :

(H C G) (g G, gH Hg) g G, gHg 1 H
Solution 20.40 On a :
(H C G) (g G, gH = Hg) (g G, gH Hg)

g G, gHg 1 H (H C G)
(si gH Hg, alors pour k H, gk Hg, donc il existe k 0 H tel que gk = k 0 g et gkg 1 =
k 0 H, donc gHg 1 H).
Exercice 20.41 Soient G, G0 deux groupes et un morphisme de groupes de G dans G0 . Montrer que ker () est un sous-groupe distingu de G.
Solution 20.41 Pour (g, h) G ker () , on a :

g 1 hg = g 1 (h) (g) = (g)1 1 (g) = 1
cest--dire que g 1 hg ker () . Le sous-groupe ker () de G est donc distingu.
Exercice 20.42 Montrer que le centre dun groupe G est distingu.
Solution 20.42 On a vu que le centre Z (G) est le noyau du morphisme de groupes a 7 fa :
g 7 aga1 de G dans Aut (G) (exercice 20.35), cest donc un sous-groupe distingu de G.
Exercice 20.43 Soient G, H deux groupes et un morphisme de groupes de G dans H.
1. Montrer que si G1 est un sous-groupe distingu de G et est surjectif, alors (G1 ) est
un sous-groupe distingu de H (pour non surjectif, (G1 ) est un sous-groupe distingu
de (G)).
2. Montrer que si H1 est un sous-groupe distingu de H, alors 1 (H1 ) est un sous-groupe
distingu de G.
Solution 20.43 On sait dj que (G1 ) est un sous-groupe de H (que soit surjectif ou non)
et que 1 (H1 ) est un sous-groupe de G.
1. Si est surjectif, tout h H scrit h = (g) avec g G et pour tout h1 = (g1 ) (G1 )
(avec g1 G1 ), on a hh1 = (g) (g1 ) = (gg1 ) avec gg1 gG1 = G1 g et il existe alors
g2 G1 tel que gg1 = g2 g, ce qui donne hh1 = (g2 g) = (g2 ) (g) = (g2 ) h (G1 ) h.
On a donc h (G1 ) (G1 ) h, pour tout h H, ce qui signifie que (G1 ) est distingu
dans H.
2. Pour g G et g1 1 (H1 ) , on a :

gg1 g 1 = (g) (g1 ) ( (g))1 (g) H1 ( (g))1 = H1

et gg1 g 1 1 (H1 ) . Donc g1 (H1 ) g 1 1 (H1 ) et 1 (H1 ) est distingu dans G.
Thorme 20.17 Un sous-groupe H de G est distingu si, et seulement si, il existe une unique
structure de groupe sur lensemble quotient G/H des classes gauche modulo H telle que la
surjection canonique : G G/H soit un morphisme de groupes.

Sous-groupes distingus, groupes quotients

407

Dmonstration. Si G/H est muni dune structure de groupe telle que soit un morphisme
de groupe, on a alors ncessairement pour tous g, g 0 dans G :
gg 0 = (g) (g 0 ) = (gg 0 ) = gg 0
Pour (g, h) dans G H, on a alors g 1 hg = g 1 hg = g 1 g = g 1 g = 1 = H, ce qui signifie que
g 1 hg H (on rappelle que g = gH = 1 = H si, et seulement si, g H).
Supposons H distingu. Lanalyse que lon vient de faire nous montre que la seule loi possible
sur G/H est dfinie par gg 0 = gg 0 . Pour montrer quune telle dfinition est permise, il sagit de
0
montrer quelle ne dpend pas des choix des reprsentants de g et g 0 . Si g = g1 et g 0 = g1 , on a
alors g 1 g1 H et (g 0 )1 g10 H, ce qui entrane :

1
1
1 1 0
1
(gg 0 ) (g1 g10 ) = (g 0 ) g 1 g1 g10 = (g 0 )
g g1 g
(g 0 ) g10 H
((g 0 )1 (g 1 g1 ) g 0 est dans H puisque H est stable par automorphismes intrieurs), soit gg 0 =
g1 g10 .
Il reste vrifier que G/H muni de cette loi de composition interne est bien un groupe.
Avec :
g1 (g2 g3 ) = g1 g2 g3 = g1 (g2 g3 ) = (g1 g2 ) g3
= g1 g2 g3 = (g1 g2 ) g3
on dduit que cette loi est associative.
Avec g1 = g 1 = g, on dduit que 1 est le neutre.
Avec gg 1 = g g 1 = 1, on dduit que tout lment de G/H est inversible avec (g)1 = g 1 .
Par dfinition de cette loi de composition interne, lapplication est surjective.
Remarque 20.5 Pour H distingu dans G, le noyau de la surjection canonique est :

ker () = g G | g = 1 = 1 = H
Comme on a vu que le noyau dun morphisme de groupes est distingu, on dduit quun sousgroupe distingu de G est le noyau dun morphisme de groupes.
Remarque 20.6 Dans le cas o G est commutatif, pour tout sous-groupe H de G, G/H est
un groupe puisque tous les sous-groupes de G sont distingus.
Exemple 20.31 Si G est le groupe additif Z, on sait alors que ces sous-groupes sont les nZ o n
Z
est un entier naturel et comme (Z, +) est commutatif, lensemble quotient
est naturellement
nZ
muni dune structure de groupe.
Dautre part, le thorme de division euclidienne nous permet dcrire tout entier relatif k sous
la forme k = qn + r avec 0 r n 1, ce qui entrane k r nZ et k = r. Et comme r 6= s
pour 0 r 6= s n 1 (on a 0 < |r s| < n et r s ne peut tre multiple de n), on en dduit
que :

Z
= 0, 1, , n 1
nZ
a n lments. Ce groupe est cyclique dordre n engendr par 1.
Exercice 20.44 Montrer quun sous-groupe H de G dindice 2 est distingu.

408

Structure de groupe

Solution 20.44 On a card (G/H) = 2. Pour (g, h) G H, on a soit g H et ghg 1 H,

soit g
/ H, donc g = gH 6= 1 = H et G = gH H avec gH H = (les classes dquivalence
forment une partition de G). Si, pour g
/ H, ghg 1 nest pas dans H, il est forcment dans
1
gH et il existe k H tel que ghg = gk, ce qui entrane hg 1 = k et g = hk 1 H, en
contradiction avec g
/ H.
Thorme 20.18 Si G, H sont deux groupes et : G H un morphisme de groupes, il
existe alors un unique isomorphisme de groupes : G/ ker () Im () tel que = i ,
o i : Im () H est linjection canonique (dfinie par i (h) = h pour tout h Im ()) et
: G G/ ker () la surjection canonique (dfinie par (g) = g = g ker () pour tout g G).
Dmonstration. Comme ker () est distingu dans G, G/ ker () est un groupe.
Si un tel isomorphisme existe, on a alors, pour tout g G :
(g) = i (g) = i (g) = (g)
ce qui prouve lunicit de .
Vu lanalyse du problme, on montre dabord que lon peut dfinir par (g) = (g)
pour tout g G/ ker () . Pour justifier cette dfinition, on doit vrifier quelle ne dpend
pas des choix du choix dun reprsentant de g. Si g = g 0 , on a alors g 0 g 1 ker () , donc
(g 0 ) ( (g))1 = (g 0 g 1 ) = 1 et (g) = (g 0 ) . Lapplication est donc bien dfinie et par
construction, on a = i .
est valeurs dans Im () = Im () , donc surjectif.
Avec :



gg 0 = gg 0 = (gg 0 ) = (g) (g 0 ) = (g) g 0
on voit que cest un morphisme de groupes.
Lgalit (g) = 1 quivaut (g) = 1, soit g ker () ou encore g = 1. Ce morphisme
est donc injectif.
Corollaire 20.2 Soient G, H deux groupes et : G H un morphisme de groupes. Si G est
fini, on a alors :
card (G) = card (ker ()) card (Im ())
Dmonstration. Comme G/ ker () et Im () sont isomorphes, dans le cas o G est fini,
on a :
card (G)
card (Im ()) = card (G/ ker ()) =
.
card (ker ())
Le thorme prcdent sexprime aussi en disant quon a le diagramme commutatif :
G

H
i

G/ ker () Im ()
Thorme 20.19 Si n = dim (E) 2, alors O+ (E) [resp. On+ (R)] est un sous-groupe distingu de O (E) [resp. de On (R)] dindice 2.
Dmonstration. O+ (E) est un sous-groupe distingu de O (E) comme noyau du morphisme de groupes det : O (E) {1, 1} . Comme cette application est surjective (Id O+ (E)
et en dsignant par B = (ei )1in une base orthonorme de E, lapplication u dfinie par
u (e1 ) = e1 et u (ei ) = ei pour i compris entre 2 et n est dans O (E)), O (E) /O+ (E) est
isomorphe {1, 1} et [O (E) : O+ (E)] = 2.

Sous-groupes distingus, groupes quotients

409

Exercice 20.45 Soient G, H deux groupes, : G H un morphisme de groupes, G0 un

sous-groupe distingu de G et H 0 un sous-groupe distingu de H tel que (G0 ) H 0 . Montrer
quil existe un unique morphisme de groupes = G/G0 H/H 0 tel que H = G , o
G : G G/G0 et H : H H/H 0 sont les surjections canoniques.
Solution 20.45 En supposant que , on a ncessairement H (g) = G (g) pour tout
g G, ce qui assure lunicit de .
On dfinit donc par :
]
g G/G0 , (g) =
(g)
en notant g = gG0 la classe de g G modulo G0 et e
h la classe de h H modulo H 0 . Pour justifier
cette dfinition, on doit vrifier quelle ne dpend pas des choix du choix dun
reprsentant de

1
1
1
0
g. Si g1 = g2 , on a alors g2 g1 G , donc (g2 ) ( (g1 )) = g2 g1
(G0 ) H 0 et
^
^

(g1 ) =
(g2 ). Lapplication est donc bien dfinie et par construction, on a H = G .
Avec :
(g1 g2 ) = (g1 g2 ) = ^
(g1 g2 ) = (g^
1 ) (g2 )
^
^
=
(g1 )
(g2 ) = (g1 ) (g2 )
on voit que cest un morphisme de groupes.
Si R est une relation dquivalence sur G, on dit que cette relation est compatible avec la
loi de G si, pour tous g, g 0 , h, h0 dans G, on a :
(gRh et g 0 Rh0 ) gg 0 Rhh0
Cette compatibilt de R avec la loi de G est une condition ncessaire et suffisante pour
dfinir naturellement une structure de groupe sur lensemble quotient G/R par :
gg 0 = gg 0
Prcisment, on a le rsultat suivant, o G/R est lensemble des classes dquivalence modulo
R et : g 7 g = {h G | gRh} est la surjection canonique de G sur G/R.
Thorme 20.20 Soit R une relation dquivalence sur G. Cette relation est compatible avec
la loi de G si, et seulement si, il existe une unique structure de groupe sur lensemble quotient
G/R telle que la surjection canonique : G G/R soit un morphisme de groupes.
Dmonstration. Si G/R est muni dune structure de groupe telle que soit un morphisme
de groupe, on a alors ncessairement pour tous g, g 0 dans G :
gg 0 = (g) (g 0 ) = (gg 0 ) = gg 0
On en dduit que pour g, g 0 , h, h0 dans G tels que gRh et g 0 Rh0 , on a :
gg 0 = g g 0 = h h0 = hh0
ce qui signifie que gg 0 Rhh0 . La relation R est donc compatible avec la loi de G.
Rciproquement, supposons que R soit compatible avec la loi de G. Lanalyse que lon vient
de faire nous montre que la seule loi possible sur G/R est dfinie par gg 0 = gg 0 . Pour montrer
quune telle dfinition est permise, il sagit de montrer quelle ne dpend pas des choix des
reprsentants de g et g 0 . Si g = h et g 0 = h0 , on a alors gRh et g 0 Rh0 , ce qui entrane gg 0 Rhh0 ,
soit gg 0 = hh0 .

410

Structure de groupe

Exercice 20.46 Soit R une relation dquivalence sur G compatible avec la loi de G. Montrer
que :
1. pour tous g, h dans G, on a gh = gh et hg = hg ;
2. H = 1 est un sous-groupe distingu de G ;
3. pour tout g G, g = gH = Hg et G/R = G/H.
Solution 20.46
1. On a :

k gh (h0 G | h0 Rh et k = gh0 ) (k = gh0 Rgh) k gh

donc gh gh. Et rciproquement :

k gh (kRgh) g 1 kRh g 1 k h k gh
soit gh gh et gh = gh.
On procde de manire analogue pour lgalit hg = hg
2. On a 1 H = 1, si g, h sont dans H, on a gR1 et hR1, donc ghR1 et pour g H, 1Rg
et g 1 Rg 1 entrane g 1 R1, soit g 1 H. Donc H est bien un sous-groupe de G.
pour g G, on a gH = g1 = g et Hg = 1g = g = gH, ce qui signifie que H est distingu
dans G.
3. On a aussi montr en 2. que G/R = G/H.
Lexercice prcdent nous dit en fait que les relations dquivalence sur un groupe compatibles
avec sa loi sont celles suivant un groupe distingu ( gauche ou droite).

20.9

Ordre dun lment dans un groupe

Pour ce paragraphe, on se donne un groupe multiplicatif (G, ) et pour tout a G, hai =

{an | n Z} est le sous-groupe de G engendr par a.
Dfinition 20.13 Lordre dun lment a de G est llment (a) N {+} dfini par :
(a) = card (hai) .
Si (a) est dans N , on dit alors que a est dordre fini, sinon on dit quil est dordre infini.
Remarque 20.7 Seul lunit 1 G est dordre 1 dans G. En effet, si a = 1, alors hai = {1}
et si a 6= 1, alors a0 6= a1 et hai a au moins deux lments.
Remarque 20.8 Pour tout a G, on a (a) = (a1 ) puisque :
1 1 n

a
= a
| n Z = an | n Z
= {an | n Z} = hai
Remarque 20.9 Dans le cas o le groupe G est fini, le thorme de Lagrange (thorme 20.12)
nous dit que, pour tout a G, lordre de a divise lordre de G.
Un groupe fini G dordre n est cyclique si, et seulement si, il existe dans G un lment dordre
n.

Ordre dun lment dans un groupe

411

Exercice 20.47 Dterminer lordre dun lment du groupe multiplicatif C .

Solution 20.47 Tout nombre complexe non nul scrit z = ei o R+, et [0, 2[
(avec un tel choix
k de ,k cette criture est unique).
Si 6= 1, on a z = 6= 1 pour tout entier relatif k, donc z k 6= z j pour k 6= j dans Z et hzi
est infini.
Si = 1, on a alors, pour k entier relatif non nul, z k = eik = 1 si, et seulement si, il existe un

entier relatif q tel que k = 2q, ce qui signifie que

est rationnel. On en dduit donc que :
2

pour
irrationnel, z k 6= 1 pour tout entier relatif k et hzi est infini ;
2

p
pour
= rationnel avec (p, q) ZN et pq = 1, en effectuant la division euclidienne
2
q
dun entier relatif k par q, on a k = mq + r avec 0 r q 1 et :

m
z k = eik = eiq eir = e2ip eir = eir
et hzi = {eir | 0 r q 1} a au plus q lments.
Pour 0 r 6= s q 1 lgalit eir = eis quivaut ei(sr) = 1, ce qui revient dire
p
p
(s r) = 2m avec m Z, qui tenant compte de = 2 , donne (s r) = m, soit q
q
q
divise p (s r) sachant que q est premier avec p, donc q divise r s (thorme de Gauss)
et ncessairement r = s puisque |r s| q 1. On a donc exactement q lments dans
hzi et z est dordre q.
En fait hzi est le groupe q des racines q-mes de lunit.
En dfinitive :

i + si 6= 1 ou = 1 et 2 irrationnel
e =

p
q si
= Q avec p q = 1
2
q
Exercice 20.48 Dterminer lordre dune matrice de rotation [resp. de rflexion] dans GL2 (R)
(exercices 20.16 et 20.17). En dduire quon peut trouver deux lments dordre fini dans
GL2 (R) dont le produit est dordre infini.
Solution 20.48 Pour tout rel et tout entier n 1, on a Rn = Rn et Rn = In quivaut
ein = 1, ce qui revient dire quil existe un entier relatif q tel que n = 2q. Il en rsulte

Q.
quune matrice de rotation R est dordre fini si, et seulement si,
2
Si S est une matrice de rflexion, on a S2 = R = In et S 6= In , donc S est dordre 2.
0
La compose de deux matrices de rflexions S S0 = R0 est dordre infini si

/ Q.
2
Pour a G, le sous-groupe de G engendr par a peut tre vu comme limage du morphisme
de groupes :
a : Z G
k 7 ak
(pour j, k dans Z, on a a (j + k) = aj+k = aj ak = a (j) a (k) et a est bien un morphisme
de groupes).
En utilisant la connaissance des sous-groupes additifs de Z, on a le rsultat suivant.
Thorme 20.21 Pour a G, on a (a) = + si, et seulement si, a est injective et pour a
dordre fini, on a ker (a ) = (a) Z.

412

Structure de groupe

Dmonstration. Le noyau de a tant un sous-groupe de Z, il existe un unique entier n 0

tel que ker (a ) = nZ.
On aura n = 0 si, et seulement si, a est injective, ce qui revient dire que a (k) = ak 6= 1
pour tout k Z ou encore que a (k) = ak 6= a (j) = aj pour tous j 6= k dans Z et le
sous-groupe hai = Im (a ) est infini.
Si n 1, en effectuant, pour k Z, la division euclidienne de k par n, on a k = qn + r avec
0 r n 1 et ak = (an )q ar = ar , ce qui nous donne :
hai = Im (a ) = {ar | 0 r n 1}
De plus pour 1 r n 1, on a ar 6= 1 puisque n = inf (ker (a ) N ) , ce qui entrane ar 6= as
pour 0 r 6= s n 1 (pour s r, lgalit ar = as quivaut asr = 1 avec s r compris
entre 0 et n 1, ce qui quivaut r = s). Le groupe hai a donc exactement n lments.
Une autre dfinition de lordre dun lment dun groupe est donne par le rsultat suivant.
Corollaire 20.3 Dire que a G est dordre fini n 1 quivaut dire que an = 1 et ak 6= 1
pour tout k est compris entre 1 et n 1 ( (a) est le plus petit entier naturel non nul tel que
an = 1).
Dmonstration. Si a est dordre n 1, on a vu avec la dmonstration du thorme
prcdent que an = 1 et ak 6= 1 pour tout k est compris entre 1 et n 1.
Rciproquement sil existe un entier n 1 tel que an = 1 et ak 6= 1 pour k est compris entre 1
et n1, le morphisme de groupes a est non injectif, donc a est dordre fini et ker (a ) = (a) Z
avec (a) = inf (ker (a ) N ) = n.
Corollaire 20.4 Dire que a G est dordre fini n 1 quivaut dire que, pour k Z, on a
ak = 1 si, et seulement si, k est multiple de n.
Dmonstration. Si a est dordre n, on a alors an = 1 et pour k = qn + r Z avec q Z
et 0 r n 1 (division euclidienne), on a ak = ar = 1 si, et seulement si r = 0.
Rciproquement supposons que ak = 1 si, et seulement si, k est multiple de n. On a alors
an = 1 et ak 6= 1 si k est compris entre 1 et n 1, ce qui signifie que a est dordre n.
En rsum, on retiendra que :
(
(a injective) (ker (a ) = {0})
(a) = +)
k
k Z , a 6= 1 (hai est infini isomorphe Z) ;

r
( (a)
= n Nk) (ker (a ) = nZ) (hai = {a
| 0 r n 1})
k Z et a = 1 quivaut k 0 mod (n)
(n est le plus petit entier naturel non nul tel que an = 1) .
Pour a dordre fini, le groupe hai est dit cyclique, ce qui est justifi par aqn+r = ar pour
q Z et 0 r n 1.
Thorme 20.22 Si G est un groupe cyclique dordre n, il est alors isomorphe au groupe

Z
.
nZ

Dmonstration. Si G = hai est cyclique dordre n, alors lapplication a : k 7 ak est

un morphisme de groupes surjectif de (Z, +) sur G de noyau ker (a ) = nZ et le thorme
Z
est isomorphe G.
disomorphisme (thorme 20.18) nous dit
nZ
Exemple 20.32 Le groupe multiplication n des racines n-mes de lunit, qui est cyclique
Z
2ik
dordre n, est isomorphe
par lapplication k 7 e n .
nZ

Ordre dun lment dans un groupe

413

Dans le cas o le groupe G est additif, lordre de a G est dfini comme le plus petit entier
n 1 tel que na = 0, quand cet ordre est fini. Lgalit ma = 0 quivaut alors dire que m
est multiple de n. Le groupe engendr par a est alors :
hai = {ka | k Z} = {ra | 0 r n 1} .
Corollaire 20.5 Si G est fini dordre m, on a alors am = 1 pour tout a G.
Dmonstration. (a) est fini et divise m.
Exercice 20.49 Dterminer les sous-groupes finis du groupe multiplicatif C .
Solution 20.49 Si G C est un
dordre n o
1, on a alors z n = 1 pour z G et G
n groupe
k
est contenu dans lensemble n = e2i n | 0 k n 1 des racines n-mes de lunit qui est
lui mme un groupe dordre n. On a donc G = n .
Exercice 20.50 Soit G un groupe fini dordre m. Montrer que pour tout entier relatif n premier
avec m, lapplication g 7 g n est une bijection de G sur lui mme (cest donc une permutation
de G).
Solution 20.50 Comme m n = 1, le thorme de Bzout nous dit quil existe deux entiers
relatifs u et v tels que un + vm = 1 et pour tout g G, on a g = g un+vm = (g u )n (g m )v = (g u )n ,
ce qui signifie que lapplication g 7 g n est surjective. Comme G est fini, cette application est
bijective.
Exercice 20.51
1. Soit G un groupe fini dont tous les lments sont dordre au plus gal 2. Montrer que G
est commutatif et que son ordre est une puissance de 2.
2. Montrer que si G est un groupe fini dordre 2p avec p premier, il existe alors un lment
dordre p dans G.
Solution 20.51
1. Si tous les lments de G sont dordre au plus gal 2, on a alors a2 = 1 pour tout a G,
et G est commutatif (exercice 20.10).
Si G est rduit {1} , on a alors card (G) = 1 = 20 .
Si G dordre n 2 nest pas rduit {1} , il existe a G \ {1} tel que hai = {1, a}
G
est de cardinal strictement infrieur n = card (G) avec tous
et le groupe quotient
hai
ses lments dordre au plus gal 2. On conclut alors par rcurrence sur lordre de G.
En supposant
le rsultat acquis pour les groupes dordre strictement infrieur n, on a
G
card
= 2p et card (G) = 2p+1 .
hai
On peut procder de faon plus rapide (et plus astucieuse) comme suit. En notant la loi de
G sous forme additive, on a 2 a = 0 pour tout a G et on peut munir G dune structure
Z
-espace vectoriel en dfinissant la loi externe par 0a = 0 et 1a = a pour tout a G,
de
2Z
la loi interne tant laddition de G. Si G est fini, il est ncessairement
de dimension fini
p
Z
Z
sur
et notant p sa dimension, on a card (G) = card
= 2p .
2Z
2Z

414

Structure de groupe

2. Si G est dordre 2p 4 avec p premier, le thorme de Lagrange nous dit que les lments
de G \ {1} sont dordre 2, p ou 2p. Sil ny a aucun lment dordre p, il ny en a pas
p
dordre 2p (si g G \ {1} est dordre 2p, on a alors g 2 6= 1, g p 6= 1 et (g 2 ) = g 2p = 1,
donc g 2 est dordre p), donc tous les lments de G \ {1} sont dordre 2 et G est dordre
2n = 2p, do p = 2n1 , n = 2 et p = 2 puisque p est premier, soit une contradiction avec
lhypothse quil ny a pas dlment dordre p (= 2). Il existe donc dans G des lments
dordre p.
Ce rsultat est un cas particulier dun thorme de Cauchy qui nous dit que si G est un
groupe fini de cardinal n, alors pour tout diviseur premier p de n, il existe dans G un
lment dordre p (thorme 20.1).
Exercice 20.52 Montrer quun groupe G est fini si et seulement si lensemble de ses sousgroupes est fini.
Solution 20.52 Si G est un groupe fini alors lensemble P (G) des parties de G est fini (de
cardinal 2card(G) ) et il en est de mme de lensemble des sous-groupes de G.
Rciproquement soit (G, ) un groupe tel que lensemble de ses sous-groupes soit fini. On peut
r
S
S
crire G =
hgi et cette runion est finie, soit G =
hgk i . Si lun de ces sous-groupes hgk i
gG

est infini, alors les hgkn i o n dcrit N

effet lgalit hgkn i = hgkm i entrane gkn

k=1

forment une famille infinie de sous-groupes de G : en

= gkjm , soit gknjm = 1 et n jm = 0 (gk est dordre
infini), cest--dire que m divise n. Comme n et m jouent des rles symtriques, on a aussi n
qui divise m et en dfinitive n = m (on peut aussi dire que hgk i est isomorphe Z et de ce fait
a une infinit de sous groupes). On a donc une contradiction si lun des hgk i est infini. Donc
tous les hgk i sont finis et aussi G.
Exercice 20.53 Donner des exemples de groupes infinis dans lequel tous les lments sont
dordre fini.
Solution 20.53 En dsignant, pour tout entier n 1, par n le groupe des racines n-mes de
+
S
lunit dans C , la runion =
n est un sous-groupe de C (1 , pour z , il existe
n=1

n 1 tel que z n , donc z 1 n et pour z, z 0 dans , il existe n, m tels que z n et

z 0 m , donc zz 0 nm ). Ce groupe est infini avec tous ses lments dordre fini.
Z
Le groupe additif G =
[X] avec p premier est infini et tous ses lments sont dordre 1 ou
pZ
p.
Si on dfinit sur le corps Q des rationnels la relation dquivalence r v s si et seulement si
Q
pour cette relation dquivalence est infini et tous ses
r s Z, alors le groupe quotient
Z
p
lments sont dordre fini (q = 0).
q
Si E est un ensemble infini, alors (P (E) , ) o est loprateur de diffrence symtrique est
infini et tous les lments sont dordre 1 ou 2 puisque AA = .
Thorme 20.23 Soient a, b G dordre fini et k Z .

(a)
1. On a ak =
(en particulier (a1 ) = (a)).
(a) k
(a)
2. Si k divise (a) , on a alors ak =
.
|k|

Sous-groupes des groupes cycliques

415

3. Si k est premier avec (a) , on a alors ak = (a) .
4. Si ab = ba, alors ab est dordre fini divisant (a) (b) .
Dans le cas o hai hbi = {1} , on a (ab) = (a) (b) . Si (a) et (b) sont premiers
entre eux, on a alors hai hbi = {1} et (ab) = (a) (b) = (a) (b) .
Dmonstration.
1. Soit = (a) k et n0 , k 0 premiers entre eux tels que (a) = n0 , k = k 0 .
Pour tout entier relatif j, on a :
k j
a
= akj = 1 q Z | kj = q (a) q Z | k 0 j = qn0
n0 divise j (Gauss)

et en consquence ak = n0 =

(a)
.
(a) k

(a)
2. Si k divise (a) , on a alors (a) k = |k| et ak =
.
|k|

3. Si k est premier avec (a) , on a alors (a) k = 1 et ak = (a) .
4. Soit = (a) (b) . Dans le cas o a et b commutent, on a (ab) = a b = 1 avec 1
et ab est dordre fini et cet ordre divise . En dsignant par n = (ab) lordre de ab, on
a an bn = (ab)n = 1 et an = bn hai hbi .
Si hai hbi = {1} , on a alors an = bn = 1 et n est multiple de (a) et (b) , donc de
(a) (b) et n = (a) (b) .
Si (a) (b) = 1, on a alors (a) (b) = (a) (b) . De plus avec hai hbi hai et
haihbi hbi , on dduit que card (hai hbi) divise (a) = card (hai) et (b) = card (hbi) ,
donc card (hai hbi) = 1 et hai hbi = {1} , ce qui implique que (ab) = (a) (b) =
(a) (b) .

Remarque 20.10 Si (a) et (b) ne sont pas premiers entre eux, avec a, b commutant et
dordre fini, lordre de ab nest pas ncessairement le ppcm de (a) et (b) . En prenant par
exemple a dordre n 2 dans G et b = a1 qui est galement dordre n, on ab = ba = 1 dordre
1 6= ppcm (n, n) = n.
Remarque 20.11 Pour a et b ne commutant pas, le produit ab peut tre dordre infini, mme
si a et b sont dordre fini.

20.10

Sous-groupes des groupes cycliques

Pour ce paragraphe, G = hai un groupe cyclique dordre n 2.

Si H est un sous-groupe de G, le thorme de Lagrange nous dit que lordre de H est un
diviseur de n. Le thorme qui suit nous dit que les sous-groupes dun groupe cyclique sont
cycliques et que pour tout diviseur d de n, il existe un sous-groupe de G dordre d. Ce rsultat
nest pas vrai pour un groupe fini quelconque comme nous le verrons avec ltude du groupe
symtrique.
Thorme 20.24 Pour tout diviseur d de n, il existe
nun
unique sous groupe dordre d du
groupe cyclique G = hai , cest le groupe cyclique H = a d .

416

Structure de groupe

n
Dmonstration. Pour tout diviseur d de n, H = a d est un sous-groupe cyclique de G et
n
n
le thorme 20.23 nous dit quil est dordre a d =
= d.
n nd
Rciproquement soit H un sous-groupe de G dordre d, un diviseur de n.
Si d = 1, on a alors H = {1} = han i .
Si d 2, H nest pas rduit {1} , donc il existe un entier k compris entre 1 et n 1 tel
que ak H et on peut poser :

p = min k {1, , n 1} | ak H .
En crivant, pour tout h = ak H, k = pq + r avec 0 r p 1 (division euclidienne par p),
on a ar = ak (apq )1 H et ncessairement r = 0. On a donc H hap i H, soit H = hap i .
n
n
Avec an = 1 H, on dduit que n est multiple de p et lordre de H est d =
= ,
np
p
n
cest--dire que H = a d . Un tel sous-groupe dordre d est donc unique.
Dn E n
Z
Exemple 20.33 Les sous groupes de
sont les
1 =
o d est un diviseur de n. Un
nZ
d
d
Z
tel sous-groupe est isomorphe
et il y en a autant que de diviseurs de n.
dZ

D 2i E
nd
2i
n
en
Exemple 20.34 Les sous groupes de n = {z C | z = 1} = e n sont les
=
D 2i E
e d = d o d est un diviseur de n et il y en a autant que de diviseurs de n.
Lemme 20.1 (Cauchy) Soit G un groupe commutatif fini dordre n 2. Pour tout diviseur
premier p de n il existe dans G un lment dordre p
Dmonstration. On procde par rcurrence sur lordre n 2 de G.
Pour n = 2, le rsultat est trivial (G est le seul sous-groupe dordre 2).
Supposons le acquis pour les groupes commutatifs dordre m < n, o n 3 et soient G un
groupe commutatif dordre n, p un diviseur premier de n et g G \ {1} .
Si G = hgi ,n alors G est cyclique et g est dordre n. Pour tout diviseur premier p de n,
llment h = g p est alors dordre p dans G.
Si G 6= hgi et p divise m = card (hgi) < n, alors lhypothse de rcurrence nous assure de
lexistence dun lment h dans hgi qui est dordre p.
Supposons enfin que G 6= hgi et p ne divise pas m = card (hgi) . Comme p est premier
G
ne divisant pas m, il est premier avec m et le groupe quotient
est commutatif dordre
hgi
n
r =
< n divisible par p (p divise n = rm et p est premier avec m, le thorme de Gauss
m
nous dit alors que p divise r). Lhypothse de rcurrence nous assure alors de lexistence dun
G
lment [h] dordre p dans
. Si s est lordre de h dans G, alors [h]s = [hs ] = [1] et s est
hgi
multiple de p. Llment k = hs/p est alors dordre p dans G.