Soit G un groupe.
Définition : Une partie A est génératrice de G (c’est-à-dire A engendre G) si le plus petit sous-groupe qui contient A est G tout entier.
Définition : Soit G un groupe muni d’une loi multiplicative d’élément neutre e.
Un élément a de G est d’ordre fini s’il existe un entier k>0 tel que ak=e.
L’ordre de a est le plus petit entier m>0 tel que am=e.
Définitions :
- G est monogène s’il existe a∈G tel que le sous-groupe engendré par a est égal à G c’est-à-dire $\rm G= \{a^n ; n \in \mathbb Z\}=$ (ou G={ka;k∈Z} en notation additive).
a est le générateur de G.
- G est cyclique s’il est monogène et fini.
Remarque : Si G est cyclique d’ordre n : G={e,x,x2,…,xn−1}.
Propriété : Un groupe cyclique est toujours abélien, c’est-à-dire commutatif.
Théorème : Soit n≥2.
Z/nZ={ˉ0,ˉ1,…¯n−1} (que l’on peut noter aussi simplement {0,1,…,n−1}) est l’ensemble des classes d’équivalence.
Z/nZ est un groupe cyclique (où la loi vérifie ˉa+ˉb=¯a+b).
Théorèmes :
- Tout groupe monogène infini est isomorphe à Z.
- Tout groupe monogène fini de cardinal n est isomorphe à Z/nZ.
Théorème : Tout sous-groupe d’un groupe cyclique est cyclique.
Théorème : Un groupe d’ordre n est cyclique si et seulement si pour chaque diviseur d de n, le groupe possède exactement un sous-groupe d’ordre d.
Théorème : Soit $\rm G=ungroupecycliqued′ordre\rm n\geq 2$.
Les générateurs de G sont les éléments ak où k et n sont premiers entre eux.
En particulier, si G=ZnZ, a est un générateur si et seulement si a est premier à n.
Théorème : Soit G un groupe fini d’ordre premier p. Alors :
- G est cyclique.
- Les seuls sous-groupes de G sont {e} et G.
- Tous les éléments de G distincts de e sont des générateurs de G.