Es sei G{\displaystyle {}G} eine Gruppe. Die i{\displaystyle {}i}-te iterierte Kommutatoruntergruppe wird induktiv durch
definiert.