Sea formula_6 un subgrupo de formula_19 y sea formula_66 el conjunto cociente de