1. Concernant le sous-groupe engendré par une partie non vide d’un groupe :
Il est nécessairement contenu dans tout sous-groupe contenant la partie considérée. · Il est formé de produits finis d’éléments de la partie et de leurs inverses. · Il constitue le plus petit sous-groupe contenant la partie considérée.
Explication
Le sous-groupe engendré regroupe les produits finis d’éléments de la partie et de leurs inverses, et c’est le plus petit sous-groupe qui la contient. Il est donc inclus dans tout sous-groupe contenant cette partie. L’intersection concerne une famille de sous-groupes déjà construits, tandis que les inverses peuvent intervenir dans les produits.