2 Ordre d’un ´el´ement, ordre des sous-groupes, groupe quotient
2.1 Ordre d’un ´el´ement
D´efinition 2.1 Soit (G, ·)un groupe et soit xun ´el´ement de G. L’ordre de xest le plus petit entier
n∈N∗, s’il existe, tel que xn= 1. Sinon, on dit que xest d’ordre infini.
Autre d´efinition : l’ordre de xest l’ordre du sous-groupe de Gengendr´e par x.
(Rappel : l’ordre d’un groupe Hest par d´efinition son cardinal, on le note |H|).
Remarques : 0. Dans un groupe fini, tout ´el´ement est d’ordre fini.
1. Il existe des groupes infinis dans lesquels tout ´el´ement est d’ordre fini.
2. Il existe des groupes infinis engendr´es par un nombre fini d’´el´ements d’ordre fini.
3. L’ordre des ´el´ements est conserv´e par isomorphisme.
Proposition 2.2 Soit (G, ·)un groupe et soit xun ´el´ement de G. Alors pour tout m∈N∗on a :
xm= 1 si et seulement si l’ordre de xdivise m.
2.2 Groupes monog`enes, groupes cycliques
D´efinition 2.3 Un groupe est monog`ene s’il est engendr´e par un seul ´el´ement. Si de plus il est d’ordre
fini, on dit que le groupe est cyclique.
Remarques :
1. Un groupe cyclique est commutatif.
2. Les g´en´erateurs d’un groupe cyclique d’ordre nsont exactement ses ´el´ements d’ordre n.
Th´eor`eme 2.4 Soit (G, ·)un groupe monog`ene. Alors:
i)soit Gest infini et est isomorphe `a (Z,+).
ii)soit Gest fini et Gest isomorphe `a (Z/nZ,+) o`u n=|G|.
D´emonstration : Soit gun g´en´erateur de G. Si gest d’ordre infini, montrer que l’application ϕg:
(Z,+) →(G, ·) d´efinie par ϕg(k) = gkest un isomorphisme. Si gest d’ordre fini n, montrer que
l’application ϕg: (Z/nZ,+) →(G, ·) d´efinie par ϕg(¯
k) = gkest bien d´efinie et est un isomorphisme.
Les g´en´erateurs de (Z,+) sont 1 et −1.
G´en´erateurs de Z/nZ
Proposition 2.5 Soit k∈Z. Alors ¯
kest un g´en´erateur de (Z/nZ,+) ssi k∧n= 1.
Cons´equence : il y a ϕ(n) g´en´erateurs de (Z/nZ,+), o`u ϕd´esigne l’indicateur d’Euler.
Corollaire 2.6 Soit (G, ·)un groupe cyclique d’ordre net gun g´en´erateur de G. Alors les g´en´erateurs
de Gsont les gkavec k∧n= 1.
D´emonstration : L’isomorphisme ϕgd´efini plus haut envoie un g´en´erateur sur un g´en´erateur.
4