Se trata del grupo cociente formula_27, donde formula_28 es el menor subgrupo normal de formula_5 que contiene a formula_30, llamado clausura normal de formula_30 (la clausura normal existe, y no es más que el conjunto generado por la clase de conjugación formula_32).