Classes à gauche de \(G\) suivant \(H\)

[ Definition ]
Étant donné \(H\) un sous-groupe de \(G\), on définit les classes à gauche de \(G\) suivant \(H\) comme les \(xH\), \(x \in G\), et les classes à droite suivant \(H\) comme les \(Hx\).

On note \(G/H\) l’ensemble des classes à gauche, \(H \setminus G\) l’ensemble des classes à droite.

On note \((G:H)\) le cardinal de \(G/H\) quand celui-ci est fini.
En savoir plus