Endliches Modell/Elementar äquivalent und isomorph/Z mod 12/Automorphismen/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei , aufgefasst als Gruppe. Definiere entlang von Fakt einen Isomorphismus

startend mit und weiter mit , wobei die funktionale Hülle von und sei, und als gewählt wird, etc. Welche Wahlmöglichkeiten hat man für mit

?