Eine Gruppe G {\displaystyle {}G} heißt perfekt, wenn sie gleich ihrer eigenen Kommutatoruntergruppe ist, also wenn G = K ( G ) {\displaystyle {}G=K(G)} gilt.
