Em matemática, mais especificamente em álgebra abstrata, o subgrupo comutador ou subgrupo derivado de um grupo é o subgrupo gerado por todos os comutadores do grupo. Em outras palavras, o comutador de um grupo é o menor subgrupo normal tal que o quociente é abeliano.
Definição Um comutador é um elemento da forma g-1 h-1 g h, representado por [g, h].
O subgrupo comutador é o menor subgrupo que contém todos os comutadores.
Representa-se o comutador do grupo G por G' . Esta definição pode ser repetida um número finito (ou infinito - usando-se a recursão transfinita) de vezes, representando-se: G(0) = G G(n+1) é o comutador de G(n) Gα, para um número ordinal limite α, é a interseção dos Gx para todos x < α
Propriedades Se um grupo G é abeliano, então G' = { e } O subgrupo comutador é um subgrupo normal O quociente G/G' é um grupo abeliano Se N é um subgrupo normal de G, então G/N é abeliano se, e somente se, G' for um subgrupo de N
Categoria:Teoria dos grupos