Prädikatenlogik/Z/Gruppe/Automorphismengruppe/Aufgabe

Es sei und sei versehen mit der natürlichen -Interpretation. Bestimme die -Automorphismengruppe von .