Strukturen/Isomorphismus/Isomorph/Definition
Isomorphismus
Es sei ein erststufiges Symbolalphabet und und seien -Strukturen. Eine bijektive Abbildung
heißt -Isomorphismus, wenn sowohl als auch die Umkehrabbildung ein -Homomorphismus ist.
Es sei ein
erststufiges Symbolalphabet
und
und
seien
-Strukturen.
Eine
bijektive Abbildung
heißt
-Isomorphismus,
wenn sowohl
als auch die
Umkehrabbildung
ein
-Homomorphismus
ist.