 ##  [Schurs Lemma](/de/node/62403) 

 Definition

Eine Aussage über Morphismen zwischen einfachen (irreduziblen) Objekten in Modul- oder Darstellungskategorien: Jeder Homomorphismus zwischen zwei einfachen Moduln ist entweder null oder ein Isomorphismus; der Endomorphismenring eines einfachen Moduls ist ein Divisionsring (Schiefkörper).

 

 

 

 

 

 





## Prinzip

Prinzip

Einfachheit erzwingt Morphismus-Rigidität: Nichtverschwindende Abbildungen zwischen Einfachen müssen invertierbar sein, und alle Endomorphismen eines einfachen Objekts bilden eine Divisionsalgebra, die die internen Symmetrien dieses Einfachen misst.

 

 

 

 

 





## Demonstration

Demonstration

Für komplexe Darstellungen einer endlichen Gruppe ist jeder G-lineare Endomorphismus einer irreduziblen Darstellung skalare Multiplikation (End_G(V) ≅ C) und Zwischenverknüpfungen verschiedener Irreduzibler verschwinden; dagegen kann eine reelle Darstellung quaternionisch sein, sodass End(V) ≅ H gilt.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Den Schur-Lemma auf reduzible oder zerlegbare Moduln anzuwenden (mit der Erwartung, Endomorphismen seien Skalare) führt zu falschen Schlüssen; ebenso ist es falsch, ohne Prüfung der algebraischen Abschlusszeigenschaft oder der Charakteristik stets mit dem Grundkörper zu identifizieren.

 

 

 

 

 





## Konsequenz

Konsequenz

Das Schur-Lemma bildet die Grundlage für Multipizitätszählungen, Orthogonalitätsrelationen von Charakteren und die Klassifikation einfacher Komponenten semisimpler Algebren; es zeigt, wann Verflechtungsoperatoren trivial sind und wann die interne Symmetrie zu einer nichtkommutativen Divisionsalgebra anwächst.

 

 

 

 

## Umkehrung

Umkehrung

Sind Objekte nicht einfach, können Endomorphismenringe große nichtdivisionale Ringe sein, und nichtnullende Homomorphismen zwischen Indekomposablen müssen keine Isomorphismen sein, was zu Erweiterungsklassen und Blockzerlegungen führt.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Setzt voraus, dass die Objekte einfach in einer abelschen oder Modul-Kategorie sind und die Morphismen innerhalb dieser Kategorie betrachtet werden; es macht keine Aussagen für reduzible Objekte oder Kategorien ohne Kerne/Kokerne.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Das Schur-Lemma wird mitunter mit Existenzresultaten wie dem Maschke-Satz verwechselt: Maschke stellt das Vorhandensein einfacher Objekte sicher, während Schur die Morphismen zwischen ihnen einschränkt; die Spannung liegt zwischen Existenz und Rigidität.

 

 

 

 

 





## Synthese

Synthese

Das Schur-Lemma fasst die Rigidität einfacher Objekte zusammen, indem es zeigt, dass nichtnullende Verflechtungen invertierbar sind und Endomorphismen einen Divisionsring bilden; gemeinsam beschränken diese Tatsachen Multipizitäten und Symmetrien in darstellungstheoretischen Zerlegungen.