- Lemma von Schur
-
Das Lemma von Schur, benannt nach Issai Schur, beschreibt die Homomorphismen zwischen einfachen Moduln. Es besagt, dass jeder solche Homomorphismus außer dem Nullhomomorphismus ein Isomorphismus ist.
Das Lemma von Schur in der modultheoretischen Fassung lautet (R sei ein Ring mit 1):
Es seien M, N einfache R-Linksmoduln. Dann gilt:
- EndR(M) ist ein Schiefkörper.
In der darstellungstheoretischen Fassung lautet das Lemma von Schur (G sei eine endliche Gruppe, K ein Körper):
Es seien irreduzible Darstellungen von G. Dann gilt:
- Es sei mit . Dann gilt: f=0 oder f ist bijektiv (und in diesem Fall sind ρ und τ äquivalent).
- Z(ρ) ist ein Schiefkörper.
Die Aussage 2. gilt auch in der Umkehrung, so dass Z(ρ) ein Schiefkörper ist, genau dann wenn die Darstellung ρ irreduzibel ist.
Aufgrund des Zusammenhangs von Darstellungen von G über K und KG-Moduln besagen beide Fassungen das gleiche.
Spezialfall: Matrixdarstellungen
Hier reduzieren sich die Beweise auf elementare lineare Algebra [1]. Es seien ρ(g) invertierbare -Matrizen, τ(g) invertierbare -Matrizen, und es sei f eine -Matrix. Für die Matrixprodukte gelte
Dann ist der Kern von f ein invarianter Teilraum für die Darstellung ρ(g), denn aus fv = 0 folgt fρ(g)v = 0. Wegen der Irreduzibilität von ρ kann nur der Nullraum oder der ganze Vektorraum sein. Im ersten Fall ist f invertierbar und vermittelt eine Ähnlichkeitstransformation zwischen den Darstellungsmatrizen ρ und τ. Im zweiten Fall ist f die Nullmatrix.
Für praktische Zwecke (Tabellierung) werden die Matrizen einer irreduziblen Darstellung gelegentlich standardisiert. Z. B. dienen bei der Drehgruppe die gemeinsamen Eigenvektoren von Drehungen um eine ausgewählte Achse als Standardbasis. In solchen Fällen sind die Matrizen von irreduziblen Darstellungen ρ(g) und τ(g) entweder inäquivalent oder identisch. Damit wird folgender Zusatz zum Schurschen Lemma relevant:
Aus für alle folgt , d.h. f ist ein komplexes Vielfaches der Einheitsmatrix.
Beweis: Es sei ein (komplexer) Eigenwert von f, und sei der zugehörige Eigenvektor. Mit der vorausgesetzten Gleichung gilt auch
Daher ist der Kern von ein invarianter Teilraum der Darstellung ρ(g) und kann wegen Irreduzibilität nur der Nullraum oder der ganze Raum sein. Da der Eigenvektor zum Kern gehört, bleibt nur die zweite Möglichkeit. Also gilt .
Einzelnachweise
- ↑ M. Chaichian, R. Hagedorn, Symmetries in quantum mechanics: from angular momentum to supersymmetry, Institute of Physics Publishing, Bristol 1998
Siehe auch
Wikimedia Foundation.