Da er = = = ()som viser at gir en isomorf avbildning av gruppen . Når en normal undergruppe kalles for en invariant undergruppe, er det fordi den er invariant under konjugasjon med alle andre elementer i gruppen.