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