tal que cada formula_99 es un subgrupo normal maximal de formula_100 formula_101