Es sei G {\displaystyle {}G} eine Gruppe, dann heißt die von
erzeugte Gruppe die Kommutatoruntergruppe [ G , G ] {\displaystyle {}[G,G]} von G {\displaystyle {}G} .