L`ensemble des classes à gauche d`un groupe G suivant un sous-groupe H est noté G/H. Il est naturellement muni d`une action à gauche de G, qui est transitive. - L`ensemble des classes à droite d`un groupe G suivant un sous-groupe H est noté HG. Il est défini de façon analogue et vérifie ...