Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

chapitre 19
Groupes

I Généralités
Définition I.1.

Soit G un ensemble non vide muni d’une application ∗ : G×G → G, appelée loi de composition
interne. On dit que (G, ∗) est un groupe si
→ ∗ est associative : ∀x, y, z ∈ G x ∗ (y ∗ z) = (x ∗ y) ∗ z
→ ∗ admet un élément neutre, i.e. il existe e ∈ G tel que pour toutx ∈ G, x ∗ e = x = e ∗ x.
→ Tout élément admet un inverse, i.e. ∀x ∈ G, ∃x−1 ∈ G, x ∗ x−1 = e = x−1 ∗ x
Si ∗ est commutative, i.e. ∀x, y ∈ G x ∗ y = y ∗ x, on dit alors que (G, ∗) est un groupe
commutatif ou groupe abélien.

Notations :
→ Lorsque (G, ∗) est un groupe commutatif, on notera plutôt (G, +). Dans tout le reste du chapitre,
on considère G un groupe d’élément neutre e.
→ Lorsque A et B sont deux ensembles disjoints, on note A ⊔ B au lieu de A ∪ B.
Exercice I.2.

Soit (H, ∗) un monoïde (i.e. ∗ est associative et admet un élement neutre) tel que tout element
admet un inverse à gauche. Montrer que H est un groupe.

Définition I.3.
H
On dit que H ⊂ G est un sous-groupe du groupe (G, ∗) si H est stable par ∗ et (H, ∗ )=
H×H
(H, ∗) forme un groupe. On notera H ≤ G.

Proposition I.4.

(H, ∗) est un sous-groupe de (G, ∗) si et seulement si H ̸= ∅ et

∀x, y ∈ H x ∗ y −1 ∈ H

Proposition I.5.

Soit (H, ∗) un sous-groupe de (G, ∗). Les propositions suivantes sont vraies.
1. G et H ont le même élément neutre.
2. Pour tout x ∈ H, l’inverse de x dans (H, ∗) est égal à l’inverse de x dans (G, ∗).
3. ∀g, h ∈ G, (g ∗ h)−1 = h−1 ∗ g −1

Preuve

1/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

1. Posons eG et eH les éléments neutres respectifs de de (G, ∗) et (H, ∗). On a eH ∗ eH = eH , donc en

multipliant des deux côtés par l’inverse de eH dans (G, ∗), on obtient eH = eG .

2. Soit a ∈ H et a−1
H , aG ses inverses respectifs dans (H, ∗) et (G, ∗). On a aH ∗ a = eH = eG donc en
−1 −1

multipliant des deux côtés à droite par aG , on obtient aG = aH .

−1 −1 −1

3. Pour tout g, h ∈ G, on a (g ∗ h) ∗ (h−1 ∗ g −1 ) = e et donc en multipliant par (g ∗ h)−1 des deux côtés
à gauche, on obtient (g ∗ h)−1 = h−1 ∗ g −1 .

Proposition I.6.

Soit (G, ∗) un groupe et S ⊂ G. Alors il existe un (unique) sous-groupe minimum (pour

l’inclusion) de G contenant S qu’on nomme sous-groupe engendré par S et note ⟨S⟩. On a
alors
⟨S⟩ =
\
H
H≤G, S⊂H

Preuve : Il suffit de vérifier qu’une

\intersection quelconque de sous-groupes est toujours un sous-groupe.
Ceci étant clair, on a alors que H est bien un sous-groupe minimum (pour l’inclusion) contenant
H≤G, S⊂H
S et donc on a bien l’existence. L’unicité provient du fait que, dans un ensemble partiellement ordonné,
le minimum est toujours unique s’il existe.

Exercice I.7.

Soit H une partie non vide finie de G. Montrer que

H ≤ G ⇐⇒ ∀(x, y) ∈ H 2 , x ∗ y ∈ H

Notations :

→ (Translations dans un groupe G) Soit a ∈ G. On note

 
G −→ G G −→ G
γa : et δa :
x 7→ a ∗ x x →
7 x∗a

Il s’agit de permutations de G qui sont des morphismes seulement si a = e.

→ (Puissances dans un groupe G) Soit n ∈ Z∗ et x ∈ G. On définit


1 si n ≥ 1
xn := |xδ ∗ ·{z
· · ∗ xδ} où δ =
−1 si n ≤ −1
|n| fois

Pour n = 0 on définit x0 = e. Compte tenu de cette définition, il est aisé de vérifier que

∀(n, m) ∈ Z2 , xn+m = xn ∗ xm

→ On note Z(G) = {x ∈ G, ∀y ∈ G x ∗ y = y ∗ x}.

Remarque : lorsqu’on note + au lieu de ∗, on note souvent nx au lieu de xn .

2/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

Définition I.8.

Soit f une application de G vers H. On dit que f est un morphisme (ou homomorphisme) de
groupe de (G, ∗) vers (H, ♢) si

∀x, y ∈ G, f (x ∗ y) = f (x)♢f (y)

On notera Hom(G, H) l’ensemble des morphismes de (G, ∗) vers (H, ♢).

Exemples

(Z, +) −→ (G, ∗)
1. Soit a ∈ G. L’application ja :  est un morphisme de groupe.
n 7−→ an

G −→ G
2. Soit a ∈ G. L’application σa :  est un morphisme de groupe bijectif, d’inverse
x 7−→ a ∗ x ∗ a−1
σa−1 . Ce morphisme est nommé automorphisme intérieur associé à a.
En effet, en considérant a, b, g ∈ G, on peut affirmer que

σa ◦ σb (g) = σa (b ∗ g ∗ b−1 ) = a ∗ b ∗ g ∗ b−1 ∗ a−1 = (a ∗ b) ∗ g ∗ (a ∗ b)−1 = σa∗b (g)

d’où σa∗b = σa ◦ σb et donc, en particulier, σa ◦ σa−1 = σe = Id = σe = σa−1 ◦ σa ce qui nous permet

bien de dire que σa est un morphisme bijectif.
Vocabulaire : On dit que x, y ∈ G sont conjugués s’il existe a ∈ G tel que y = a ∗ x ∗ a−1 = σa (x). La
relation de conjugaison est en fait d’une relation d’équivalence sur G, qui donc le partitionne en classes
d’équivalences de conjugaison.
Proposition I.9.

Soit (G′ , ♢) un groupe, e, e′ les éléments neutres respectifs de G et G′ et f ∈ Hom(G, G′ ).

1. f (e) = e′
2. Si H ≤ G alors f (H) ≤ G′ . En particulier, Im f = f (G) ≤ G′ .
3. Si K ≤ G′ alors f −1 (K) ≤ G. En particulier, Ker f = f −1 ({e′ }) ≤ G.
4. f est injective ⇐⇒ Ker f = {e} ⇐⇒ Ker f ⊂ {e}

Preuve : Les preuves de ces résultats sont laissées comme exercice au lecteur.
Proposition I.10.

Soit (H, ♢) et (H ′ , ♢′ ) deux groupes.

1. Les homomorphismes se composent i.e. on peut composer f ∈ Hom(H, H ′ ) avec g ∈
Hom(G, H) pour obtenir f ◦ g ∈ Hom(G, H ′ ).
2. Les isomorphismes (morphismes bijectifs) se composent i.e. on peut composer f ∈
Hom(H, H ′ ) isomorphisme avec g ∈ Hom(G, H) isomorphisme pour obtenir f ◦ g ∈
Hom(G, H ′ ) isomorphisme.
3. L’ensemble des isomorphismes de G vers G, nommés automorphismes de G et notés
Aut(G), forment un groupe pour la loi ◦.

Notation : S’il existe un isomorphisme entre deux groupes G et H, on notera G ≃ H.

3/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand


G −→ Aut(G)
Exemple : L’application φ : est un morphisme de groupes de noyau
a 7−→ σa

Ker φ = Z(G) = {x ∈ G, ∀y ∈ G, x ∗ y = y ∗ x}

En effet, pour tout a ∈ G,

a ∈ Ker f ⇐⇒ σa = Id ⇐⇒ ∀x ∈ G, a ∗ x ∗ a−1 = x ⇐⇒ ∀x ∈ G, a ∗ x = x ∗ a

Exercice I.11.

Montrer que l’application 

(G, ∗) −→ (Bij(G), ◦)
φ:
a 7−→ γa
où Bij(G) désigne l’ensemble des applications bijectives de l’ensemble G dans lui même, est un
morphisme injectif de groupes.

Remarque : Cet exercice montre que tout groupe peut être vu comme un sous-groupe du groupe
symetrique (groupe de permutations, eventuellement infini) et que donc si |G| = n < ∞, alors G peut
être identifié à un sous-groupe de Sn .
Notation : A partir de maintenant, lorsqu’il n’y a pas ambigüité, pour tout a, b ∈ G, nous noterons ab
ou a · b au lieu de a ∗ b.

Définition I.12.

Soit H un sous-groupe de G. On dit que H est distingué (ou normal) lorsque

∀a ∈ G, σa (H) = aHa−1 ⊂ H

On note dans ce cas H ⊴ G. Lorsque cette propriété est vérifiée, on a

∀a ∈ G, aHa−1 = H et aH = Ha

Remarque : Si G est abélien, alors tout sous-groupe H ≤ G est distingué.

Exemples

→ {e} et G sont des sous-groupes distingués de G.

→ Si G′ est un groupe, alors pour tout f ∈ Hom(G, G′ ), Ker f est un sous-groupe distingué de G.

→ Plus généralement, si G′ est un groupe, H ′ ⊴ G′ et f ∈ Hom(G, G′ ) alors f −1 (H ′ ) ⊴ G.

→ Si G′ est un groupe, H ⊴ G et f ∈ Hom(G, G′ ) alors f (H) ⊴ Im f = f (G).

4/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

Exercice I.13.

Soit H et K deux sous-groupes de G. Montrer les propositions suivantes.

1. HK = KH ⇐⇒ HK est un sous-groupe de G
2. Si H est un sous groupe distingué de G alors HK est un sous groupe de G.

×K
H −→ HK
3. H ∩ K = {e} ⇐⇒ f :  est bijective.
(h, k) 7−→ hk
4. Montrer que si H et K sont distingués et H ∩ K = {e} alors ∀(h, k) ∈ H × K, hk = kh.
5. Montrer que si H ∩ K = {e} et ∀(h, k) ∈ H × K, hk = kh alors f est un isomorphisme.

