Sous-groupe

[ Definition ]
\(H \subset G\) est un sous groupe de \(G\) si et seulement si:

\(\bullet\)\(1 \in H\)

\(\bullet\)\((x,y) \in H^2 \rightarrow xy \in H\)

\(\bullet\)\(\forall x \in H, \ x^{-1} \in H\)
En savoir plus