Si "G" es abeliano, entonces ["G","G"] = {"e"}, el subgrupo trivial.