II Le groupe (Z/nZ, +)
Soit n ≥ 2. On note ∼ la relation d’équivalence sur Z définie par a ∼ b ⇐⇒ n|a − b ⇐⇒ a − b ∈ nZ.
On note finalement Z/nZ l’ensemble des classes d’equivalences pour ∼. Une telle classe s’écrit x = x+nZ.
Il est aisé de verifier que Z/nZ = {0, . . . , n − 1} = {m, . . . , m + n − 1} pour tout m et que ces n éléments
sont distincts.
Proposition II.1.

Si X, Y sont deux classes dans Z/nZ et x ∈ X, y ∈ Y , alors x + y ne dépend que de X et Y .

Remarque : La proposition ci-dessus permet donc de définir une loi + sur Z/nZ qui en en fait un groupe
abélien.
Proposition II.2.

Z/nZ −→ Un
1. L’application φ : i2πk est bien définie et est un isomorphisme.
k 7−→ e n

Z −→ Z/nZ
2. L’application π : est un morphisme surjectif de noyau Ker(π) = nZ
x 7−→ x

III Ordre d’un élément

Soit a ∈ G. Remarquons que ⟨a⟩ = {ak , k ∈ Z}. Introduisons tout d’abord le morphisme suivant

Z −→ ⟨a⟩
ja :
m 7−→ am

Pour tout a ∈ G, ja est un morphisme de groupe surjectif. D’après la proposition I.9, Ker ja est un sous
groupe de (Z, +). Il est bien connu que les sous groupes de Z sont les groupes de la forme nZ avec n ∈ N.
Deux cas se présentent donc.
→ Si n ̸= 0, alors Ker ja = nZ. On note alors ω(a) = n et on dit que l’ordre de a est égal à n.
→ Sinon, Ker ja = {0} et alors ja est un isomorphisme. Dans ce cas, on note ω(a) = ∞ et on dit que
l’ordre de a est infini.

5/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

Remarque : Pour tout a ∈ G, on peut également définir ω(a) comme

ω(a) = min{k ∈ N∗ , ak = e}

Proposition III.1.

Supposons que Ker ja ̸= {0} et posons n = ω(a). Les propositions suivantes sont vraies.
1. ⟨a⟩ = {e, a, . . . , an−1 } et ces éléments sont distincts. De plus, ∀k ∈ Z, ak = e ⇐⇒ n|k.
2. n = min{m ∈ N∗ , am = e}
3. ∀m ∈ Z, ∃!k ∈ J0; n − 1K, am = ak
n
4. ∀k ∈ Z, ω(ak ) =
n∧k
n
5. Si q|n alors ω(a ) = .
q
q

Preuve :
1. Montrons d’abord la deuxieme partie de ce point. Pour tout k ∈ Z, on a

ak = e ⇐⇒ k ∈ Ker j ⇐⇒ k ∈ nZ ⇐⇒ n|k

et en particulier an = e. Montrons ensuite que ⟨a⟩ = {e, a, . . . , an−1 }.

→ (⊃) Cette inclusion est évidente.
→ (⊂) Soit k ∈ Z. Faisons la division euclidienne de k par n : k = qn + b avec b ∈ J0; n − 1K. On
a alors ak = (an )k ab = ek ab = ab . Ces éléments sont de plus distincts car si i, j ∈ J0; n − 1K
vérifient ai = aj alors ai−j = e et donc n|i − j d’où i = j.
2. D’après le point 1, ∀k ∈ J1; n − 1K ak ̸= e et an = e d’où le résultat.
3. Ce point est une conséquence directe du point (1).
4. Soit k, l ∈ Z. On a

n k n
(ak )l = e ⇐⇒ akl = e ⇐⇒ n|kl ⇐⇒ l ⇐⇒ l
n ∧ k n ∧ k Gauß n ∧ k

k n n∧k
L’avant dernière équivalence provient du fait que ∧ = = 1.
n∧k n∧k n∧k
n
ak étant clairement d’ordre fini, en utilisant le point 2, on a ω(ak ) = min{l ∈ N∗ (ak )l = e} = .
n∧k
5. Ce point est une conséquence directe du point précédent.

IV Actions de morphismes
Proposition IV.1.

Soit G′ un groupe d’élément neutre e′ , a ∈ G, et f ∈ Hom(G, G′ ). Les propositions suivantes

sont vraies.
1. Si ω(a) < ∞, alors ω(f (a))|ω(a).
2. Si f est injective, alors ω(a) = ω(f (a)).
3. Si a et b sont deux éléments de G conjugués, i.e. il existe c ∈ G tel que a = cbc−1 , alors
ω(a) = ω(b). En particulier, ∀x, y ∈ G, ω(xy) = ω(yx).

6/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

Preuve :

1. Supposons que ω(a) < ∞. On a f (a)ω(a) = f (aω(a) ) = f (e) = e′ et donc ω(f (a)) < ∞ et
ω(f (a))|ω(a)

2. Supposons que f est injective. Deux cas se présentent.

→ Si ω(a) = ∞, alors il est facile de vérifier que ⟨f (a)⟩ = f (⟨a⟩). f est injective et ⟨a⟩ est infini,
donc ⟨f (a)⟩ aussi et donc en utilisant le point 1 de la proposition III.1, on voit qu’on ne peut
pas avoir ω(a) < ∞.

→ Si ω(a) = n ∈ N∗ , alors

f (a)k = e′ ⇐⇒ f (ak ) = f (e) ⇐⇒ ak = e ⇐⇒ ω(a)|k

f injective

On en déduit donc que ω(a)|ω(f (a)). En combinant ce résultat avec le point (1), on obtient
bien que ω(a) = ω(f (a)).

3. Le fait que a et b soient conjugués se traduit par le fait qu’il existe z ∈ G tel que b = σz (a). σz est
un morphisme injectif, donc en utilisant le point (2), on voit que ω(b) = ω(σz (a)) = ω(a). Enfin,
pour montrer la deuxième partie de ce point, il suffit de voir que xy = σx (yx).

Exercice IV.2.

Soit m, n ≥ 1 tel que m ∧ n = 1. Déterminer Hom(Z/mZ, Z/nZ).

Exercice IV.3.

Soit (a, b) ∈ G2 tels que ω(a) = m ≤ ω(b) = n < ∞.

1. A-t-on ω(ab) < ∞ ? Indice : Penser aux symétries dans R2 .
2. Supposons que ab = ba et ω(a) ∧ ω(b) = 1. Montrer que ω(ab) = mn.
3. On suppose toujours que ab = ba. Montrer qu’il existe c ∈ G tel que ω(c) = n ∨ m.
4. On suppose maintenant que G est abélien et fini. Montrer qu’il existe z ∈ G tel que ∀x ∈
G, ω(x)|ω(z). En particulier, on montrera l’existence de z ∈ G tel que ω(z) =
_
ω(x).
x∈G

Proposition (Théorème faible de Lagrange) IV.4.

Supposons que G est commutatif et soit a ∈ G. On a ω(a)| |G|.

Preuve : On sait que γa est bijective, on a donc

g= γa (g) = (ag) = a|G|

Y Y Y Y
g
g∈G g∈G g∈G g∈G

En multipliant par l’inverse de g on obtient que a|G| = e, ce qui implique d’après la proposition III.1
Q
g∈G
que ω(a)| |G|.

7/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

V Groupes cycliques
Définition V.1.

On dit que G est monogène s’il est engendré par un seul élément, i.e. il existe a ∈ G tel que
G = ⟨a⟩. Si de plus G est fini, alors on dit qu’il est cyclique.

Remarque V.2.

Supposons que G est monogène, i.e. qu’il existe a ∈ G tel que G = ⟨a⟩. Deux cas se présentent.

Z −→ ⟨a⟩
1. Si ω(a) = ∞, alors j : est un isomorphisme.
m 7−→ am
2. Si ω(a) < ∞, alors G = ⟨a⟩ = {e, a, . . . , an−1 } avec ces elements distincts. En particulier,
on a |G| = ω(a).

Vocabulaire : Pour tout a ∈ G, lorsque G = ⟨a⟩, on dit que a est un élément générateur de G.

Proposition V.3.

Soit n ∈ N∗ . G est cyclique de cardinal n si et seulement si G est isomorphe à Z/nZ. De plus,

si ψ : (G, ∗) −→ (Z/nZ, +) et b ∈ G un générateur de G, i.e. G = ⟨b⟩, alors ψ(b) = 1 implique
que ψ est un isomorphisme.

Preuve : Montrons tout d’abord l’équivalence.

→ (⇐) Cette implication est facile à montrer.

→ (⇒) Supposons que G est cyclique de cardinal fini égal à n. Il existe donc a ∈ G tel que G =
{e, a, . . . , an−1 }. Considérons le morphisme de groupe suivant

(Z/nZ, +) −→ (G, ∗)
ψ:
k 7−→ ak

On peut facilement montrer que ψ est bien défini et bijectif et alors G ≃ Z/nZ.
Le dernier point de la proposition découle directement du raisonnement effectué ci-dessus.

Exercice V.4.

Supposons que G est cyclique d’ordre (de cardinal) n Det soit

E a un générateur de G. Soit H un
n
sous groupe de G. Posons d = |H|. Montrer que H = a d .

Remarque : Cette remarque peut√être très utile dans quelques exercices difficiles. Soit n ≥ 1. L’ensemble
Dn = {k ≥ 1 k|n} vérifie |Dn | ≤ 2 n + 1. En effet, l’application
 √ √
∩ J1; ⌊ n⌋K −→ Dn ∩ J⌊ n⌋; nK
Dn
φ: n
d 7−→
d

8/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

est une bijection et donc

√ √
|Dn | = Dn ∩ J1; ⌊ n⌋K + Dn ∩ J1 + ⌊ n⌋; nK
√ √
≤ Dn ∩ J1; ⌊ n⌋K + Dn ∩ J⌊ n⌋; nK + 1
√ √
= 2 Dn ∩ J1; ⌊ n⌋K + 1 ≤ 2 n + 1

Exercice V.5.

Supposons que G est cyclique et posons |G| = n ≥ 2 et soit a un générateur de G.

1. Montrer que pour tout k ∈ Z, ak génère G si et seulement si k ∧ n = 1.
2. Posons φ(n) = |{k ∈ J1; nK k ∧ n = 1}|. Cette application est nommée l’indicatrice
d’Euler. En utilisant la question précédente, montrer que φ(d) = n.
X

