Endliches Modell/Keine Funktionssymbole/Elementare Äquivalenz/Isomorphie/Aufgabe

Es sei ${}S$ ein Symbolalphabet ohne Funktionssymbole und sei ${}M$ eine endliche ${}S$-Struktur.

1. Charakterisiere die Automorphismengruppe von ${}M$ mit Hilfe der elementaren Äquivalenzklassen.
2. Beweise Fakt in diesem Fall.

Zur Lösung, Alternative Lösung erstellen