Ein Isomorphismus ist ein bijektiver Homomorphismus zwischen zwei algebraischen Strukturen, dessen Umkehrabbildung ebenfalls ein Homomorphismus ist; er zeigt, dass die beiden Strukturen innerhalb der gewählten Signatur strukturell identisch sind.

Prinzip

Strukturelle Ununterscheidbarkeit: Isomorphe Objekte erfüllen genau dieselben algebraischen Aussagen in der gewählten Sprache, sodass Klassifikation bis auf Isomorphismus die 'Gleichheit' der Struktur und nicht die Gleichheit der zugrundeliegenden Mengen erfasst.

Demonstration

Zwei Vektorräume über demselben Körper mit gleicher Dimension sind isomorph; ein expliziter Isomorphismus sendet eine Basis der einen auf eine Basis der anderen. Graphisomorphie ist ein kombinatorisches Beispiel: eine Bijektion der Knoten, die Adjazenz erhält, realisiert das Isomorphismus.

Fehlanwendung

Isomorphismus mit Gleichheit der zugrundeliegenden Mengen zu verwechseln oder anzunehmen, ein Isomorphismus sei kanonisch ohne Angabe von Wahl (Basen, Ordnungen). Echte Bijektionen, die Operationen nicht erhalten, als Isomorphismen zu bezeichnen, ist falsch.

Konsequenz

Isomorphismen erhalten alle strukturellen Eigenschaften und Invarianten; Klassifikationsprobleme reduzieren sich auf die Beschreibung von Isomorphieklassen und Moduli, und Konstruktionen lassen sich entlang von Isomorphismen verlustfrei übertragen.

Umkehrung

Ein nichtbijektiver Homomorphismus oder eine Bijektion, die Operationen nicht erhält, liefert eine schwächere Relation (Einbettung, Epimorphismus) oder gar keine strukturrelevante Relation; Gleichheit ist stärker als Isomorphie, wenn Identität der Elemente über die Struktur hinaus wichtig ist.

Abgrenzung

Hängt von der Signatur ab: Isomorphismus muss jede primitive Operation und Relation erhalten. Isomorphieklassen, nicht konkrete Repräsentanten, stehen im Mittelpunkt; Automorphismen sind Isomorphismen eines Objekts auf sich selbst und bilden eine Gruppe.

Semantische Spannung

Isomorphismus vs Gleichheit: Isomorphismus setzt Strukturen bis auf Umbenennung gleich, Gleichheit verlangt identische zugrundeliegende Mengen und Operationen; Isomorphismus vs Äquivalenzrelation: Isomorphismus ist eine Äquivalenzrelation, kann aber je nach Kontext durch stärkere Äquivalenzen verfeinert werden.

Synthese

Ein Isomorphismus ist die bijektive strukturtreue Abbildung, die zwei algebraische Objekte bis auf Umbenennung identifiziert und so Invarianten und Klassifikationen bedeutungsvoll macht, indem ununterscheidbare Instanzen zusammengeführt werden.