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

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

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

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

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

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

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

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

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.