Dans l'étude des
groupes, le
quotient d'un groupe est une opération classique permettant la construction de nouveaux groupes à partir d'anciens. À partir d'un groupe
G et d'un
sous-groupe H de
G, on peut définir une loi de groupe sur l'ensemble
G/
H des
classes de G suivant H, à condition que
H soit stable par les
automorphismes intérieurs de
G, c'est-à-dire que les classes latérales droites soient égales aux classes latérales gauches (
gH = Hg). Un tel sous-groupe est appelé
sous-groupe normal ou
sous-groupe distingué.