Subnormalteiler
In der Gruppentheorie wird eine Untergruppe S {\displaystyle S} einer Gruppe G {\displaystyle G} als Subnormalteiler (oder subnormale Untergruppe) bezeichnet, falls eine Subnormalreihe von G {\displaystyle G} nach S {\displaystyle S} existiert, das heißt, falls es eine endliche Kette S = S 0 {\displaystyle S=S_{0}} ≤ … ≤ S k = G {\displaystyle S_{k}=G} von Untergruppen von G {\displaystyle G} gibt, so dass jeweils S i {\displaystyle S_{i}} Normalteiler von S i + 1 {\displaystyle S_{i+1}} ist. Subnormalteiler wurden – noch unter der Bezeichnung nachinvariante Untergruppe – erstmals von Helmut Wielandt in seiner 1939 erschienenen Habilitationsschrift Eine Verallgemeinerung der invarianten Untergruppen betrachtet. Wielandt konnte unter anderem zeigen, dass in endlichen Gruppen das Erzeugnis zweier Subnormalteiler stets wieder subnormal ist, die Subnormalteiler also einen Verband bilden. Der Begriff des Subnormalteilers ist insofern eine Verallgemeinerung des Begriffs des Normalteilers, als ein Subnormalteiler nicht unbedingt normal in der ganzen Gruppe sein muss. Jeder Normalteiler ist aber stets ein Subnormalteiler.
In der Gruppentheorie wird eine Untergruppe einer Gruppe als Subnormalteiler (oder subnormale Untergruppe) bezeichnet, falls eine Subnormalreihe von nach existiert, das heißt, falls es eine endliche Kette ≤ … ≤ von Untergruppen von gibt, so dass jeweils Normalteiler von ist.
Subnormalteiler wurden – noch unter der Bezeichnung nachinvariante Untergruppe – erstmals von Helmut Wielandt in seiner 1939 erschienenen Habilitationsschrift Eine Verallgemeinerung der invarianten Untergruppen betrachtet. Wielandt konnte unter anderem zeigen, dass in endlichen Gruppen das Erzeugnis zweier Subnormalteiler stets wieder subnormal ist, die Subnormalteiler also einen Verband bilden.
Der Begriff des Subnormalteilers ist insofern eine Verallgemeinerung des Begriffs des Normalteilers, als ein Subnormalteiler nicht unbedingt normal in der ganzen Gruppe sein muss. Jeder Normalteiler ist aber stets ein Subnormalteiler.
Beispiel
[Bearbeiten | Quelltext bearbeiten]Die von einer Spiegelung erzeugte Untergruppe der symmetrischen Gruppe ist ein Normalteiler der Kleinschen Vierergruppe , welche wiederum normal in liegt. ist also Subnormalteiler von , allerdings kein Normalteiler, da nicht in liegt.
Literatur
[Bearbeiten | Quelltext bearbeiten]- Helmut Wielandt: Eine Verallgemeinerung der invarianten Untergruppen. In: Mathematische Zeitschrift 45 (1939), S. 209–244.