© Laurent Garcin MP Dumont d’Urville

Structure de groupe Exercice 5 ★ Transport de structures

Groupes
Exercice 1 ★★ Soient (G, ∗) un groupe et H un ensemble. On suppose qu’il existe une bijection 𝑓 de G
sur H. On définit la loi . sur H de la manière suivante :
Soit G = ℝ∗ × ℝ. On pose pour tous éléments (𝑥, 𝑦) et (𝑥′ , 𝑦′ ) de G :
∀(𝑥, 𝑦) ∈ H2 , 𝑥.𝑦 = 𝑓 (𝑓−1 (𝑥) ∗ 𝑓−1 (𝑦))
(𝑥, 𝑦) ∗ (𝑥′ , 𝑦′ ) = (𝑥𝑥′ , 𝑥𝑦′ + 𝑦)
Montrer que (H, .) est un groupe.
1. Vérifier que ∗ est une loi interne associative sur G.
2. Vérifier que (G, ∗) est un groupe. Est-il commutatif ? Exercice 6 ★ Transport de structures
3. Donner une expression de (𝑥, 𝑦) . ∗𝑛
Soient (G, ∗) un groupe et (H, .) un ensemble muni d’une loi interne. On suppose qu’il
existe une surjection de G sur H vérifiant
Exercice 2 ★★ ∀(𝑥, 𝑦) ∈ G2 , 𝑓(𝑥 ∗ 𝑦) = 𝑓(𝑥).𝑓(𝑦)

