El subgrupo conmutador es el menor que verifica esa propiedad, es decir: si formula_6 verifica que formula_7 es abeliano entonces formula_8.