##  [Isomorphismus](/de/node/60438) 

 Definition

Eine bijektive Abbildung zwischen zwei mathematischen Objekten, die die relevante Struktur (Operationen, Relationen oder ausgezeichnete Elemente) erhält und deren Umkehrabbildung die Struktur ebenfalls erhält; sie identifiziert die Objekte hinsichtlich der betrachteten Struktur als gleich.

 

 

 

 

 

 





## Prinzip

Prinzip

Zwei Objekte gelten in einem gegebenen formalen Rahmen als äquivalent, wenn eine Bijektion existiert, die mit den strukturdefinierenden Operationen oder Relationen kommutiert, sodass alle strukturformulierten Eigenschaften korrespondieren.

 

 

 

 

 





## Demonstration

Demonstration

In der Gruppentheorie ist die Abbildung f: Z4 → {1,a,a^2,a^3} mit k (mod 4) ↦ a^k ein Isomorphismus: sie ist bijektiv und f(k+l)=f(k)f(l), also wird die Gruppenoperation erhalten und die Umkehrabbildung erhält ebenfalls die Struktur.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Eine beliebige Bijektion der zugrunde liegenden Mengen als Isomorphismus zu bezeichnen, ohne die Erhaltung der definierenden Struktur zu prüfen — etwa willkürlich Elemente zweier Ringe paaren und Ringisomorphie behaupten — ignoriert das Zusammenspiel von Addition und Multiplikation.

 

 

 

 

 





## Konsequenz

Konsequenz

Existiert ein echtes Isomorphismus, so entsprechen alle strukturellen Aussagen, die im Rahmen der Struktur formulierbar sind (Gleichungen, Ordnungsrelationen, homologische Invarianten), genau zwischen den Objekten; Konstruktionen und Beweise lassen sich über die Abbildung übertragen.

 

 

 

 

## Umkehrung

Umkehrung

Eine Bijektion, die die Struktur nicht erhält — etwa eine Bijektion zwischen Gruppen, die das Gruppenlaw nicht respektiert — demonstriert Nicht-Isomorphie trotz Eins-zu-eins-Korrespondenz.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Gilt innerhalb einer festgelegten Kategorie oder Signatur: Was als strukturerhaltend zählt, hängt von den gewählten Operationen und Relationen ab. Ein Isomorphismus als Mengen ist nicht notwendigerweise ein Isomorphismus als Gruppen, topologische Räume oder differenzierbare Mannigfaltigkeiten.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Isomorphismus steht im begrifflichen Spannungsfeld zur bloßen Bijektion und zu schwächeren Äquivalenzen (Homomorphismus, Einbettung); die Frage ist, ob man strukturelle Gleichheit (Isomorphismus) oder eine schwächere Entsprechung verlangt.

 

 

 

 

 





## Synthese

Synthese

Ein Isomorphismus ist die bijektive, strukturerhaltende Abbildung (mit strukturerhaltender Umkehrabbildung), die zwei mathematische Objekte hinsichtlich der gewählten Struktur als gleich ausweist.