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 gun ´el´ement de G. L’ordre de gest le plus petit entier
n∈N∗, s’il existe, tel que gn= 1. Sinon, on dit que gest d’ordre infini.
Autre d´efinition : l’ordre de gest l’ordre du sous-groupe de Gengendr´e par g.
(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.
2.2 Groupes monog`enes, groupes cycliques
D´efinition 2.2 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.
Exercice 2.3 (Groupes d’ordre 4) Montrer que tout groupe d’ordre 4 est isomorphe `a Z/4Zou `a
Z/2Z×Z/2Z(indication: si Gn’a pas d’´el´ement d’ordre 4 on construira directement la table de G).
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.
Pour tout n≥2 on note ϕ(n) le nombre de g´en´erateurs de (Z/nZ,+). C’est l’indicateur d’Euler :
ϕ(n) = card{k∈ {0,···, n −1}, k ∧n= 1}
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