Endomorphismus
aus Wikipedia, der freien Enzyklopädie
In der universellen Algebra ist ein Endomorphismus ein Homomorphismus einer mathematischen Struktur A in sich selbst. Ist f zusätzlich ein Isomorphismus, dann wird f auch Automorphismus genannt.
In der Kategorientheorie heißt jeder Morphismus, dessen Quelle und Ziel übereinstimmen, ein Endomorphismus des fraglichen Objektes.
Die Endomorphismen eines Objektes bilden stets ein Monoid, in additiven Kategorien sogar einen (unitären) Ring.
Der Klassifikation der Endomorphismen von Vektorräumen dient die jordansche Normalform.