d|n d≥1

Exercice V.6.

1. Soit (G1 , ∗) et (G2 , ♢) deux groupes cycliques. On considère la loi de composition intnerne
⊗ : G1 × G2 −→ G1 × G2 définie par

∀(g1 , g2 , g1′ , g2′ ) ∈ G1 × G2 × G1 × G2 , (g1 , g2 ) ⊗ (g1′ , g2′ ) = (g1 ∗ g1′ , g2 ♢g2′ )

Trouver une condition nécessaire et suffisante pour que (G1 × G2 , ⊗) soit cyclique.

−→ Z/aZ × Z/bZ
Z/abZ
2. (Théorème des restes chinois) Soit a, b ≥ 2. Montrer que φ :
7−→ (x, x)
x
est bien définie puis que φ est un isomorphisme si et seulement si a ∧ b = 1.

Exercice V.7.

Soit A un anneau commutatif unitaire.

1. Soit P, Q ∈ A[X] avec Q de coefficient dominant égal à 1 (i.e. Q = 1 ou Q est unitaire)
(ici, on désigne par 1 l’élément neutre pour la multiplication de l’anneau A).
Montrer que l’on peut effectuer "la" division euclidienne de P par Q
2. On suppose que A est intègre et deg P ≥ 0. Montrer que P possède au plus deg P racines
distinctes
3. Soit (K, +, ×) un corps et (G, ×) un sous-groupe fini de (K∗ , ×), où K∗ est l’ensemble
des éléments de K inversible pour la loi ×. Montrer que G est cyclique.

Remarque à propos de l’exercice V.7 : La question 1 demande montrer que lorsqu’un polynôme
Q ∈ A[X] est de coefficient dominant égal à 1, on peut effectuer la division euclidienne de tout polynôme
P ∈ A[X] par Q. Ce résultat est aussi vrai lorsque le coefficient dominant de Q est inversible, mais devient
faux lorsque ce n’est pas le cas. Lorsque A est un corps, tous les éléments de A sauf 0 sont inversibles,
on peut donc toujours effectuer la division euclidienne par un polynôme non nul.

9/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

VI Groupe engendré par une partie

Proposition VI.1.

Pour tout A ⊂ G, il existe un plus petit sous-groupe ⟨A⟩ de G contenant A appelé sous-groupe
engendré par A. De plus, on a

⟨A⟩ = H = {aα1 1 . . . aαnn , n ∈ N, a1 , . . . , an ∈ A, α1 , . . . , αn ∈ Z}

\

H≤G A⊂H

Preuve : L’existence et la première égalité ont déjà étés établis à la proposition I.6. Montrons la seconde
égalité, i.e.
⟨A⟩ = {aα1 1 . . . aαnn , n ∈ N, a1 , . . . , an ∈ A, α1 , . . . , αn ∈ Z}
| {z }
B

Il est facile de montrer que B est bien un sous-groupe de G contenant A. On en déduit donc que ⟨A⟩ ⊂ B.
Montrons l’inclusion réciproque. Pour tout n ∈ N a1 , . . . , an ∈ A ⊂ ⟨A⟩ et α1 , . . . , αn ∈ Z, par stabilité,
on a aα1 1 . . . aαnn ∈ ⟨A⟩, d’où l’égalité voulue.
Vocabulaire : On dit que S ̸= ∅ est générateur (de G) si G = ⟨S⟩
Exemple : (Sn , ◦) est généré par les transposition de la forme (i i + 1), i.e.

Sn = ⟨{(i i + 1), i ∈ J1; n − 1K}⟩

Exercice VI.2.

Supposons que (G, ∗) soit un groupe fini abélien et soit p un nombre premier tel que ∀g ∈
G, ω(g)|p (ou d’une manière équivalente, ∀g ∈ G, g p = e). Montrer qu’il existe n ∈ N tel que
G ≃ (Z/pZ)n .

Exercice VI.3.

Soit H ̸= {e} un groupe où e est son élément neutre. Notons P l’ensemble des nombres premiers.
On pose Sg(H) l’ensemble des sous-groupes de H. Montrer que les propositions suivantes sont
équivalentes.
1. Sg(H) = {{e}, H}
2. ∃p ∈ P, H ≃ Z/pZ
3. ∀g ∈ H \ {e}, ⟨g⟩ = H
4. ∃p ∈ P, |H| = p

10/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

VII Compléments
1. Classes latérales et groupe quotient
Proposition VII.1.

Soit H un sous groupe de G. La relation ∼g sur G2 définie par

∀a, b ∈ G, a ∼g b ⇐⇒ b ∈ aH

est une relation d’équivalence. La classe d’équivalence de a pour ∼g est aH et est appelée classe
à gauche selon H de a. On note cette classe a.

Remarque :
→ En fait, on peut également définir la même notion d’équivalence à droite ∼d par a ∼d b ⇐⇒ b ∈ Ha.
Ces deux relations sont les mêmes si et seulement si H est distingué. Dans ce cas, on la notera
simplement ∼. Nous discuterons un peu plus de cette notion d’équivalence à droite et à gauche
dans les compléments de ce chapitre.
→ Une manière équivalente de définir cette relation est

a ∼g b ⇐⇒ b−1 a ∈ H et a ∼d b ⇐⇒ ab−1 ∈ H

Définition et Proposition VII.2.

Soit H un sous-groupe distingué de G. Les propriétés suivantes sont vraies.

1. Le produit de deux classes à gauche selon H est une classe à gauche selon H.
2. Pour ce produit, l’ensemble des classes à gauche selon H forme un groupe, noté G/H.
3. Pour tout a, b ∈ G, γba−1 est une bijection entre aH et bH et par conséquent lorsque H
est fini, ∀a ∈ G, |aH| = |H|, i.e. toute classe à gauche selon H est en bijection avec H.
4. L’élément neutre de G/H est H (ou d’une manière équivalente e).

Preuve :
1. Pour tout a, b ∈ G, on a aH ∗ bH = a ∗ b ∗ H ∗ H = abH.
2. Il suffit d’appliquer la définition d’un groupe pour démontrer ce point.
3. Remarquons que
• γba−1 (aH) ⊂ bH et γab−1 (bH) ⊂ aH
• L’application γab−1 : bH −→ aH est un inverse (et donc l’unique inverse) de γba−1 et donc γba−1
est bijective
Par conséquent, pour tout a, b ∈ G, |aH| = |bH| et en particulier |aH| = |eH| = |H|.
4. H = e donc pour tout a ∈ G, ea = ae = a donc H est bien l’élément neutre de G/H.
Remarque :
→ Pour bien comprendre cette notion de groupe quotient, il faut voir que pour tout a ∈ G, la classe a
comme une sorte d’ensemble d’éléments de même "reste" que a dans G pour une certaine "division".
Lorsque ∗ est additive, on peut faire l’analogie avec Z/nZ. En effet, (nZ, +) ⊴ (Z, +) et le groupe
quotient de Z par nZ est tout simplement égal au groupe bien connu Z/nZ. Dans ce cas, lorsque
+ est additive, en pensant à cet exemple, on peut voir les classes a = a + H comme l’ensemble des
éléments de même "restes" que a "modulo H". Dans l’exemple de Z/nZ, on a bien entendu H = nZ.

11/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

→ L’égalité |H| = |aH| = |Ha| reste vraie même si H n’est pas distingué dans G.

Notation : Même lorsque H est un sous-groupe non distingué de G, on notera G/H l’ensemble des
classes à gauche de G selon H, i.e. l’ensemble {g, g ∈ G} = {gH, g ∈ G}. Dans ce cas, G/H n’est pas
un groupe, car lorsque G est non abélien, le produit de deux classes à gauche n’est pas forcément une
classe à gauche. De la même manière, on notera par H\G l’ensemble des classes à droite de G selon H
i.e. l’ensemble {Hg, g ∈ G}.
Proposition VII.3.

Soit H un sous-groupe distingué de G. Les proposition suivantes sont vraies.


G −→ G/H
1. L’application π : est un morphisme surjectif de noyau Ker π = H. On
a 7→ aH
l’appelera la surjection canonique.
2. Soit G′ un groupe et f ∈ Hom(G, G′ ). Il existe f˜ ∈ Hom(G/ Ker f, G′ ) injective d’image
Im f tel que f = f˜ ◦ π. En particulier, G/ Ker f est isomorphe à Im f .

Preuve :
1. C’est clairement un morphisme par ce qui précède. Soit a ∈ Ker π. On a aH = H, il existe donc
g ∈ H tels que ae = g, i.e. a = g ∈ H. On en déduit donc que Ker π ⊂ H. L’implication réciproque
est évidente.
2. Posons H = Ker f et considérons l’application

G/H −→ G′
f˜ : 
aH 7−→ f (a)

Cette application est bien définie (elle est indépendante du représentant), est clairement un mor-
phisme et est injective. En effet, pour tout U ∈ Ker f˜, il existe a ∈ G tels que U = aH. On a
alors
f˜(U ) = e′ ⇐⇒ f˜(aH) = e′ ⇐⇒ f (a) = e′ ⇐⇒ a ∈ Ker f ⇐⇒ aH = H
et donc Ker f˜ = {H}, et H est l’élément neutre de G/H. On en déduit donc que f˜ induit un
isomorphisme entre G/H et Im f et que en particulier G/ Ker f et Im f sont isomorphes.
Théorème (Théorème de Lagrange) VII.4.

Supposons que G est fini. Soit H un sous groupe de G. On a |H| | |G|.

Preuve : Les classes à gauche selon H, {aH, a ∈ G}, sont disjointes et en nombre fini. Il existe donc
p
p ∈ N et a1 , . . . , ap ∈ G tels que G = ak H. Cette union étant disjointe et d’après la proposition VII.1
G
∗

k=1
tous ces ensembles sont de même cardinal égal à |H|, on peut écrire
p p
|G| = ak H = |ak H| = p |H|
G X

k=1 k=1

et alors finalement |H| | |G|.

Remarques :
→ Avec ce théorème, on aurait pu facilement montrer la proposition IV.4. En effet, pour tout a ∈ G,
⟨a⟩ est un sous-groupe de G, donc d’après le théorème de Lagrange, on a |⟨a⟩| | |G|. D’après la
proposition III.1, on a |⟨a⟩| = ω(a), ce qui permet de conclure.

