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.