Bahnformel

aus Wikipedia, der freien Enzyklopädie

Wechseln zu: Navigation, Suche

Die Bahnformel ist ein mathematischer Satz aus der Gruppentheorie. Sie wird oft kurz einprägsam zusammengefasst als: „Die Länge der Bahn ist der Index des Stabilisators.“

Inhaltsverzeichnis

[Bearbeiten] Der Bahnensatz

[Bearbeiten] Formulierung

Sei \ (G, \cdot) eine Gruppe und \circ: G \times M \rightarrow M eine Operation von G auf M. Dann ist für jedes x\in M die Abbildung

G/G_x \rightarrow G\circ x\ ,\ g\cdot G_x \mapsto g \circ x

eine wohldefinierte Bijektion. Dabei bezeichnet

  • G \circ x := \{m \in M\ |\ \exists g \in G mit m = g \circ x\} \subseteq M die Bahn von p,
  • G_x := \{g \in G\ |\ g \circ x = x \} \leq G die Stabilisatoruntergruppe von x und
  • G/G_x := \{A \in \mathcal{P}(G)\ |\ \exists g \in G mit \ A = g\cdot G_x\} \subseteq \mathcal{P}(G) die Menge der (Links-)Nebenklassen von Gx in G.

[Bearbeiten] Beweis

Siehe: Beweis des Bahnensatzes im Beweisarchiv

Aus dem Bahnensatz folgert man die Bahnformel.

[Bearbeiten] Bahnformel

Im Fall |G \circ x| < \infty ist (G:G_x) = |G \circ x|. Dabei bezeichnet \ (G:G_x) := |G/G_x| den Index von Gx in G. Für endliche Gruppen G gilt daher die Bahnformel

\ |G|=|G \circ x|\cdot|G_x|.

[Bearbeiten] Beispiel

Jede Gruppe G operiert auf sich selber vermöge der Konjugationsoperation g \circ x := gxg^{-1}. Die Bahn G \circ x := \{gxg^{-1}\ |\ g \in G\} eines Elements x \in G bezeichnet man als Konjugationsklasse von x und wird mit Gx bezeichnet. Der Stabilisator G_x := \{g \in G\ |\ gxg^{-1} = x\} = \{g \in G\ |\ gx = xg\} heißt Zentralisator von x und wird mit ZG(x) bezeichnet. Die Bahnformel liefert somit für endliche Gruppen G

|{}^Gx| = \frac{|G|}{|Z_G(x)|}.

[Bearbeiten] Siehe auch

[Bearbeiten] Literatur

[Bearbeiten] Weblinks

Von „http://de.wikipedia.org/wiki/Bahnformel“
Persönliche Werkzeuge