12/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

→ En rejetant un coup d’oeil à la preuve du théorème, il est facile de voir que lorsque H est un
sous-groupe de G avec G fini, alors |G| = |G/H| × |H| et par conséquent |G/H| = |G| / |H|.
On notera [G : H] := |G/H| qu’on nommera l’indice de H dans G. Ce dernier peut être défini
même si G est infini et que, si G est fini, on obtient |G : H] = |G|/|H|.

Exercice VII.5.

Soit p, q deux nombres premiers distincts et (H, ∗) un groupe abélien tel que |H| = pq. Montrer
que H ≃ Z/pZ × Z/qZ

Exercice VII.6.

Supposons que G est un groupe fini et H un sous-groupe de G d’indice [G : H] = 2 i.e.

|G| = 2 |H|. Montrer que H est un sous groupe distingué de G et que donc H contient tous les
carrés.

2. Actions de groupes

Dans cette partie, on considère X un ensemble non vide.

Définition VII.7.

Une action de groupe (à gauche) est une application • : G × X → X, telle que

→ ∀x ∈ X, e • x = x
→ ∀g, h ∈ G ∀x ∈ X (gh) • x = g • (h • x)

Remarque : On peut également définir les actions de groupe d’une autre manière. En effet, en considérant
ϕ : G −→ Bij(X) un morphisme de groupe de (G, ∗) dans (Bij(X), ◦), pour tout g ∈ G et x ∈ X, on peut
remplacer g • x par ϕ(g)(x).
Exemples :

→ Lorsque X = G, ϕ1 : (g, h) 7−→ γg (h) (g • h = γg (h)) et ϕ2 : (g, h) 7−→ σg (h) (g • h = σg (h)) sont
des actions de groupe. ϕ1 est appelée action de translation à gauche et ϕ2 est appelée action de
conjugaison.

→ ϕ3 : (g, h) 7−→ δg (h) une action de groupe seulement si G est abélien.

Définition VII.8.

Soit x ∈ X.
→ L’ensemble O(x) = {g • x, g ∈ G} est appelé orbite de x.
→ L’ensemble Stab(x) = {g ∈ G, g • x = x} est appelé stabilisateur de x.

13/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

Proposition VII.9.

