Normalteiler/Charakterisierung/Fakt
Erscheinungsbild
Es sei eine Gruppe und eine Untergruppe.
Dann sind folgende Aussagen äquivalent.
- ist ein Normalteiler von .
- Es ist für alle und .
- ist invariant unter jedem inneren Automorphismus von .
Es sei eine Gruppe und eine Untergruppe.
Dann sind folgende Aussagen äquivalent.