Iterierte Kommutatorgruppe/Definition

Iterierte Kommutatorgruppe

Es sei $G$ eine Gruppe. Die $i$-te iterierte Kommutatoruntergruppe wird induktiv durch

$K^0(G)=G\text{ und }{K}^i(G)=K(K^{i-1}(G))$

definiert.