Prädikatenlogik/Homomorphismus/Verknüpfung/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein erststufiges Symbolalphabet und seien -Strukturen. Zeige folgende Aussagen.

  1. Die Identität

    ist ein Isomorphismus.

  2. Zu einem Isomorphismus

    ist die Umkehrabbildung

    ein Isomorphismus.

  3. Es seien

    und

    Homomorphismen (Isomorphismen). Dann ist auch die Hintereinanderschaltung ein Homomorphismus (Isomorphismus).

Eine Lösung erstellen