Zu einer Gruppe G {\displaystyle {}G} heißt die von allen Kommutatoren a b a − 1 b − 1 {\displaystyle {}aba^{-1}b^{-1}} , a , b ∈ G {\displaystyle {}a,b\in G} , erzeugte Untergruppe die Kommutatorgruppe von G {\displaystyle {}G} . Sie wird mit K ( G ) {\displaystyle {}K(G)} bezeichnet.