Soit G =] − 1, 1[. On pose pour tous éléments 𝑥 et 𝑦 de G : Montrer que (H, .) est un groupe. Que peut-on dire de 𝑓 ?
𝑥+𝑦
𝑥∗𝑦 =
1 + 𝑥𝑦
Exercice 7 ★
1. Vérifier que ∗ est une loi interne associative sur G.
Soit G un groupe. On définit une relation binaire ∼ sur G par
2. Vérifier que (G, ∗) est un groupe. Est-il commutatif ?
∀(𝑥, 𝑦) ∈ G2 , 𝑥 ∼ 𝑦 ⟺ ∃𝑔 ∈ G, 𝑦 = 𝑔−1 𝑥𝑔
3. Donner une expression de 𝑥∗𝑛 .
Montrer que ∼ est une relation d’équivalence.

Exercice 3 ★★
Exercice 8 ★
Soit G un groupe d’élément neutre 𝑒 tel que ∀𝑥 ∈ G, 𝑥2 = 𝑒. Montrer que G est commu-
tatif. Soit H un sous-groupe d’un groupe G. On définit trois relations binaires ∼, ∼𝑔 , ∼𝑑 sur G
de la manière suivante :

Exercice 4 ★ ∀(𝑥, 𝑦) ∈ G2 , 𝑥 ∼ 𝑦 ⟺ ∃ℎ ∈ H, 𝑦 = ℎ−1 𝑥ℎ

∀(𝑥, 𝑦) ∈ G2 , 𝑥 ∼𝑔 𝑦 ⟺ ∃ℎ ∈ H, 𝑦 = ℎ𝑥
On munit ℝ de la loi interne ∗ définie par : ∀𝑎, 𝑏 ∈ ℝ, 𝑎 ∗ 𝑏 = 𝑎 + 𝑏 + 𝑎𝑏. (ℝ, ∗) est-il
un groupe ? ∀(𝑥, 𝑦) ∈ G2 , 𝑥 ∼𝑑 𝑦 ⟺ ∃ℎ ∈ H, 𝑦 = 𝑥ℎ

Montrer que ∼, ∼𝑔 , ∼𝑑 sont des relations d’équivalence sur G.

http://lgarcin.github.io 1
 © Laurent Garcin MP Dumont d’Urville

Exercice 9 ★★ Exercice 13 ★★★ Sous-groupes de ℝ

Groupes
On pose G =] − 1, 1[. Soit G un sous-groupe de (ℝ, +). On suppose G non trivial i.e. G ≠ {0}.
1. Montrer que th induit une bijection de ℝ sur G. 1. Question préliminaire : soient α ∈ ℝ∗+ et β ∈ ℝ. Montrer qu’il existe 𝑛 ∈ ℤ tel que
𝑛α ≤ β < (𝑛 + 1)α.
th(𝑎) + th(𝑏)
2. Montrer que pour tout (𝑎, 𝑏) ∈ ℝ2 , th(𝑎 + 𝑏) = .
1 + th(𝑎) th(𝑏) 2. Justifier que G ∩ ℝ∗+ possède une borne inférieure que l’on notera 𝑎.
𝑥+𝑦 3. On suppose que 𝑎 > 0.
3. Pour (𝑥, 𝑦) ∈ G2 , on pose 𝑥 ⋆ 𝑦 = . A l’aide des questions précédentes,
1 + 𝑥𝑦
montrer que (G, ⋆) est un groupe commutatif. a. On suppose que 𝑎 ∉ G. Justifier l’existence de deux éléments distincts 𝑥 et 𝑦
de G appartenant à l’intervalle ]𝑎, 2𝑎[.
(1 + 𝑥)𝑛 − (1 − 𝑥)𝑛
4. Soit 𝑥 ∈ G. Montrer que pour tout 𝑛 ∈ ℤ, 𝑥⋆𝑛 = . b. Aboutir à une contradiction et en déduire que 𝑎 ∈ G.
(1 + 𝑥)𝑛 + (1 − 𝑥)𝑛
c. En déduire que 𝑎ℤ ⊂ G.
d. Soit 𝑧 ∈ G. En utilisant la question 1, montrer qu’il existe 𝑛 ∈ ℤ tel que
Sous-groupes 𝑧 = 𝑛𝑎.
e. En déduire que G = 𝑎ℤ.
Exercice 10 ★ Stabilisateur
4. On suppose que 𝑎 = 0.
Soient E un ensemble et 𝑥 ∈ E. On pose a. Soient 𝑡 ∈ ℝ et ε > 0. En utilisant la question 1, montrer qu’il existe 𝑔 ∈ G
tel que |𝑔 − 𝑡| < ε.
S(𝑥) = {σ ∈ S(E), σ(𝑥) = 𝑥}
b. En déduire que G est dense dans ℝ.
Montrer que S(𝑥) est un sous-groupe de (S(E), ∘).
Exercice 14 ★
Exercice 11 ★★
Soient G un groupe et H un sous-groupe de G. On définit une relation binaire ∼ sur G par
Soient G un groupe et H, K deux sous-groupes de G.
∀(𝑥, 𝑦) ∈ G2 , 𝑥 ∼ 𝑦 ⟺ ∃ℎ ∈ H, 𝑦 = 𝑥ℎ
1. Montrer que H ∩ K est un sous-groupe de G.
Montrer que ∼ est une relation d’équivalence.
2. Montrer que H ∪ K est un sous-groupe de G si et seulement si H ⊂ K ou K ⊂ H.
Exercice 15 ★★
Exercice 12 ★ Centre d’un groupe
Dans cet exercice, on pourra identifier le plan à ℂ via un repère orthonormé. On pourra
Soit G un groupe. On définit le centre de G par en particulier identifier une transformation du plan à une application de ℂ dans ℂ.

Z(G) = {𝑎 ∈ G, ∀𝑥 ∈ G, 𝑎𝑥 = 𝑥𝑎} 1. On note G l’ensemble des translations et des similitudes directes du plan. Montrer
que G muni de la loi de composition est un groupe.
i.e. l’ensemble des éléments de G qui commutent avec tous les éléments de G. Montrer
2. On note H l’ensemble des translations et des rotations du plan. Montrer que H est
que Z(G) est un sous-groupe de G.
un sous-groupe de G.

http://lgarcin.github.io 2
 © Laurent Garcin MP Dumont d’Urville

Morphismes Exercice 18 ★★
Groupes
ℤ ⟶ ℂ∗
Exercice 16 ★ Groupes et complexes Soit α ∈ ℝ. Pour 𝑛 ∈ ℕ, on considère l’application 𝑓𝑛 ∶ { .
𝑝 ⟼ 𝑒2𝑖π𝑛𝑝α
On rappelle que (ℝ, +), (ℝ∗ , ×) et (ℂ∗ , ×) sont des groupes. 1. Montrer que 𝑓𝑛 est un morphisme du groupe (ℤ, +) dans le groupe (ℂ∗ , ×).
On note 𝕌 l’ensemble des nombres complexes de module 1.
Pour 𝑛 ∈ ℕ∗ , on note 𝕌𝑛 l’ensemble des racines 𝑛èmes de l’unité. 2. Montrer que Im 𝑓𝑛 ⊂ 𝕌.

1. Montrer que 𝕌 est un sous-groupe de (ℂ∗ , ×). 3. En considérant le noyau de 𝑓𝑛 , montrer que 𝑓𝑛 est injective si et seulement si α ∉ ℚ.

2. Soit 𝑛 ∈ ℕ∗ . Montrer que 𝕌𝑛 est un sous-groupe de (ℂ∗ , ×). 4. A partir de maintenant, on suppose que α ∈ ℚ. On écrit α sous forme de fraction
𝑟
irréductible, c’est-à-dire sous la forme α = avec 𝑟 ∈ ℤ et 𝑠 ∈ ℕ∗ tels que
ℂ∗ ⟶ ℂ∗ 𝑠
3. Soit 𝑛 ∈ ℕ∗ . On pose 𝑓 ∶ { . 𝑟 ∧ 𝑠 = 1.
𝑧 ⟼ 𝑧𝑛
a. Montrer que Im 𝑓1 ⊂ 𝕌𝑠 .
a. Montrer que 𝑓 est un endomorphisme de (ℂ∗ , ×).
2𝑖π
b. En considérant le noyau de 𝑓, retrouver le résultat de la question 2. b. En écrivant une relation de Bézout entre 𝑟 et 𝑠, montrer que 𝑒 𝑠 ∈ Im 𝑓1 . En
c. 𝑓 est-il injectif ? déduire que 𝕌𝑠 ⊂ Im 𝑓1 .

d. Déterminer l’image de 𝑓. 𝑓 est-il surjectif ? c. Montrer que Ker 𝑓1 = 𝑠ℤ.

𝑠
ℝ ⟶ ℂ∗ 5. On pose 𝑚 = .
4. On pose 𝑔 ∶ { . 𝑛∧𝑠
θ ⟼ 𝑒𝑖θ
a. Justifier que 𝑚 est entier.
a. Montrer que 𝑔 est un morphisme du groupe (ℝ, +) dans le groupe (ℂ∗ , ×). b. Montrer que 𝑛𝑟 ∧ 𝑠 = 𝑛 ∧ 𝑠.
b. Déterminer le noyau de 𝑔. 𝑔 est-il injectif ? c. Montrer que Im 𝑓𝑛 ⊂ 𝕌𝑚 .
c. En considérant l’image de 𝑔, retrouver le résultat de la question 1. 2𝑖π
d. En écrivant une relation de Bézout entre 𝑛𝑟 et 𝑠, montrer que 𝑒 𝑚 ∈ Im 𝑓𝑛 . En
d. 𝑔 est-il surjectif ?
déduire que 𝕌𝑚 ⊂ Im 𝑓𝑛 .

5. On pose ℎ ∶ {
ℂ∗ ⟶ ℝ∗
. e. Montrer que Ker 𝑓𝑛 = 𝑚ℤ.
𝑧 ⟼ |𝑧|
a. Montrer que ℎ est un morphisme du groupe (ℂ∗ , ×) dans le groupe (ℝ∗ , ×).
Exercice 19 ★★★★ X MP 2010
b. En considérant le noyau de ℎ, retrouver le résultat de la question 1.
c. ℎ est-il injectif ? Soient 𝑚, 𝑛 ∈ ℕ∗ . Déterminer les morphismes de (GL𝑛 (ℝ), ×) dans (ℤ/𝑚ℤ, +).
d. Déterminer l’image de ℎ. ℎ est-il surjectif ?

Exercice 17 ★★

Montrer que les endomorphismes de groupe de (ℝ, +) continus sont les homothéties i.e.
les applications 𝑥 ↦ λ𝑥 avec λ ∈ ℝ.

http://lgarcin.github.io 3
 © Laurent Garcin MP Dumont d’Urville

Exercice 20 ★★ Automorphismes intérieurs Exercice 26 ★★★ Banque Mines-Ponts MP 2021

Groupes
Soit G un groupe. Étant donné un élément 𝑎 de G on définit l’application : Soit G un groupe fini. On suppose que tous les éléments de G sont d’ordre au plus 2. Que
peut-on dire du cardinal de G ?
G ⟶ G
φ𝑎 ∶ {
𝑥 ⟼ 𝑎𝑥𝑎−1

1. Soit 𝑎 ∈ G. Montrer que φ𝑎 est un automorphisme de G. Exercice 27 ★★

2. On pose ℑ(G) = {φ𝑎 , 𝑎 ∈ G}. Montrer que l’ensemble ℑ(G) est un sous-groupe de Montrer que tout groupe d’ordre premier est cyclique.
(Aut(G), ∘).
G ⟶ Aut(G)
3. Montrer que φ ∶ { est un morphisme de groupes. Exercice 28 ★★★ Ordre d’un produit
𝑎 ⟼ φ𝑎
Soient 𝑥 et 𝑦 deux éléments d’un groupe G d’ordres respectifs 𝑝 et 𝑞. On suppose que 𝑥
Exercice 21 ★★ et 𝑦 commutent et que 𝑝 ∧ 𝑞 = 1. Montrer que l’ordre de 𝑥𝑦 est 𝑝𝑞.

G ⟶ G
Soit G un groupe. Montrer que 𝑓 ∶ { est un automorphisme de G si et
𝑥 ⟼ 𝑥−1 Exercice 29 ★★★
seulement si G est commutatif.
Soit G un groupe et E l’ensemble des éléments d’ordre fini de G. Montrer que si E est fini,
Exercice 22 ★★ alors E est un groupe.

Déterminer les morphismes de groupes de (ℚ, +) dans (ℤ, +).

Exercice 30 ★★★

Ordre Soit G un groupe ayant un nombre fini de sous-groupes. Montrer que G est fini.

Exercice 23 ★★★ ENS MP 2019

Soit G un groupe. Montrer que G est fini si et seulement si l’ensemble des sous-groupes
de G est fini.

Exercice 24 ★★

Montrer que tout sous-groupe d’un groupe cyclique est cyclique.

Exercice 25 ★★★

Soit G un groupe cyclique d’ordre 𝑛. Montrer que pour tout diviseur 𝑑 de 𝑛, il existe un
unique sous-groupe de G d’ordre 𝑑.

http://lgarcin.github.io 4