Exam 4

L3 MATHÉMATIQUES, 2019–2020
THÉORIE DES GROUPES

CORRIGÉ DE L’EXAMEN DE SECONDE SESSION
01 JUILLET 2020
PAUL LESCOT
Exercice I
(1) enG = eG , donc eG ∈ En (G) : En (G) 6= ∅.
Soit (x, y) ∈ En (G)2 ; alors xn = eG et y n = eG , d’où
(xy −1 )n = xn (y −1 )n
(car G est abélien)
= xn (y n )−1
= eG (eG )−1
= eG ,
−1
et xy ∈ En (G).
En (G) est donc bien un sous–groupe de G.
(2) Prenons G = Σ3 (le groupe symétrique de degré 3) et n = 2. On voit
facilement que
E2 (Σ3 ) = {Id, (12), (13), (23)}.

Ce n’est pas un sous–groupe de G car
(12)(13) = (132) ∈
/ {Id, (12), (13), (23)}.
On peut également invoquer le Théorème de Lagrange : E2 (Σ3 ), de
cardinal 4, ne peut pas être un sous–groupe de Σ3 , d’ordre 6, car 4 ne
divise pas 6.
Exercice II
(1) Pour chaque x ∈ G on a xx = x2 = eG , donc x = x−1 . Il en résulte que,
pour tout (x, y) ∈ G2
xy = (xy)−1 = y −1 x−1 = yx.

Donc G est abélien.
(2) D’après le résultat de la question (1), chaque élément de G est d’ordre 1
ou 2. Soit p un nombre premier divisant l’ordre de G ; alors G contient
un élément d’ordre p, donc p = 2. Il en résulte que 2 est le seul diviseur
premier possible de l’ordre de G ; ce dernier est donc une puissance de 2.
1
2 PAUL LESCOT
(3) G étant un groupe fini abélien, on sait qu’il existe un entier n et des entiers
a1 , ..., an tels que a1 ≥ 2,
a1 |a2 |...|an
et
Z Z
G' × ... × .
a1 Z an Z
Chaque ai est l’ordre d’un élément de G, donc ai ∈ {1, 2}; mais
ai ≥ a1 ≥ 2,
Z n
d’où ai = 2 pour chaque i. Il apparaı̂t que G ' ( ) .
2Z
Remarque. On peut procéder autrement : pour m ∈ Z, notons m̄ sa
Z
classe dans , et, pour g ∈ G, posons
2Z
m̄.g := g m .
Z
Cette action est bien définie (il faut le vérifier ...) et fait de G un -
2Z
espace vectoriel. Etant fini, cet espace est de dimension finie n, donc G est
Z Z
isomorphe, en tant que -espace vecoriel, à ( )n . A plus forte raison
2Z 2Z
lui est-il isomorphe comme groupe abélien, d’où (3). Mais alors |G| = 2n ,
d’où (2).
Exercice III
Pour r ∈ R, r̄ désignera la classe de r modulo Z, et pour g ∈ G, g̃ désignera la
classe de g modulo H.
(1) Soit h ∈ H ; alors h = q̄ = q + Z pour un q ∈ Q ; mais alors q ∈ R, d’où
R
h = q+Z ∈ = G. L’addition sur H étant la restriction de celle de G,
Z
on a le résultat.
a
(2) Soit g ∈ H ; alors g = q̄ = q + Z pour un q ∈ Q. On peut écrire q = avec
b
a ∈ Z et b ≥ 1. Alors
bg = bq̄
= bq
= ā
= a+Z
= Z
(car a ∈ Z)
= 0G ;
g est donc d’ordre fini (diviseur de b).
Réciproquement, supposons g ∈ G d’ordre fini n, et soit g = q̄ = q + Z
pour un q ∈ R.
Alors bq = bq̄ = bg = 0G = 0̄, soit bq ∈ Z ; il s’ensuit que
bq
q= ∈Q
b
L3 MATHÉMATIQUES, 2019–2020THÉORIE DES GROUPESCORRIGÉ DE L’EXAMEN DE SECONDE SESSION01 JUILLET
et
Q
g = q̄ ∈ = H.
Z
R
On note maintenant T le groupe quotient .
Q
(3) On a
R
G R
= Z ' =T
H Q Q
Z
en vertu du Troisième Théorème d’Isomorphisme.
G
(4) Soit x = g̃ ∈ d’ordre fini n ≥ 1; alors
H
ng = ng̃ = nx = 0 G ,
H
donc ng ∈ H ; en vertu de (2), ng est d’ordre fini, donc il existe un entier

m ≥ 1 tel que m(ng) = 0G .
Mais alors (mn)g = 0G , donc g est d’ordre fini ; d’après (2), on a alors
g ∈ H d’où x = g̃ = 0 G .
H
G
Dans le groupe , l’élément neutre est ainsi le seul élément d’ordre fini;
H
il en est donc de même dans le groupe isomorphe T .
Exercice 4
Dans Σ4 , soient x := (1234) et y = (13) ; alors x est d’ordre 4, y est d’ordre 2 et
yxy −1 = yxy = (13)(1234)(13) = (1432) = x−1 .
Le sous–groupe < x, y > de Σ4 est donc isomorphe à D8 .
On pouvait aussi raisonner géométriquement : D8 est isomorphe qu groupe des
isométries du plan laissant invariant un carré. Chaque élément de D8 définit ainsi
une permutation des quatre sommets du carré ; on obtient de cette manière un
morphisme injectif (à vérifier) de D8 dans le groupe des permutations de l’ensemble
des sommets, lequel est isomorpheà Σ4 .

Exam 4

Transféré par

Droits d'auteur :

Formats disponibles

Exam 4

Transféré par

Informations du document

Description originale:

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Exam 4

Transféré par

Droits d'auteur :

Formats disponibles

L3 MATHÉMATIQUES, 2019–2020

THÉORIE DES GROUPES

E2 (Σ3 ) = {Id, (12), (13), (23)}.

xy = (xy)−1 = y −1 x−1 = yx.

donc ng ∈ H ; en vertu de (2), ng est d’ordre fini, donc il existe un entier

Vous aimerez peut-être aussi