El objetivo final es proveer al conjunto de clases de equivalencias definidas por la relación con una estructura de grupo, llamada grupo cociente, que será una imagen homomórfica del grupo original.