Ergebnis aus Darstellungstheorie und Modultheorie: Jeder Homomorphismus zwischen einfachen Modulen ist entweder null oder ein Isomorphismus; äquivalent dazu ist der Endomorphismenring eines einfachen Moduls eine Division Algebra, und über algebraisch abgeschlossenen Körpern ist diese Endomorphenalgebra gerade der Körper (Skalare).

Prinzip

Simplicity erzwingt Rigidity: Einfache (irreduzible) Objekte besitzen keine nichttrivialen echten Unterobjekte, daher muss ein nichtnuller Morphismus zwischen Simplen invertierbar sein, und Endomorphismen bilden eine Division Algebra, was Intertwiner zwischen irreduziblen Darstellungen beschränkt.

Demonstration

Beispiel: Für endlichdimensionale irreduzible Darstellungen einer Gruppe oder Algebra über C besagt Schurs Lemma, dass jeder Intertwiner Multiplikation mit einem Skalar ist; konkret ist ein Endomorphismus, der mit der Darstellungsaktion kommutiert, aufgrund der Irreduzibilität eine skalare Matrix.

Fehlanwendung

Anzunehmen, Schurs Lemma liefere skalare Endomorphismen über nicht algebraisch abgeschlossenen Körpern (dort kann die Endomorphenalgebra eine nichttriviale Division Algebra sein), oder es auf reduzible Module anzuwenden, wo viele nichtinvertierbare Endomorphismen existieren.

Konsequenz

Gibt ein starkes Werkzeug zur Klassifikation von Intertwinern und Vielfachheiten: Für Irreduzible über algebraisch abgeschlossenen Körpern zerlegen sich Vielfachheitsräume klar und zentrale Elemente wirken als Skalare, was Zerlegung und Charakterberechnung vereinfacht.

Umkehrung

Für semisimple aber reduzible Module oder direkte Summen einfacher Module wird die Endomorphenalgebra zu einer Matrizenalgebra statt einer Division Algebra und zeigt zahlreiche nichtnullen nichtinvertierbaren Endomorphismen und Intertwiner zwischen isomorphen einfachen Summanden.

Abgrenzung

Gilt für einfache (irreduzible) Module bzw. Darstellungen und die betrachteten Ringe; Aussagen über skalare Endomorphismen benötigen, dass der Grundkörper algebraisch abgeschlossen ist oder zusätzliche Hypothesen über die Endomorphen‑Division Algebra.

Semantische Spannung

Spannung zur allgemeinen Modultheorie: Schurs Lemma postuliert extreme Einfachheit für Irreduzible, während in weiteren Kontexten (indecomposable aber nicht simpel, oder über nichtabgeschlossenen Körpern) Endomorphenalgebren reicher sein können und Mehrdeutigkeiten bei Vielfachheiten erzeugen.

Synthese

Schurs Lemma besagt, dass Einfachheit die Morphismenmöglichkeiten stark einschränkt: Nichtnullabbildungen zwischen einfachen Modulen sind Isomorphismen und die Endomorphismen eines simplen Moduls bilden eine Division Algebra, über algebraisch abgeschlossenen Körpern konkretisiert als Skalare; ein Grundpfeiler der Darstellungstheorie.