Prädikatenlogik/Automorphismus/Gruppe/Aufgabe
Erscheinungsbild
Es sei ein erststufiges Symbolalphabet und sei eine -Struktur. Zeige, dass die Menge der -Automorphismen auf eine Gruppe bildet.
Es sei ein erststufiges Symbolalphabet und sei eine -Struktur. Zeige, dass die Menge der -Automorphismen auf eine Gruppe bildet.