Un sous-groupe a une structure de groupe

[ Théorème ]
Si la partie \(H\) est un sous-groupe de \((G, \star)\), alors puisque cette partie est stable pour la loi de composition interne, on peut définir la restriction de la loi \(\star\) à \(H\) qui est une loi de composition interne sur \(H\). Muni de cette loi restreinte, \((H, \star)\) est un groupe.
En savoir plus