Cet article est une ébauche concernant l’algèbre.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
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 le sous-groupe H soit normal, c'est-à-dire que les classes à droite soient égales aux classes à gauche (gH = Hg).
Étant donné un élément g de G, nous définissons la classe à gauche gH = {gh | h ∈ H}. Comme g possède un élément symétrique, l'ensemble gH a le même cardinal que H. De plus, tout élément de G appartient à exactement une seule classe à gauche de H ; les classes à gauche sont les classes d'équivalence de la relation d'équivalence définie par g1 ~ g2 si et seulement si g1–1g2 ∈ H. Le nombre de classes à gauche de H est appelé l'indice de H dans G et est noté . Dans le cas d'un groupe fini, le théorème de Lagrange sur la cardinalité des sous-groupes, et la formule des classes permettent de voir que cet indice est fini et est un diviseur de l'ordre du groupe G.
Les classes à droite sont définies de manière analogue : Hg = {hg | h ∈ H}. Elles sont aussi les classes d'équivalence pour une relation d'équivalence convenable et leur nombre est aussi égal à .
Si pour tout g ∈ G, gH = Hg, alors le sous-groupe H est dit normal. Dans ce cas (et dans ce cas seulement), la loi de groupe de G est compatible avec ~, ce qui permet de définir une multiplication sur les classes par
( g 1 H ) ⋅ ( g 2 H ) = ( g 1 g 2 ) H {\displaystyle (g_{1}H)\cdot (g_{2}H)=(g_{1}g_{2})H} .Cela donne à l'ensemble quotient une structure de groupe ; ce groupe est appelé groupe quotient de G par H (ou parfois groupe des facteurs) et est noté G/H. L'application f : G → G/H, g ↦ gH est alors un morphisme de groupes. L'image directe f(H) n'est constituée que de l'élément neutre de G/H, à savoir la classe eH = H. L'application f est appelée morphisme canonique ou projection canonique.
Les sous-quotients d'un groupe G sont par définition les quotients de sous-groupes de G. Les sous-groupes de quotients de G en font partie.
On peut caractériser les groupes quotients par la propriété fondamentale suivante :
Soit f : G → G' un morphisme de groupes. Soit H le noyau de f. Alors H est distingué et f se « factorise » en un morphisme injectif f : G/H → G' tel que f ∘ p = f, où p est la projection de G sur G/H.
D'après Bourbaki, c'est chez Jordan que la notion de groupe quotient apparaît pour la première fois.
L'expression « quotient des groupes G et H » a été introduite en 1889 par Otto Hölder, qui proposait la notation G|H .