Zum Inhalt springen

Prädikatenlogik/Automorphismus/Gruppe/Aufgabe

Aus Wikiversity

Es sei ein erststufiges Symbolalphabet und sei eine -Struktur. Zeige, dass die Menge der -Automorphismen auf eine Gruppe bildet.