El grupo de de las clases de congruencia así hallado se llama grupo cociente del grupo G según el subgrupo invariante N y se denota G/N .