En realidad existen subgrupos de un grupo formula_1 que cumplen esto mismo sin necesidad de que formula_1 sea abeliano.