En perfekt grupp [1] är en sådan grupp att kartläggningen är en isomorfism av . Denna mappning skickar ett element till en konjugationsautomorfism . Injektiviteten i denna kartläggning är likvärdig med trivialiteten i centrum , och surjektiviteten är likvärdig med det faktum att varje automorfism är intern.
Exempel är symmetriska grupper vid ( Hölders sats ); dessutom har gruppen ett icke-trivialt centrum, och gruppen har en yttre automorfism .
Automorfismer av en enkel grupp bildar en nästan enkel grupp , och automorfismer av en icke- abelian enkel grupp bildar en perfekt grupp.
Inte varje grupp som är isomorf till dess automorfismgrupp är perfekt - det är nödvändigt att isomorfismen utförs av en konjugationskarta. Ett exempel på en grupp för vilken , men som inte är perfekt, är den dihedrala gruppen [2] .