Por lo tanto, tenemos una estructura de grupo cociente en formula_186 que coincide con la estructura de formula_116.