Prädikatenlogik/Z/Gruppe/Automorphismengruppe/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

von .
Eine Lösung erstellen