Normalteiler/Charakterisierung/Fakt

Es sei eine Gruppe und eine Untergruppe.

Dann sind folgende Aussagen äquivalent.

  1. ist ein Normalteiler von .
  2. Es ist für alle und .
  3. ist invariant unter jedem inneren Automorphismus von .