Sous-groupe engendré par \(X\)

[ Definition ]
Soit \(G\) un groupe et \(X\) une partie de \(G\). On note \(<X>\) et on appelle sous-groupe engendré par \(X\) la partie de \(G\) formée de tous les produits d’éléments de \(X\) et de leurs inverses (par convention on pose \(<X>=\{e_G\}\) si \(X\) est vide).
En savoir plus