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$.

Question 1 : Pour former un groupe quotient $G/H$, le sous-groupe $H$ doit nécessairement être…