En
théorie des groupes, les
classes à gauche d'un
groupe G suivant un sous-groupe H sont les parties de
G de la forme
gH avec
g élément de
G, où
gH désigne l'ensemble des éléments
gh quand
h parcourt
H. Elles constituent les classes d'une
relation d'équivalence sur
G, donc forment une
partition de
G. On peut les voir aussi comme les orbites de l'
action à droite de
H sur
G, par translations par les
symétriques des éléments de
H.