Prädikatenlogik/Z/Gruppe/Automorphismengruppe/Aufgabe
Es sei und sei versehen mit der natürlichen -Interpretation. Bestimme die -Automorphismengruppe von .
Es sei
und
sei versehen mit der natürlichen
-Interpretation.
Bestimme die
-Automorphismengruppe
von
.