Sous-groupe

[ Definition ]
Soit \((G,*)\) un groupe. Un sous-groupe de \(G\) est une partie \(H\) de \(G\) vérifiant les trois conditions suivantes
  • \(e_G\in H\),

  • \(h\star k \in H\) pour tous les \(h,k\in H\),

  • \(h^{-1}\in H\) pour tous les \(h\in H\).

En savoir plus