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.