Prädikatenlogik/Z/Gruppe/Automorphismengruppe/Aufgabe

Es sei ${}S=\{0,+\}$ und ${}\mathbb {Z}$ sei versehen mit der natürlichen ${}S$-Interpretation. Bestimme die ${}S$-Automorphismengruppe

von ${}\mathbb {Z}$.

Eine Lösung erstellen