En matemáticas, el subgrupo conmutador de un grupo "G", es el subgrupo generado por todos los elementos de la forma