Kommutatorgruppe/Definition

Kommutatorgruppe

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