Soit • : G × X 7−→ X une action de groupe. Les propositions suivantes sont vraies.
1. Pour tous x, y ∈ X, on a O(x) ∩ O(y) = ∅ ou O(x) = O(y). De plus, on a X =
[
O(x).
x∈X
2. Pour tout x ∈ X, Stab(x) est un sous-groupe de G. De plus, on a l’implication suivante
pour tout y ∈ X

y = g • x =⇒ Stab(y) = gStab(x)g −1 = σg (Stab(x))


G/Stab(x) −→ O(x)
3. Soit x ∈ X. L’application ϕx :  est bien définie et est une bijec-
g 7−→ g • x
tion. En particulier, si G est fini, |G/Stab(x)| = |G|/|Stab(x)| = |O(x)|.
4. (Fomule des classes) Supposons G et X sontGfinis et soit k ∈ N∗ et (xi )i∈J1;kK un système
de représentants des orbites de G i.e. X = O(xi ) et pour tout i, j ∈ J1; kK différents,
i∈J1;kK
|G|
O(xi ) ̸= O(xj ). On a |X| = |O(xi )| = .
X X

i∈J1;kK i∈J1;kK
|Stab(x i )|

Preuve :
1. Soit ∼ la relation sur X 2 définie par ∀x, y ∈ X, x ∼ y ⇐⇒ y ∈ O(x). Montrons que la relation ∼
est une relation d’équivalence.
→ Réflexivité : on a pour tout x ∈ X, e • x = x donc x ∈ O(x) et alors x ∼ x.
→ Symétrie : soit x, y ∈ X. Supposons que x ∼ y. On dispose donc de g ∈ G tel que g • x = y.
On a alors g −1 • y = g −1 • g • x = x et alors x ∈ O(y), i.e. y ∼ x.
→ Transitivité : soit x, y, z ∈ X tels que x ∼ y et y ∼ z. Il existe donc g, h ∈ G tels que g • x = y
et h • y = z et alors g • h • x = z. On en déduit donc que gh • x = z et donc z ∈ O(x), i.e.
x ∼ z.
On peut également facilement voir que pour tout x ∈ X, O(x) est la classe d’équivalence de x pour
∼. On peut donc partitionner X en classes d’équivalences pour ∼, i.e. pour tout x, y ∈ X, on a
O(x) ∩ O(y) = ∅ ou O(x) = O(y) et X =
[
O(x).
x∈X
2. Soit x ∈ X. La preuve du fait que Stab(x) est un sous-groupe de G ne présente pas de difficulté et
est donc laissé comme exercice au lecteur. Soit y ∈ G et h ∈ G, on a alors

h ∈ Stab(y) ⇐⇒ h ∈ Stab(g • x) ⇐⇒ h • (g • x) = g • x
⇐⇒ (g −1 hg) • x = x ⇐⇒ g −1 hg ∈ Stab(x)
⇐⇒ h ∈ gStab(x)g −1

Et donc Stab(g • x) = gStab(x)g −1

3. D’abord ϕx est clairement bien définie (indépendante du représentant). Montrons que ϕx est injec-
tive. Soit g, h ∈ G On a

ϕx (g) = ϕx (h) =⇒ g • x = h • x =⇒ (g −1 h) • x = x
=⇒ g −1 h ∈ Stab(x) =⇒ h ∈ gStab(x)
=⇒ h ∈ g =⇒ h = g

Donc ϕx est bien injective. Elle est de plus clairement surjective par définition de O(x), ce qui nous
permet de conclure qu’elle est bien bijective.

14/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

4. On sait d’après le point (1) que les ensembles (O(xi ))i∈J1;kK sont dijoints. De plus, d’après le point
3, pour tout x ∈ X, G/Stab(x) est en bijection avec O(x), i.e. |G/Stab(x)| = |O(x)|. On en déduit
donc que
k k k
|G|
|X| = O(xi ) = |O(xi )| = |G/Stab(xi )| =
G X X X

i∈J1;kK i=1 i=1 i=1 |Stab(xi )|

Exercice VII.10.

Soit G un groupe fini et H ≤ G tel que [G : H] = p où p est le plus petit premier qui divise
l’ordre de G. Montrer que H ⊴ G et que donc H contient toutes les puissances p−emes

3. Application : action de conjugaison

Cette section traite le cas particulier de l’action par conjugaison/automorphisme intérieur sur G fini

G × G −→ G
•:
(g, a) 7−→ gag −1

Définition VII.11.

Soit a ∈ G.
→ L’ensemble O(a) = {xax−1 , x ∈ G} est appelé orbite de a.
→ L’ensemble C(a) = {x ∈ G, xa = ax} = {x ∈ G, xax−1 = a} = Stab(a) est appelé
commutant de a. Il s’agit de l’ensemble des éléments de G qui commutent avec a.

Remarque : Pour tout a ∈ G, on a a ∈ Z(G) ⇐⇒ C(a) = G ⇐⇒ O(a) = {a}.

Proposition VII.12.

Soit a ∈ G. Les proposition suivantes sont vraies.

1. C(a) est un sous-groupe de G et |G/C(a)| = |O(a)|.
2. |G| = |C(a)| × |O(a)|
3. (Formule des classes) Soit R un ensemble de représentants des classes de conjugaison (ou
des orbites) non réduites à un singleton et R′ les représentants des orbites réduits à un
singleton (i.e. les éléments qui commutent avec touts les éléments de G), alors

|G|
|G| = |O(x)| + |O(x)| = |Z(G)| +
X X X

x∈R′ x∈R x∈R |C(x)|

Preuve : Les preuves de ces résultats sont des applications directes de la proposition VII.9.
L’exercice suivant est une application de la proposition ci-dessus.
Exercice VII.13.

Soit n ∈ N∗ et p un nombre premier. On suppose que |G| = pn . Montrer que le centre de G,

Z(G), n’est pas réduit à un singleton. En particulier, si n ≤ 2 alors G est abélien

Le théorème suivant est également une application de la proposition ci-dessus.

15/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

Théorème (Théorème de Cauchy) VII.14.

Supposons que G est fini et soit p un nombre premier tel que p||G|. Il existe x ∈ G, ω(x) = p.

Preuve : Posons n = |G| et considérons l’ensemble E = {(x1 , . . . , xp ) ∈ Gp x1 . . . xp = e}. Il est aisé de

voir que

|E| = |{(x1 , . . . , xp ) ∈ Gp x1 . . . xp = e}|

p−1 . . . x1 ), (x1 , . . . , xp−1 ) ∈ G
= {(x1 , . . . , xp−1 , x−1 −1 p−1
} = Gp−1

et alors |E| = np−1 . Considérons l’action de groupe de permutation circulaire sur E


Z/pZ × E −→ E
•:
(k, (x1 , . . . , xp )) 7−→ (xσk (1) , . . . xσk (p) )

où σ = (1 2 . . . p). On notera par abus de notation k • x au lieu de k • x (remarquer au passage que ce

n’est pas vraiment un abus de notation vu que c’est plutôt l’action de Z qui est court-circuitée par Z/pZ).
Remarquons que pour tout k, l ∈ Z, k • (l • x) = (k + l) • x. S’il existe k ∈ Z tel que k ̸= 0 et k • x = x,
alors d’après Bezout, étant donné que k est premier avec p, il existe u, v ∈ Z tels que uk + vp = 1 et
alors, en supposant sans perte de généralité que u ≥ 0 et v ≤ 0

1 • x = (uk + vp) • x = vp • (uk • x) = −p • · · · • −p • k · · • k} •x = x

| • ·{z
| {z }
−v fois u fois

Le fait que 1 • x = x est équivalent à (x1 , x2 , . . . , xp ) = (x2 , x3 , . . . , xp , x1 ) i.e.

x1 = x2 , x2 = x3 , . . . , xp−1 = xp

et alors pour tout k ∈ Z, k • x = x i.e. O(x) ne contient qu’un seul élément. On en déduit que pour
tout x ∈ E, deux cas sont possibles : ∀k, l ∈ Z, k • x ̸= l • x et alors O(x) contient p éléments, ou alors
∀k ∈ Z, k • x = x et donc O(x) contient un seul élément. En posant S1 l’ensemble des orbites à un seul
élément et S2 l’ensemble des orbites à p éléments, le fait que E est union disjointe des orbites de l’action
de groupe • nous permet de dire que

|G|p−1 = |E| = X + X = |S1 | + p |S2 |

[ [

X∈S1 X∈S2

p divise |G|, donc p divise aussi |S1 | = |K|. O((e, . . . , e)) ∈ S1 et p ≥ 2 donc |K| = |S1 | ≥ 2. Il existe
donc x ∈ E \ {e} tel que xp = e.

16/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

Lorsque G est abélien, on dispose d’une preuve plus rapide.

Exercice (Inspiré du TD d’Alain Troesh) VII.15.

Supposons que G est un groupe abélien fini et soit p un nombre premier.

1. Soit K un sous groupe distingué de G. Montrer que s’il existe x ∈ G/K d’ordre p alors
il en existe un aussi d’ordre p dans G.
2. On suppose que p||G|, montrer qu’il existe x ∈ G, ω(x) = p.
3. Soit a ≥ 1. On suppose que pa ||G|. Montrer que ∃H ≤ G d’ordre pa
4. Soit H et L deux sous groupes de G tels que |H| ∧ |L| = 1. G est commutatif, donc HL
est un sous-groupe de G. Considérons le morphisme de groupes

H × L −→ HL
ψ:
(h, l) 7−→ hl

Montrer que ψ est bijectif et en déduire que |HL| = |H| × |L|.

5. En déduire que pour tout n ∈ N∗ , si n||G|, alors il existe H un sous groupe de G tel que
|H| = n.

17/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

Correction de l’exercice I.2. :

Soit e′ l’élément neutre de H. Pour tout a ∈ H, on note a−1
g un inverse à gauche de a, i.e. un élément de
H tel que a−1g a = e′
. Soit a ∈ H. On a

g aag = e ag = ag
a−1 −1 ′ −1 −1

On a donc
g = e · a · ag = (ag )g ag · a · ag = (ag )g ag = e
a · a−1 ′ −1 −1 −1 −1 −1 −1 −1 −1 ′

a admet donc aussi un inverse à droite qui est forcément le même qu’à gauche et donc H est un groupe.

Correction de l’exercice I.7. :

→ (⇒) Cette implication est évidente.
→ (⇐) ∗ est associative sur H, il faut donc simplement vérifier l’existence de l’inverse dans H et
l’élément neutre. Soit a ∈ H. H étant fini, on dispose de i, j ∈ N tels que 1 ≤ i < j et ai = aj . Si
j = i + 1 alors a = e et donc a−1 = e ∈ H. Sinon, j ≥ i + 2 et donc b = aj−i−1 ∈ H. Montrons que
b = a−1 . On a
ba = aj−i−1 a = aj−i = e = aaj−i−1 = ab
donc tout élément de H admet un inverse dans H pour ∗. L’existence de l’élément neutre vient
simplement du fait que si a ∈ H, alors a−1 ∈ H et alors e = a ∗ a−1 ∈ H.

Correction de l’exercice I.11. :

Le fait que ce soit un morphisme est clair. En effet, pour tout a, b ∈ G et x ∈ G, on a

φ(a ∗ b)(x) = γa∗b (x) = a ∗ b ∗ x = γa ◦ γb (x) = φ(a) ◦ φ(b)(x)

et alors φ(a ∗ b) = φ(a) ◦ φ(b).

Montrons à présent que φ est injective. Pour cela, on va montrer que Ker φ = {Id}. Soit a ∈ Ker φ. On
a φ(a)(e) = e et donc a · e = e d’où a = e et alors Ker φ = {e}.
Remarque : Le seul élément a de G tel que γa admet un point fixe est e.

Correction de l’exercice I.13. :

1. Montrons cette proposition par double implication.
→ (⇒) Supposons que HK est un sous-groupe de G. On a alors

HK = (HK)−1 = K −1 H −1 = KH
HK≤G H et K≤G

La première égalité
 est due au fait qu’étant donné que HK est un sous-groupe de G, alors
HK −→ HK
l’application i :  est bijective.
x 7−→ x−1
→ (⇒) Supposons que HK = KH utilisons la proposition I.4 pour montrer que HK est un
sous-groupe de G. HK ̸= ∅ il suffit donc de vérifier que

∀(h, k, h′ , k ′ ) ∈ H × K × H × K, (hk)(h′ k ′ )−1 ∈ HK

Méthode 1 (Rapide) : On a pour tout (h, k, h′ , k ′ ) ∈ H × K × H × K,

(hk)(h′ k ′ )−1 = hkk ′−1 h′−1 ∈ hKh′−1 ⊂ HKH = HHK = HK

K≤G H≤G HK=KH H≤G

18/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

Méthode 2 (Même chose mais en plus détaillé) : Soit (h, k, h′ , k ′ ) ∈ H × K × H × K.

| {z } h . Il existe donc (h , k ) ∈ H × K tel que hkk
On a (hk)(h′ k ′ )−1 = hkk ′−1 ′−1 ′′ ′′ ′−1
= k ′′ h′′ , et
∈HK=KH
alors on peut écrire (hk)(h′ k ′ )−1 = k ′′ h′′ h′ ∈ KH = HK.
2. Supposons que H est un sous-groupe distingué de G. Deux méthodes sont possibles.
→ Méthode 1 : On a pour tout (h, k, h′ , k ′ ) ∈ H ×K ×H ×K, (hk)(h′ k ′ ) = hkh′ k ′ = hkh′ k −1 kk ′ .
H est un sous-groupe distingué de G, donc kh′ k −1 ∈ H. Il existe donc h′′ ∈ H tel que kh′ k −1 .
On a donc (hk)(h′ k ′ ) = hh′′′ k ′ ∈ HK. De plus, HK est non vide, donc d’après l’exercice I.7,
HK est bien un sous-groupe de G.
→ Méthode 2 : En utilisant la proposition VII.1, on peut écrire

HK = Hk = kH = KH
[ [
H⊴G
k∈K k∈K

3. Montrons le résultat par double implication.

→ (⇐) Soit x ∈ H ∩ K. On a f (x, e) = x = f (e, x) et donc, par injectivité, x = e.
→ (⇒) Supposons que H ∩ K = {e}. f est surjective par définition. Soit (h, k, h′ , k ′ ) ∈ H × K ×
H × K. On a

f (h, k) = f (h′ , k ′ ) ⇐⇒ hk = h′ k ′ ⇐⇒ h′−1 h = k ′ k −1 = e ⇐⇒ h = h′ et k = k ′

H∩K={e}

donc f est bijective.

Remarque : Si les éléments de H et K ne commutaient pas entre eux, f ne serait pas forcément
un morphisme.
4. Supposons que H et K sont des sous-groupes distingués de G et que H ∩ K = {e}. Pour tout
(h, k, h′ , k ′ ) ∈ H × K × H × K, on a

hkh−1 k −1 ∈ hKh−1 k −1 ∩ hkHk −1 = Kk −1 ∩ hH = K ∩ H = {e}

H et K⊴G H et K≤G

et donc hk = kh
5. Supposons que les éléments de H et K commutent entre eux et que H ∩ K = {e}. D’après la
question 3, f est bijective. De plus, f est un morphisme (facile à vérifier) et donc un isomorphisme.

Correction de l’exercice IV.2. :

Notons 1Z/mZ la classe de 1 dans Z/mZ. Soit f ∈ Hom(Z/mZ, Z/nZ). On sait que f (1Z/mZ ) ∈ Z/nZ
et donc nf (1Z/mZ ) = 0. En particulier, ω(f (1Z/mZ ))|n. De même, ω(f (1Z/mZ ))|ω(1Z/mZ ) = m et donc
ω(f (1Z/mZ ))|m ∧ n = 1 i.e. f (1) = 0 et alors f = 0. On en déduit donc que Hom(Z/mZ, Z/nZ) = {0}.
Attention : La loi considérée ici est additive, donc pour tout a ∈ Z/mZ (ou Z/nZ), on note ω(a) =
min{k ≥ 1, ka = 0} au lieu de ω(a) = min{k ≥ 1, ak = 1 }.

Correction de l’exercice IV.3. :

1. Considérons l’exemple où (G, ∗) = (GL(R2 ), ◦). Soit θ, θ′ ∈ R et Sθ , Sθ′ les symétries par rapport
aux axes faisant respectivement un angle θ et θ′ par rapport à l’axe des abscisses dans le sens
trigonométrique. On rappelle que
Sθ ◦ Sθ′ = Rθ−θ′
où pour tout α ∈ R, Rα désigne la rotation d’angle θ dans le sens trigonométrique dans R2 .
θ − θ′
En particulier, si on prend θ et θ′ vérifiant ∈ R \ Q alors
2π
Sθ2 = Id, Sθ2′ = Id et ∀n ∈ N, Rθ−θ
n
′ = Rn(θ−θ ′ )

19/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

θ − θ′
Pour tout n ∈ N, n(θ − θ′ ) ̸∈ 2πZ car ̸∈ Q et alors Rn(θ−θ′ ) ̸= Id. On en déduit donc que Sθ
2π
et Sθ′ sont d’ordre 2 mais leur produit est d’ordre infini.
2. On a (ab)mn = (am )n (bn )m = e, donc ab est d’ordre fini et ω(ab)|mn. Posons l = ω(ab). Remarquons
maintenant que (ab)l = e et donc (ab)lm = e = (am )l blm = blm d’où n|ml et donc par Gauß, étant
donné que m ∧ n = 1, on a n|l. On peut montrer de la même manière que m|l et que donc, vu que
m ∧ n = 1, on a mn|l et finalement l = mn.
3. Décomposons m et n en facteurs premiers. Soit r ∈ N, p1 , . . . , pr des nombres premiers distincts et
α1 , . . . , αr ∈ N, β1 , . . . , βr ∈ N tels que

m = pα1 1 . . . pαr r et n = pβ1 1 . . . pβr r

Quitte à réordonner les pi , supposons sans perte de généralité qu’il existe k ∈ J1; rK tel que

∀i ∈ J1; kK, max(αi , βi ) = αi et ∀i ∈ Jk + 1; rK, max(αi , βi ) = βi

posons ensuite
α ′ ′
m′ = pk+1 k+1
. . . pαr r , n′ = pβ1 1 . . . pβkk , a′ = am et b′ = bn
m n
On a alors ω(a′ ) = ′ et ω(b′ ) = ′ ce qui donne
m n
n∧m n∧m n∧m
ω(a′ ) ∧ ω(b′ ) = ′ ′
= min(α1 ,β1 ) min(α ,β )
= =1
nm p1 . . . pr r r n∧m

et donc d’après la question précédente

mn mn
ω(a′ b′ ) = ω(a′ )ω(b′ ) = ′ ′
= =m∨n
mn m∧n

4. Posons S = {ω(x), x ∈ G}. Étant donné que S est fini_non vide, on peut, en utilisant la question
précédente, trouver un élément z ∈ G tel que ω(z) = m qui vérifie bien la propriété voulue.
m∈S

Correction de l’exercice V.4. :

On envisage deux méthodes.
→ Méthode 1 (plus intuitive) : H est un sous-groupe de G qui est généré par a, donc tout
D élément
E
de H s’écrit sous forme de a avec l ∈ N. Soit l = min{k ∈ N , a ∈ H}. Montrons que al = H.
l ∗ k
D E
Supposons le contraire, i.e. qu’il existe m ∈ N tel que am ̸∈ al et am ∈ H. On peut donc écrire
m = ql + r avec q ∈ Z et r ∈ J0; l − 1K (car k ne divise pas m). On a alors
 −q
ar = a−ql aql+r = al am ∈H
D E
ce qui est absurde par définition de l. On en déduit donc que H = al . D’après la proposition
 d
IV.4, ωal |H, on a alors al = e et donc adl = e. D’après le point 1 de la proposition 1, on a n|dl.
n
De plus, d’après la proposition IV.4, H étant un sous-groupe cyclique de G, on a d|n et donc l.
d
n
Posons donc l = α avec α ∈ N. On a alors
d
n n
D E D E D E
H = al = aα d ⊂ a d
D n
E n D nE
On a de plus d’après le point 5 de la proposition III.1, ad = = d = |H| et donc |H| = a d .
n/d

20/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand


−→ G Z
→ Méthode 2 (plus rapide) : a est un générateur de G donc l’application φ : est
k 7−→ ak
surjective et Ker φ = nZ. On a donc H = φ(φ−1 (H)) et d’après la proposition I.9, φ−1 (H) est un
sous-groupe de Z, i.e. de la forme kZ avec k ∈ N. De plus, {e} ⊂ H et donc

nZ = φ−1 ({e}) ⊂ φ−1 (H) = kZ

On en déduit alors que k|n et que

D E
H = φ(kZ) = {al , l ∈ kZ} = ak
D E n n D nE
De plus, d = |H| = ak = et donc k = et finalement H = a d .
k d

Correction de l’exercice V.5. :

ω(a) n
1. Soit k ∈ Z. D’après le point (4) de la proposition III.1, on a ω(ak ) = = . On en
ω(a) ∧ k n∧k
déduit donc que D E n
G = ak ⇐⇒ ω(ak ) = n ⇐⇒ = n ⇐⇒ n ∧ k = 1
n∧k

2. On envisage deux méthodes.

→ Méthode 1 : Notons pour tout d ∈ N∗ diviseur de n Gd = {b ∈ G, ω(b) = d}. On sais que

d’après l’exercice
D nE V.4, pour tout d diviseur positif de n, tout sous-groupe de cardinal d est égal
à Hd = a d . On a donc

b ∈ Gd ⇐⇒ |⟨b⟩| = d ⇐⇒ ⟨b⟩ = Hd
⟨b⟩≤G

On a donc pour tout d diviseur positif de n,

|Gd | = |{b ∈ G, ω(b) = d}|

 k 
n kd
D E
= ad , k ∈ N, a n = Hd
= |{k ∈ J1; dK, k ∧ d = 1}| = φ(d)
n
L’avant dernière égalité est due au fait que a d est un générateur de Hd et donc d’après la
 n k
question précédente a d génère Hd si et seulement si k ∧ d = 1. On a alors

n = |G| = Gd = |Gd | =
G X X
φ(d)
d|n, d≥1 d|n, d≥1 d|n, d≥1

21/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

→ Méthode 2 : On a

n = |J1; nK| = {k ∈ J1; nK k ∧ n = d}

G

d|n, d≥1

= |{k ∈ J1; nK k ∧ n = d}|

X

d|n, d≥1
( )
n k n
= k ∈ d × J1; K, ∧ = 1
X

d|n, d≥1
d d d
n n
 
= k ∈ J1; K, k ∧ = 1
X

d|n, d≥1
d d
n
 
= =
X X
φ φ(d)
d|n, d≥1
d d|n, d≥1

La dernière égalité est vraie car

≥ 1, d|n} −→ {d ≥ 1, d|n}

{d
h: n
d 7−→
d
est une bijection.

Correction de l’exercice V.6. :

1. Notons n = |G1 |, m = |G2 | et a, b des générateurs de G1 et G2 respectivement. On note également
e1 et e2 les éléments neutres respectifs de (G1 , ∗) et (G2 , ∗). On envisage deux cas possibles.
→ Cas 1 : n ∧ m = 1.
Soit z = (a, b) = (e1 , b) ⊗ (a, e2 ). On a clairement ω((a, e2 )) = n et ω((e1 , b)) = m donc d’après
l’exercice IV.3. ω(z) = mn et donc étant donné que |G1 × G2 | = mn, alors G1 × G2 = ⟨z⟩, i.e.
(G1 × G2 , ⊗) est cyclique.
→ Cas 2 : n ∧ m ̸= 1.
Posons alors l = n ∨ m. Il est clair que ∀z ∈ G1 × G2 , z l = (e1 , e2 ) et donc G1 × G2 ne peut
pas être cyclique car pour tout z ∈ G, |⟨z⟩| ≤ l < mn = |G1 × G2 |.
On en déduit donc que G1 × G2 est cyclique si et seulement si |G1 | ∧ |G2 | = 1.
2. Pour vérifier que f est bien définie, il faut vérifier que tout élément de Z/abZ a une image unique
par f . On doit donc vérifier que pour tout x, y ∈ Z, si dans Z/abZ on a x = y, alors φ(x) = φ(y).
Notons pour tout z ∈ Z et r ≥ 2, z (r) la classe de z dans Z/rZ.
Considérons donc x, y ∈ Z tels que dans Z/abZ, on ait x = y. Il existe donc k ∈ Z tel que x = y+kab.
On a alors
         
φ x(ab) = x(a) , x(b) = y (a) + kab(a) , y (b) + kab(b) = y (a) , y (b) = φ y (ab)

φ est donc bien définie. Il est également facile de vérifier qu’il s’agit d’un morphisme. Montrons
maintenant qu’il s’agit d’un isomorphisme si et seulement si a ∧ b = 1.
   
→ (⇐) Supposons que a ∧ b = 1. On a φ 1(ab) = 1(a) , 1(b) . D’après la question 1, étant donné
 
que 1(a) et 1(b) sont d’ordre respectivement a et b et a ∧ b = 1, alors ω 1(a) , 1(b) = ab. On
a de plus D E D  E
1(a) , 1(b) = φ 1(ab) ⊂ Im φ
et donc D E
|Im φ| ≥ 1(a) , 1(b) = ab

22/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

or |Im φ| ≤ |Z/aZ × Z/bZ| = ab, donc |Im φ| = ab et alors Im φ = Z/aZ × Z/bZ, i.e. φ est
surjective. De plus, on a |Z/abZ| = ab = |Z/aZ × Z/bZ| donc la surjectivité de φ nous donne
directement que φ est bijective, c’est donc un isomorphisme.
→ (⇒) Supposons que a ∧ b = d > 1. On a alors a ∨ b ∈]0, ab[ et donc a ∨ b(ab) ̸= 0(ab) , mais
     
φ a ∨ b(ab) = a ∨ b(a) , a ∨ b(b) = 0(a) , 0(b)
n o
On en déduit que Ker φ ̸= 0(ab) et que donc φ n’est pas injective. φ ne peut donc pas être
un isomorphisme.

Correction de l’exercice V.7. :

1. Soit P ∈ A[X] et Q ∈ A[X] de coefficient dominant égal à 1. Il s’agit de montrer la proposition
suivante
∃!B, R ∈ A[X], P (X) = B(X)Q(X) + R(X), deg R < deg Q
→ Existence : Procédons par récurrence forte sur le degré de P . Posons n = deg P .
• Si deg P = 0, alors si deg Q > 0, B = 0 et R = P conviennent. si deg Q = 0 i.e. Q = 1,
alors R = 0 et B = P conviennent.
• Soit n ∈ N. Suppsons que la propriété est vraie pour tout n, i.e. pour tout polynôme P
de degré inférieur ou égal à n,

∃B, R ∈ A[X], P (X) = B(X)Q(X) + R(X), deg R < deg Q

Montrons que la propriété est vraie pour n + 1. On suppose que P est de degré n + 1 et
on pose
n+1
P (X) = ak X k et Q(X) = X r + H(X)
X

k=0

avec r = deg Q et H ∈ A[X] tel que deg H < r. Si r > n + 1, alors B = 0 et R = Q

conviennent. Si r ≤ n + 1 on a alors
n
P (X) − an+1 X n+1−r Q(X) = ak X k − an+1 X n+1−r H(X)
X

k=0

On a donc
n
!
deg(P (X) − an+1 X n+1−r
Q(X)) = deg k n+1−r
X
ak X − an+1 X H(X) ≤ n
k=0

Par hypothèse de récurrence, il existe B̃, R̃ ∈ A[X] tels que deg R̃ < deg Q tels que

P (X) − an+1 X n+1−r Q(X) = B̃(X)Q(X) + R̃(X)

et alors on a
P (X) = (B̃(X) + an+1 X n+1−r )Q(X) + R(X)
on en déduit que B(X) = B̃(X) + an+1 X n+1−r et R̃(X) = R(X) conviennent, d’où l’exis-
tence.
→ Unicité : Soit B1 , B2 , R1 , R2 ∈ A[X] tels que deg R1 ≤ deg Q, deg R2 ≤ deg Q et

P (X) = B1 (X)Q(X) + R1 (X) = B2 (X)Q(X) + R2 (X)

On a alors
(B1 (X) − B2 (X))Q(X) = R1 (X) − R2 (X)

23/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

Si B1 − B2 ̸= 0, alors étant donné que Q est non nul, on a

deg(R1 − R2 ) = deg((B1 − B2 )Q) (1)

= deg ((B1 − B2 )X r + (B1 − B2 )H)) (2)
= deg(B1 − B2 ) + deg Q ≥ deg Q (3)

ce qui est absurde. On en déduit que B1 = B2 et que R1 = R2 , d’où l’unicité.

Attention : Lorsque U, V ∈ A[X] et que A n’est pas intègre, on a pas forcément l’égalité
deg(U V ) = deg U + deg V , mais ici, on peut passer de la ligne (2) à (3) car le coefficient
dominant de Q est égal à 1. Ce passage serait également vrai si le coefficient dominant de Q
n’est pas un diviseur de zéro.
2. Montrons ce résultat par récurrence sur le degré de P encore une fois.
• Lorsque deg P = 0, P n’a clairement pas de racines (le cas P = 0 correspond à deg P = −∞).
• Soit n ∈ N. Supposons que la propriété est vraie lorsque deg P ∈ J0; nK et supposons mainte-
nant que deg P = n + 1. Si P n’admet pas de racines, la propriété est vraie. Supposons que P
admet une racine a ∈ A. La question précédente nous permet d’effectuer la division euclidienne
de P par X − a (ce polynôme est de coefficient dominant égal à 1). Il existe donc B, R ∈ A[X]
tel que
deg R < deg(X − a) = 1 et P (X) = (X − a)B(X) + R(X)
On a de plus 0 = P (a) = R(a) et R est constant donc R = 0. B est de degré n, donc par
hypothèse de récurrence, B admet au plus n racines et donc P (X) = (X − a)B(X) admet au
plus n + 1 = deg P racines.
3. Si G est cyclique, alors nécessairement on a |G| = ω(x). Notre intuition est donc de considérer
_

x∈G
un élément de G d’ordre le plus grand qu’on peut trouver (ici égal à n) et d’essayer de montrer
qu’il engendre G. Posons n = ω(x). D’après la question 4 de l’exercice IV.3, il existe z ∈ G tel
_

x∈G

que ω(z) = ω(x) = n. n est un multiple de tous les ordres des éléments de G, donc pour tout
_

x∈G
x ∈ G, xn = 1. On posant Z l’ensemble des racines de X n − 1 dans K, on voit que G ⊂ Z. D’après
la question précédente, le polynôme X n − 1 admet au plus n racines, donc on a |G| ≤ |Z| ≤ n. De
plus, on a n = |⟨z⟩| ≤ |G| et donc |G| = n = |⟨z⟩| et ⟨z⟩ ⊂ G, et finalement G = ⟨z⟩, i.e. G est
cyclique.

Correction de l’exercice VI.2. :

On peut voir G comme un Z/pZ-espace vectoriel. En effet, en considérant les lois (bien définies)
 
G × G −→ G Z/pZ × G −→ G
+: et · : 
(x, y) 7−→ x ∗ y (k, x) 7−→ xk

on peut voir que (G, +, ·) est un Z/pZ-espace vectoriel. G est fini et donc de dimension finie. En posant
n = dimZ/pZ G, on peut affirmer l’existence d’une base de G, (x1 , . . . , xn ). On peut donc affirmer que tout
x ∈ G s’écrit d’une manière unique sous forme de

x = k1 · x1 + · · · + kn · xn , k1 , . . . , kn ∈ Z/pZ

En considérant donc l’isomorphisme (il est facile de montrer qu’il est bien défini et qu’il s’agit d’un
isomorphisme) 
G −→ (Z/pZ)n
φ:
k1 x1 + · · · + kn xn 7−→ (k1 , . . . , kn )

24/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

On voit donc que G ≃ (Z/pZ)n . En particulier, on remarquera que |G| = |Z/pZ|n = pn .

Remarque : En utilisant le théorème de Cauchy (VII.14), on peut très facilement montrer qu’il existe
n ∈ N∗ tel que |G| = pn . En effet, pour tout g ∈ G \ {e}, g p = e et donc ω(g)|p i.e. ω(g) = p. Pour tout
nombre premier q, si q| |G|, alors par le thorème de Cauchy il existe g ∈ G tel que ω(g) = q et alors q = p.
p est donc le seul nombre premier qui divise |G| ce qui signifie qu’il existe n ∈ N∗ tel que |G| = pn .

Correction de l’exercice VI.3. :

Montrons le résultat par implications successives.
→ (1) ⇒ (2) Montrer que H ≃ Z/pZ est équivalent à montrer que H est engendré par un élément
d’ordre p premier. En effet, s’il
 existe x ∈ H tel que ⟨x⟩ = G et ω(x) = p ∈ P, alors il est facile de
H −→ Z/pZ
montrer que l’application ψ : est bien définie et est un isomorphisme et que donc
xk 7−→ k
en particulier H ≃ Z/pZ.
Montrons maintenant que G est engendré par un élément d’ordre premier. Soit x ∈ G \ {e}.
⟨x⟩ ∈ Sg(H) \ {{e}} et donc ⟨x⟩ = H. Montrons que ω(x) est premier.
Si ω(x) = ∞, alors ⟨x2 ⟩ est un sous-groupe de G. Il est facile de vérifier que ⟨x2 ⟩ =
̸ ⟨x⟩ et alors on a
⟨x2 ⟩ = {e}, i.e. ω(x) ≤ 2 ce qui est en contradiction avec le fait que ω(x) = ∞. On en déduit donc
que ω(x) est fini.
ω(x)
Soit d un diviseur de ω(x) supérieur ou égal à 2. D’après la proposition III.1, on a ω(xd ) =
D E D E d
ce qui donne nécessairement xd ∈ Sg(H) \ {H} et donc xd = {e}, ce qui signifie que xd = e, et
alors encore d’après la proposition III.1 ω(x)|d et finalement d = ω(x). On en déduit donc que les
seuls diviseurs positifs de ω(x) sont 1 et ω(x), i.e. que ω(x) est premier (ou égal à 1, mais ce cas
est impossible car x ̸= e). En posant p = ω(x), on en déduit d’après ce qui précède que H ≃ Z/pZ
avec p premier.
→ (2) ⇒ (3) Si H ≃ Z/pZ, alors et |G| = |Z/pZ| = p, ce qui implique d’après le théorème de Lagrange
faible (IV.4) que tout élément a de H \ {e} divise p et donc ω(a) ∈ {1, p}. On en déduit alors que
pour tout a ∈ H \ {e}, |⟨a⟩| = ω(a) = p = |H| i.e. ⟨a⟩ = H, d’où le résultat.
→ (3) ⇒ (4) G est monogène, on peut donc considérer g ∈ G tel que ⟨g⟩ = G. Deux cas se présentent.
• Si ω(g) = ∞, on a par hypothèse ⟨g 2 ⟩ = G ce qui est impossible. En effet, g ̸∈ ⟨g 2 ⟩ car sinon
il existerait k ∈ Z tel que g 2k = g, i.e. g 2k−1 = e ce qui est absurde.
• Si ω(g) = n ∈ N∗ , alors le morphisme

Z/nZ −→ H
ψ′ :
k 7−→ g k

est bien défini et est bijectif. On en déduit alors que H ≃ Z/nZ. De plus, Dsi dEest un diviseur
n
positif de n différent de n, alors d’après le point 5 de la proposition III.1, g d = ω(g d ) = .
d
On a donc
n D E
= ω(g d ) = g d = |H| = n
d
et donc d = 1. On en déduit alors que les seuls diviseurs de n sont 1 et n, i.e. que n est premier
et alors |H| = |Z/nZ| = n ∈ P.
→ (4) ⇒ (1) Soit L un sous-groupe de H. H est cyclique donc d’après le résultat de l’exercice V.4 L
est également cyclique. On a donc d’après le théorème faible de Lagrange (IV.4) |L| | |H|, mais H
est premier, donc |L| ∈ {1, |H|} et finalement Sg(H) = {H, {e}}.

25/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

Correction de l’exercice VII.5. :

D’après le théorème faible de Lagrange (IV.4), l’ordre de tout élément de H divise pq et donc pour tout
a ∈ H \ {e}, ω(a) ∈ {p, q, pq}.
→ Si tout élément de H \{e} est d’ordre p, alors d’après l’exercice VI.2, il existe n ∈ N tel que |H| = pn
ce qui est absurde.
→ De même, si tout élément de H \ {e} est d’ordre q, alors il existe n ∈ N tel que |H| = q n ce qui est
absurde.
→ S’il existe un élément a ∈ H d’ordre pq, alors ⟨a⟩ = H et donc d’après la proposition V.3, H ≃
Z/pqZ.
→ S’il existe un élément a ∈ H d’ordre p et un élément b ∈ H d’ordre q, alors d’après la question 2 de
l’exercice IV.3, ω(ab) = pq et donc H = ⟨ab⟩ et alors pour les mêmes raisons qu’au point précédent,
on a H ≃ Z/pqZ.
Finalement, d’après le théorème chinois (exercice V.6), on a Z/pqZ ≃ Z/pZ × Z/qZ et finalement H ≃
Z/pZ × Z/qZ.

Correction de l’exercice VII.6. :

On a par hypothèse |G/H| = 2 donc il y a deux classes à gauche. Soit a ∈ G \ H. On a aH ̸= H, donc
G/H = {H, aH}. De la même manière, G a deux classes à droite et donc étant donné que Ha ̸= H, ces
deux classes sont H et Ha. On a donc G = aH ⊔ H = Ha ⊔ H et alors aH = Ha = G \ H. De même,
lorsque a ∈ H, on a aH = H = Ha et alors en déduit donc que H est bien un sous-groupe distingué de
G. Montrons à présent que H contient tous les carrés. |G/H| = 2 donc l’ordre de tout élément de G/H
divise 2, i.e. pour tout x ∈ H, (xH)2 est égal à H, l’élément neutre du groupe G/H. On en déduit que
pour tout x ∈ G, H = xHxH = x2 H et alors x2 ∈ H. H contient donc tous les carrés.

Correction de l’exercice VII.10. :

Intuition : Pour montrer que H est distingué, il faut et il suffit de montrer que pour tout h ∈ H et a ∈ G,
haH = aH. En effet, lorsque cela est vérifié, alors on a pour tout a ∈ G et h ∈ H, a−1 haH = a−1 aH = H
et donc a−1 ha ∈ H. Ceci donne directement que a−1 Ha = H ce qui signifie que H est un sous-groupe
distingué de G.
Pour montrer que pour tout h ∈ H et a ∈ G, haH = H, on va considérer une action de groupe • telle
que pour tout h ∈ H et a ∈ G, h • aH = haH.
Considérons donc l’action de groupe • de H sur G/H définie par

H × G/H −→ G/H
•:
(h, aH) 7−→ haH

Pour montrer que H est distingué, il suffit de montrer que pour tout h ∈ H et a ∈ G, haH = aH, i.e. que
O(aH) = {aH}. Soit a ∈ G. Supposons que |O(aH)| ̸= 1. D’après le point 3 de la proposition VII.9, on
a O(aH)| |H|. De plus, par le théorème de Lagrange (VII.4), H étant un sous-groupe de G, on a |H| | |G|
et donc |O(aH)| | |G|. p étant le plus petit diviseur de |G| strictement supérieur à 1, on en déduit que
|O(aH)| ≥ p. Remarquons de plus que pour tout h ∈ H, h • H = H et donc O(H) = {H}.
On a alors d’après le point 4 de la proposition VII.9, si R est l’ensemble des représentants des orbites de
l’action • de H sur G/H, alors

p = |G/H| = |O(x)| ≥ |O(H)| + |O(aH)| ≥ p + 1

X

x∈R

ce qui est absurde, donc |O(aH)| = 1 i.e. O(aH) = {aH} donc H est bien un sous-groupe distingué de
G.

26/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

Une version plus courte utilisant des notion plus avancées sera exposée dans un chapitre complément à
celui-ci qui sera publié plus-tard.
Correction de l’exercice VII.13. :
Soit R l’ensemble des représentants de classes de conjugaison de G non réduites à un singleton. En
appliquant la formules des classes à G (point 3 de la proposition VII.12), on obtient

|G|
|Z(G)| = |G| − |O(x)| = |G| −
X X

x∈R x∈R C(x)

|G|
On a de plus pour tout x ∈ R, |G| et |G| = pn , donc tous les diviseurs strictement positifs de |G|
|C(x)|
|G|
sont de la forme pk avec k ∈ J0; nK. De plus, pour tout x ∈ R, = |O(x)| ≠ 1 et alors
|C(x)|

|G|
∀x ∈ R, ∃k ∈ J1; nK, = pk
|C(x)|

et donc
|G|
Z(G) ≡ pn − ≡ 0[p]
X

x∈R |C(x)|

De plus, e ∈ Z(G) donc Z(G) ≥ p. Z(G) n’est alors pas réduit à un singleton.
Supposons à présent que n ≤ 2 et montrons que G est abélien.
→ Si n = 1, alors on a p = |G| ≥ |Z(G)| ≥ p donc |Z(G)| = p et alors Z(G) = G i.e. G est abélien.
→ Si n = 2, alors on sait que Z(G) est un sous-groupe de G, donc par le théorème de Lagrange (VII.4),
|Z(G)| | |G| et donc |Z(G)| = p ou |Z(G)| = p2 . Si |Z(G)| = p2 , alors on peut dire comme avant
que Z(G) = G et alors que G est abélien.
Soit x ∈ G \ Z(G). On sait encore une fois, d’après le théorème de Lagrange (VII.4), que |⟨x⟩| | |G|,
et x ̸= e, donc |⟨x⟩| ∈ {p, p2 }. Si |⟨x⟩| = p2 , alors G = ⟨x⟩ et on en déduit immédiatement
que G est commutatif. Sinon, on a encore une fois d’après Lagrange |⟨{x} ∪ Z(G)⟩| ∈ {p, p2 } et
|⟨{x} ∪ Z(G)⟩| > |⟨x⟩| = p et donc |⟨{x} ∪ Z(G)⟩| = p2 et alors ⟨{x} ∪ Z(G)⟩ = G. D’après la
proposition VI.1, on peut écrire

G = ⟨{x} ∪ Z(G)⟩ = {aα1 1 . . . aαnn , n ∈ N, a1 , . . . , an ∈ {x} ∪ Z(G), α1 , . . . , αn ∈ Z}

il est facile de montrer que ce groupe est abélien, et donc on en déduit que G est abélien.

Correction de l’exercice VII.15. :

1. Soit x ∈ G tel que ω(x) = p. En considérant le morphisme introduit à la proposition VII.3

G −→ G/K
π:
x 7−→ x = xK

on peut affirmer d’après le point 1 de la proposition IV.1 que ω(π(x))|ω(x) i.e. p|ω(x). On a alors
ω(x)
 ω(x) 
d’après le point 5 de la proposition III.1, ω x p = = p.
ω(x)/p
2. Posons G = kp avec k ∈ N∗ et procédons par récurrence forte sur k
→ Si k = 1, alors |G| = p, alors la propriété est vraie d’après l’exercice VI.3.
→ Soit k ∈ N, suppsons que pour tout l ∈ J1; kK, si |G| = lp, alors G vérifie la propriété voulue.
Supposons maintenant que |G| = (k + 1)p et montrons qu’il existe un élément de G d’ordre p.
Soit x ∈ G \ {e}.

27/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

• Si p|ω(x), alors encore une fois, d’après le point 5 de la proposition III.1,

ω(x)
 ω(x)

ω x p = =p
ω(x)/p

|G| k+1 k+1

• Si p ∤ ω(x), alors on a |G/ ⟨x⟩| = = p et ∈ J1; kK (bien entendu,
ω(x) ω(x) ω(x)
k+1
∈ N car étant donné que ω(x) ∧ p = 1, d’après Gauss ω(x)|k + 1). On en déduit
ω(x)
alors par hypothèse de récurrence qu’il existe y ∈ G/ ⟨x⟩ tel que ω(y) = p et alors d’après
la question 1, il existe z ∈ G tel que ω(z) = p ce qui bien le résultat voulu.
3. Procédons par récurrence forte sur a.
→ Lorsque a = 1, la propriété est vraie d’après la question précédente.
→ Soit m le plus grand entier tel que pm | |G| et soit k ∈ J1; m − 1K. Supposons que le résultat est
vrai pour tout a ∈ J1; kK et montrons qu’il est également vrai pour a = k + 1. Par hypothèse
de récurrence, il existe H sous-groupe de G tel que |H| = pk . On a alors |G/H| = |G| /pk
et k ≤ m − 1 donc p| |G/H|. On sait donc d’après la question précédente (qui donne le
résultat pour a = 1) qu’il existe M un sous-groupe de G/H tel que |M | = p. Considérons
l’endomorphisme (identique à celui considéré à la question 1)

G −→ G/H
π:
x 7−→ xH

et en posant L = π −1 (M ) (c’est un groupe) et considérant le morphisme de groupe


L −→ M ∩ Im π
π̃ :
x 7−→ π(x)

π est surjective par définition, donc M ∩ Im π = M . On a de plus d’après la proposition VII.3,

L/ Ker π̃ ≃ Im π̃ (4)

On a de plus, M est un sous-groupe de G/H et contient donc son élément neutre H, et alors

H = Ker π = π −1 ({H}) ⊂ π −1 (M ) = L

et alors
Ker π̃ = L ∩ Ker π = Ker π = H
et donc Ker π̃ = Ker π. De plus, on a également

Im π̃ = π(L) = π(π −1 (M )) = M ∩ Im π = M ∩ G/H = M

π surjective

et donc on peut réécrire l’égalité (1) comme L/H = M ce qui donne

|L| = |H| × |M | = pk × p = pk+1

L est donc un sous-groupe de G de cardinal pk+1 , ce qui est bien le résultat voulu.
4. D’abord, par commutation, HL = LH et donc ce dernier est bien un sous-groupe de G (voir question
1 exercice I.13). De même, par commutation, ψ est bien un morphisme de groupes. Montrons
maintenant que ψ est injective. On envisage deux méthodes.
→ Méthode 1 (à la main) : Soit (h, l) ∈ Ker ψ. On a alors hl = e. Posons p = ω(h) et q = ω(l).
D’après le théorème de Lagrange, on a p| |H| et q| |L|. De plus, on a |H| ∧ L = 1 ce qui donne

28/29
Mathématiques en MP* d’après un cours au lycée Louis-le-Grand

p ∧ q = 1. On a alors d’après Bezout, il existe u, v ∈ Z tels que up + vq = 1. On a alors

e = (hl)vq = h1−up lvq = h et e = (hl)up = hup l1−vq = l

et donc (h, l) = (e, e). On en déduit donc que Ker ψ = {(e, e)} et que donc ψ est injective.
→ Méthode 2 : Soit (h, l) ∈ Ker ψ. On a alors hl = e et donc h = l−1 ∈ H ∩ L.
Or, H ∩ L ≤ H et H ∩ L ≤ L et donc, par Lagrange, |H ∩ L|||H| ∧ |L| = 1 i.e. H ∩ L = {e}.
Ainsi, h = l = e et donc ψ est injective.
ψ est clairement surjective donc bijective et donc |HL| = |H × L| = |H| × |L|.
5. On peut montrer facilement par récurrence en utilisant la question précédente le résultat suivant.
Pour tout r ∈ N∗ , si H1 , . . . , Hr sont r sous-groupes de G tels que pour tout i, j ∈ J1; rK différents,
|Hi | ∧ |Hj | = 1, alors H1 . . . Hr est un sous-groupe de G et

|H1 . . . Hr | = |H1 | × · · · × |Hr |

Écrivons maintenant la décomposition en produits de nombres premiers de n (n = 1 étant trivial).

Soit r ∈ N∗ , α1 , . . . , αr ∈ N∗ et p1 , . . . , pr r nombres premiers distincts tels que n = pα1 1 . . . pαr r .
D’après la question 3, pour tout k ∈ J1; rK, il existe Hk un sous groupe de G tel que |Hk | = pαk k .
De plus, on a clairement pour tout i, j ∈ J1; rK différents |Hi | ∧ |Hj | = 1 et alors on en déduit que
H1 . . . Hr est un sous-groupe de G et que |H1 . . . Hr | = pα1 1 . . . pαr r = n.

* *
*

Document compilé par Omar Bennouna et Issam Tauil le 26/06/2022 pour

[Link]. Si vous repérez une erreur, ou avez des remarques, prière de me
contacter via l’adresse contact@[Link].

29/29