Exemple. On se propose de d´eterminer tous les groupes d’ordre 4 `a isomorphisme pr`es. Notons G=
{e, a, b, c}un groupe d’ordre 4 de neutre e. Deux cas peuvent se pr´esenter.
Premier cas : Gcontient un ´el´ement d’ordre 4. Supposons par exemple que ce
soit a. Alors Gdoit contenir a2et a3=a−1qui sont distincts de a. On a donc
b=a2et c=a3(ou le contraire). La table de Gest donc :
e a b c
e e a b c
a a b c e
b b c e a
c c e a b
Le groupe C4
Second cas : Gne contient pas d’´el´ement d’ordre 4. Comme eest le seul
´el´ement d’ordre 1, et que Gne peut pas contenir d’´el´ements d’ordre 3 d’apr`es
le th´eor`eme de Lagrange, c’est donc que a, b, c sont tous les trois d’ordre 2.
Donc a2=b2=c2=e, et chacun des trois est son propre inverse. Consid´erons
maintenant le produit ab. Si l’on avait ab =a, on aurait b=e, ce qui est exclu.
Si l’on avait ab =b, on aurait a=e, ce qui est exclu. Si l’on avait ab =e,
on aurait b=a−1, c’est-`a-dire b=a, ce qui est exclu. On a donc forc´ement
ab =c. On calcule de mˆeme les autres produits. On obtient la table :
e a b c
e e a b c
a a e c b
b b c e a
c c b a e
Le groupe de Klein V
On a d´emontr´e, et on retiendra, que :
il n’existe `a isomorphisme pr`es que deux groupes d’ordre 4, l’un est appel´e groupe cyclique d’ordre
4 et est not´e C4, l’autre est appel´e groupe de Klein et est not´e V. Les deux sont ab´eliens.
Le groupe C4contient : le neutre d’ordre 1, deux ´el´ements d’ordre 4, et un ´el´ement d’ordre 2.
Le groupe Vcontient : le neutre d’ordre 1 et trois ´el´ements d’ordre 2.
Exercice. Montrer que Γ1={1 0
0 1 ,0 1
−1 0 ,−1 0
0−1,0−1
1 0 }et Γ2={1 0
0 1 ,1 0
0−1,−1 0
0−1,−1 0
0 1 }.
sont des sous-groupes de GL2(R). Sont-ils isomorphes `a C4? `a V?
Exercice. Montrer que, dans l’ensemble Z/5Z, le sous-ensemble {1,2,3,4}est un groupe pour la multiplication.
Est-il isomorphe `a C4ou `a V? Mˆeme question pour le sous-ensemble {1,3,5,7}de Z/8Z.
1.3 Groupes cycliques.
D´
efinition. Un groupe fini est dit cyclique s’il est engendr´e par un ´el´ement.
Remarques.
1. Soit Gun groupe fini d’ordre n. Dire que Gest cyclique signifie qu’il existe dans Gun ´el´ement aqui
est d’ordre n, de sorte que G=⟨a⟩={e, a, a2, . . . , an−1}.
2. Un groupe cyclique est n´ecessairement ab´elien.
3. Pour tout entier n≥1, il existe `a isomorphisme pr`es un et un seul groupe cyclique d’ordre n, not´e Cn.
4. Pour tout entier n≥1, le groupe Cnest isomorphe par exemple au groupe multiplicatif des racines n-
i`emes de l’unit´e dans C, ou encore au groupe Z/nZmuni de l’addition des classes de congruences modulo
n, ou encore `a beaucoup d’autres groupes que l’on rencontre dans divers domaines des math´ematiques.
5. Pour certaines valeurs de n, il existe des groupes ab´eliens non cycliques. On a vu par exemple ci-dessus
que pour n= 4, le groupe de Klein Vn’est pas cyclique puisqu’il ne contient pas d’´el´ements d’ordre
4. Le th´eor`eme suivant montre au contraire que, pour certaines valeurs de n, le groupe Cnest `a
isomorphisme pr`es le seul groupe d’ordre n.
Th´
eor`
eme. Tout groupe fini d’ordre premier est cyclique.
Preuve. Soient pun nombre premier et Gun groupe d’ordre p. Soit aun ´el´ement de Gdistinct du neutre e.
Consid´erons dans Gle sous-groupe ⟨a⟩engendr´e par a. D’apr`es le th´eor`eme de Lagrange, son ordre |a|divise p.
Comme pest premier, on ne peut avoir que deux cas : ou bien |a|= 1, mais alors a=e, ce qui est exclu ; ou bien
|a|=p, mais alors ⟨a⟩est inclus dans Get de mˆeme ordre que G, donc il est ´egal `a G. On conclut que G=⟨a⟩
est cyclique. ⊓⊔
Corollaire. Pour tout nombre premier p, il existe `a isomorphisme pr`es un et un seul groupe d’ordre p,
qui est le groupe cyclique (donc ab´elien) Cp.
Questions. Soit Cn={e, a, a2, . . . , an−1}le groupe cyclique d’ordre n. Peut-on d´eterminer parmi ses
´el´ements ceux qui engendrent Cn(outre abien entendu) ? Peut-on d´eterminer tous ses sous-groupes ?
2