Test : Groupe quotient (Définition)
Soit $G$ un groupe et $H$ un sous-groupe de $G$. Le groupe quotient $G/H$ est l’ensemble des classes latérales à gauche $gH = \{gh \mid h \in H\}$, muni d’une loi de composition bien définie.
Condition cruciale : Le groupe quotient n’est défini comme groupe que si $H$ est un sous-groupe normal (ou distingué) de $G$, noté $H \triangleleft G$.
- $H$ est normal si : $\forall g \in G, gH = Hg$.
- La loi de composition est : $(aH) * (bH) = (ab)H$.
