Kommutatorgruppe/Definition

Kommutatorgruppe

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