Mo Logo [Home] [Lexikon] [Aufgaben] [Tests] [Kurse] [Begleitmaterial] [Hinweise] [Mitwirkende] [Publikationen]
Mathematik-Online-Lexikon:

Bahnenlemma

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z Übersicht
Für eine Gruppe $ G$ sei $ M$ eine $ G-$Menge und $ B$ eine Bahn von $ G$. Weiter sei $ b\in B$.
a)
$ St(b):= \{ g\in G \ ; \ gb=b \}$ ist eine Untergruppe von $ G$. $ St(b)$ heißt Stabilistator von $ b$.
b)
$ B$ ist eine $ G-$Menge isomorph zu $ G/St(b)$. Insbesondere ist, wenn $ B$ endlich ist, die Länge einer Bahn gleich dem Index des Stabilisators in $ G$, d.h.

$\displaystyle \vert B\vert=\vert G:St(b)\vert \,. $

Man beachte, dass insbesondere dann alle Bahnen endlich sind, wenn $ G$ endlich ist.
c)
Sind $ b,b' \in B$, dann existiert ein $ g\in G$ mit

$\displaystyle St(b)=g^{-1}St(b)g \,. $

Stabilisatoren von Elementen aus der gleichen Bahn sind also zueinander konjugiert.
(Autoren: Höfert/Kimmerle)

Erläuterung:

[Verweise]
  automatisch erstellt am 17. 10. 2006