andere Bezeichnung für Normalteiler.

Es sei G eine Gruppe und H eine Untergruppe. Dann heißt H invariante Untergruppe von G, wenn H Normalteiler von G ist (siehe auch Faktorgruppe).

Ist G abelsch, so ist jede Untergruppe ein Normalteiler. Eine nichtabelsche Gruppe heißt Hamiltonsche Gruppe, wenn in ihr jede Untergruppe Normalteiler ist. Die bekannteste Hamiltonsche Gruppe ist die multiplikative Gruppe der 8 Einheitsquaternionen.