El estabilizador de cualquier formula_56 es el subgrupo trivial de formula_1, pues formula_67 es el único que cumple formula_68.