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 :

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,,xn1}.

Propriété : Un groupe cyclique est toujours abélien, c’est-à-dire commutatif.

Théorème : Soit n2.

Z/nZ={ˉ0,ˉ1,¯n1} (que l’on peut noter aussi simplement {0,1,,n1}) 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=ungroupecycliquedordre\rm n\geq 2$.

Les générateurs de G sont les éléments akk 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.