Strukturen/Isomorphismus/Isomorph/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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.