El conjunto de los conmutadores de un grupo "G" no es por lo general un subgrupo, pero genera un subgrupo normal llamado subgrupo de los conmutadores o subgrupo derivado.