Die assoziative Algebra aller Endomorphismen eines festen Objekts (typischerweise eines Vektorraums oder Moduls), wobei Addition punktweise definiert ist und Multiplikation Komposition bedeutet; konkret als Matrixalgebra nach Wahl einer Basis realisierbar.

Prinzip

Lineare Selbstabbildungen werden zu einer algebraischen Struktur organisiert, in der Komposition aufeinanderfolgende Anwendung und Addition Überlagerung kodiert, sodass darstellungstheoretische und modulare Aktionen als Modulstrukturen über der Endomorphismenalgebra ausgedrückt werden können.

Demonstration

Für einen endlichdimensionalen Vektorraum V über einem Körper k ist End_k(V) isomorph zur vollen Matrixalgebra M_n(k) nach Wahl einer Basis; die Elemente wirken auf V durch Links-Multiplikation von Spaltenvektoren.

Fehlanwendung

End(V) als kommutativ ansehen oder annehmen, dass punktweise Addition und Komposition derart vertauschen, dass elementweise Division möglich wäre; diese Fehlanwendung ignoriert Nicht-Kommutativität und das Fehlen multiplikativer Inverser für nichtinvertierbare Endomorphismen.

Konsequenz

Die richtige Identifikation einer Endomorphismenalgebra ermöglicht die Klassifikation von Modulzerlegungen, die Beschreibung von Zentralisatoren und die Formulierung von Dualitäten (z. B. liefert Schurs Lemma, dass Endomorphismenringe einfacher Module Divisionringe sind).

Umkehrung

Statt Selbstabbildungen mit Komposition als Multiplikation zu sammeln, betrachte man die Koalgebra linearer Funktionale mit Komultiplikation; Umkehrung der Pfeile führt zur Untersuchung von Koalgebren oder Komodulstrukturen statt Endomorphismenalgebren.

Abgrenzung

Gilt für Endomorphismen eines einzelnen festen Objekts; kodiert nicht automatisch Morphismen zwischen verschiedenen Objekten (diese bilden Hom-Mengen) und schließt zusätzliche Strukturen aus, sofern sie nicht explizit angegeben sind (Topologie, Graduierung, *-Struktur müssen hinzugefügt werden).

Semantische Spannung

Steht im Spannungsverhältnis zur konkreten 'Matrixalgebra': Matrixalgebra ist nach Wahl einer Basis ein Modell von End(V), aber End(V) hebt basisfreie, funktorielle Eigenschaften und intrinsische Modulaktionen hervor.

Synthese

Die Endomorphismenalgebra ist die basisfreie assoziative Algebra linearer Endomorphismen eines Objekts; ihre nichtkommutative Multiplikation durch Komposition und punktweise Addition ordnet interne Symmetrien und Modulaktionen, während matrixielle Darstellungen rechnungstechnischen Zugriff liefern.