Sei ${\displaystyle {}G}$ eine Gruppe, dann heißt die von

${\displaystyle \{ghg^{-1}h^{-1}\,\vert \,g,h\in G\}}$

erzeugte Gruppe die Kommutatoruntergruppe ${\displaystyle {}[G,G]}$ von ${\displaystyle {}G}$.