Zum Inhalt springen

Prädikatenlogik/Z/Gruppe/Automorphismengruppe/Aufgabe

Aus Wikiversity

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