ich soll zeigen, dass der Normalisator N_G(H) die größte Untergruppe von G ist, sodass H Notmalteiler ist.
Hierbei ist H Untergruppe von G.
Mein Ansatz:
Definition des Normalisators
g aus G für die gilt gHg(^-1) = H
wenn ich von rechts mit g verknüpfe:
gH = Hg, damit folgt schonmal das H Normalteiler des Normalisators ist. Aber wie zeige ich, das der Normalisator die größte UG ist?