Sous-groupe

[ Definition ]
Soit \((G,*)\) un groupe. Un sous-groupe de \((G,*)\) est une partie \(H\subset G\) telle que
  • L’élément neutre \(e\) de \(G\) appartient à \(H\).

  • On a \(h * h'\in H\) quels que soient \(h,h'\in H\).

  • On a \(h^{-1}\in H\) quel que soit \(h\in H\).

En savoir plus