En teoría de grupos, dado un grupo G y un subgrupo normal N de G, el grupo cociente o grupo factor de G sobre N es, intuitivamente, el grupo que "colapsa" el grupo normal N al elemento neutro. El grupo cociente se denota por G/N, lo que normalmente se lee en español como "G sobre N".