Entonces formula_434 es un grupo, llamado grupo cociente de formula_24 por formula_424, con la operación de grupo dada por"