Prädikatenlogik/Z/Gruppe/Automorphismengruppe/Aufgabe
Erscheinungsbild
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 .