Ein Isomorphismus eines Objekts zu sich selbst: ein bijektiver struktur-erhaltender Morphismus a: X → X mit einem Inversen a^{-1}, der eine Symmetrie oder Selbstäquivalenz des Objekts darstellt.

Prinzip

Automorphismen sind invertierbare Selbstabbildungen, die die gesamte Struktur des Objekts erhalten; sie bilden unter Komposition eine Gruppe (die Automorphismengruppe) und kodieren interne Symmetrien.

Demonstration

Eine Drehung um 90° eines Quadrats als geometrisches Objekt ist ein Automorphismus; ein bijektiver linearer Operator auf einem Vektorraum ist ein Automorphismus in der Kategorie der Vektorräume.

Fehlanwendung

Jede Bijektion der zugrunde liegenden Menge als Automorphismus bezeichnen, obwohl sie die zusätzliche Struktur (Ringoperationen, Topologie) nicht erhält, oder nicht-invertierbare Endomorphismen als Automorphismen ansehen.

Konsequenz

Automorphismen strukturieren Klassifikationsfragen: Objekte zerfallen oft in Bahnen unter der Automorphismengruppe, Invarianten sind Funktionen, die auf diesen Bahnen konstant sind; Automorphismengruppen messen Symmetrie und Starrheit.

Umkehrung

Ein Endomorphismus ohne Inversen ist kein Automorphismus; Verlust der Invertierbarkeit beseitigt die Gruppenstruktur und viele Schlussfolgerungen über Symmetrie.

Abgrenzung

Automorphismen erfordern die Erhaltung der Struktur, die die Kategorie festlegt (algebraische Operationen, Topologie, Ordnung); dieselbe zugrunde liegende Menge kann weniger Automorphismen besitzen, wenn mehr Struktur vorgeschrieben ist.

Semantische Spannung

Automorphismus versus Permutation: Eine Permutation der zugrunde liegenden Menge ist nur dann ein Automorphismus, wenn sie die Struktur erhält; Spannung besteht auch zwischen inneren und äußeren Automorphismen in algebraischen Kontexten.

Synthese

Ein Automorphismus ist ein invertierbarer Selbstmorphismus, der eine echte Symmetrie des Objekts erfasst: Als Elemente einer Gruppe ordnen sie die Selbstäquivalenzen des Objekts und bestimmen Invarianten und Bahnen.