L3-TD N°1: Groupes
L3-TD N°1: Groupes
L3-TD N°1: Groupes
L3 2015-2016
TD n°1 : Groupes
Exercice 1. [Groupes monogènes, groupes cycliques] Un groupe est dit monogène s'il est engendré
par un seul élément. On dit qu'il est cyclique s'il est monogène et ni.
1. Montrer qu'un groupe monogène est isomorphe à Z ou Z/nZ pour un entier n ≥ 1.
2. Trouver tous les sous-groupes de Z et de Z/nZ. Montrer en particulier qu'ils sont monogènes,
et que pour tout d ≥ 1 divisant n, il existe un unique sous-groupe de Z/nZ d'ordre d.
3. Trouver les générateurs de Z et de Z/nZ. En déduire leur groupe d'automorphismes.
4. Soit ϕ l'indicatrice d'Euler Xdénie par ϕ(m) = #{d ∈ N∗ | d ≤ m et pgcd(d, m) = 1}.
Démontrer la relation : n = ϕ(d).
d|n
5. Soit G un groupe ni d'ordre n tel que, pour tout diviseur d de n, G contienne au plus un
sous-groupe cyclique d'ordre d. Montrer que G est cyclique.
6. Application : Soit K un corps et G un sous-groupe ni du groupe multiplicatif K ∗ . Montrer
que G est cyclique.
Exercice 2. [Sous-groupes de Q/Z] Montrer que (Q/Z, +) possède un unique sous-groupe d'ordre
n pour tout n ≥ 1 et que ce groupe est cyclique.
Exercice 3. Le groupe (Q, +) peut-il être engendré par un nombre ni d'éléments ? Qu'en est-il
de (Q∗ , ×) ?
1
4. Que peut-on dire d'un groupe dont le groupe des automorphismes est trivial ?
Exercice 7. Caractériser l'ensemble des groupes dont l'ensemble des sous-groupes est ni.
2 0
Exercice 8. [Sous-groupes d'un groupe de type ni] On considère les matrices X = et
0 1
1 1
Y = , et on note G le sous-groupe de GL2 (R) qu'elles engendrent.
0 1
1. Pour n ∈ Z, calculer X −n Y X n . On note Hn le sous-groupe de GL2 (R) engendré par cet
élément.
2. Montrer que pour tout n ∈ Z, Hn est strictement inclus dans Hn+1 .
3. Exhiber un sous-groupe de G qui est strictement inclus dans un de ses conjugués.
4. Exhiber un sous-groupe de G qui ne peut pas être engendré par un nombre ni d'éléments.
Exercice 10. [Une condition susante pour être distingué] Soit G un groupe ni et soit H un
sous-groupe de G. On considère l'action de G sur l'ensemble des classes de G modulo H . Notons
θ : G → S(G/H) le morphisme de groupes g 7→ {xH 7→ gxH}.
1. Montrer que Ker(θ) est le plus grand sous-groupe distingué de G contenu dans H .
2. Montrer que si |G| ne divise pas [G : H]!, alors G contient un sous-groupe distingué non
trivial.
3. Notons p le plus petit facteur premier de |G|. Déduire des questions précédentes que si
[G : H] = p, alors H est distingué dans G.