Générateurs d'un groupe
Soit $G$ un groupe. On dit qu'une partie $A$ de $G$ est génératrice de $G,$ ou engendre $G,$ si le plus petit sous-groupe de $G$ qui contient $A$ est $G$ tout entier. Autrement dit, $A$ engendre $G$ si, pour tout $g\in G$, il existe $n\in\mathbb N$ et $a_1,\dots,a_n\in A$ tel que $g=a_1\cdots a_n$. On dit alors que :
- $G$ est monogène s'il est engendré par un seul élément, et cyclique si en plus il est fini. $\mathbb Z$ est monogène, et $\mathbb Z/n\mathbb Z$ est cyclique.
- $G$ est de type fini s'il est engendré par un nombre fini d'éléments. $\mathbb Z^2$, l'anneau des entiers de Gauss $\{a+bi:\ a,b\in\mathbb Z\}$, sont des exemples de groupes de type fini qui ne sont ni monogènes, ni finis.
Recherche alphabétique
Recherche thématique