Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Isomorphietypen von Aut(Z,<4>)

Isomorphietypen von Aut(Z,<4>)

Universität / Fachhochschule

Gruppen

Tags: Isormorphiesatz??

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
Agios

Agios aktiv_icon

10:48 Uhr, 24.09.2008

Antworten
Hallo,

Ich sollte alle Isomorphietypen von Aut(Z,<4>) bestimmen. Mit Aut ist der Automorphismus gemeint mit Z die natürlichen zahlen und <4> sollte Z modulo 4 bedeuten. (sorry der Formeleditor funktioniert nicht).

Kann mir jemand sagen, was ich da machen soll. Also was ist mit Isomorphietypen gemeint? Habe in google nichts nützliches gefunden.


Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen."
Online-Nachhilfe in Mathematik
Antwort
anonymous

anonymous

13:07 Uhr, 24.09.2008

Antworten
Hallo,

du meinst, dass (Z,<4>) Z modulo 4 heißt, oder?
Nun, ich würde es so verstehen, dass du dir alle bijektiven Homomorphismen zwischen (Z,<4>) und (Z,<4>) anschaust. Einer davon wäre ja z.B.:
[0][3]
[1][2]
[2][1]
[3][0], wobei [...] die entsprechenden Restklassen sind.

Und so ähnlich müssten ja alle Automorphismen aussehen, nur dass sich die rechte Spalte ändert. Ich schätze mal, Sinn der Sache ist es zu zeigen, dass Aut(Z,<4>) isomorph zur Permutationsgruppe S4 ist (also zur Gruppe zur Vertauschung von 4 Elementen.

Gruß
Tobias
Antwort
anonymous

anonymous

13:11 Uhr, 24.09.2008

Antworten
Hm... obwohl mir grade auffällt, das mein Beispiel oben zwar bijektiv, aber nicht homomorph ist:
F([1]+[2])=F([3])=[0]
aber
F([1])+F([2])=[2]+[1]=[3]

Da müsste man also noch etwas überlegen, welche Permutationen überhautp möglich sind...
Agios

Agios aktiv_icon

17:29 Uhr, 24.09.2008

Antworten
danke für deine antwort.
hmm...gibt es in Z modulo 4 überhaupt einen automorphismus ausser demjenigen der:

[1] auf [1]
[2] auf [2]
[3] auf [3]
[4] auf [4]

abbildet.
scheint mir nicht der fall zu sein, oder?

Antwort
anonymous

anonymous

17:38 Uhr, 24.09.2008

Antworten
Achtung:
In Z modulo 4 gibts nur die Klassen [0], [1], [2], [3]... Es gibt auf jeden Fall noch immer den Automorphismus, der ein Element auf sein Inverses abbildet, also
[0][0]
[1][3]
[2][2]
[3][1]

Dieser ist auch zu sich selber invers...
Antwort
anonymous

anonymous

17:41 Uhr, 24.09.2008

Antworten
Ach, ich bin ja auch blöd! Bei einem Homomorphismus muss das 0-Element immer auf das 0-Element abbilden...
Agios

Agios aktiv_icon

17:52 Uhr, 24.09.2008

Antworten

uuppp sorry...schreibfehler. danke für den hinweis wegen dem inversen.

habe nun aber eine definition für ismomorphiegruppe gefunden.

wobei G:= Aut(Z modulo 4)

d i e I s o m o r p h i e G r u p p e : = { H H i s t G r u p p e u n d H i s o m o r p h z u G }

also damit kann ich nun gar nix anfangen....hast du eine idee

Antwort
anonymous

anonymous

18:26 Uhr, 24.09.2008

Antworten
Hmm... ist etwas ulkig, ich habe auch eine Definition von Isomorphiegruppen (die ist aber komplett anders), die hier wohl auch funktionieren würde, hab aber keine Ahnung, ob das was mit dem Thema zu tun habt. Macht ihr gerade etwas mit Gruppen, die auf Mengen operieren?

Und bist du dir sicher, dass mit Isomorphityp die Isomorphiegruppe gemeint ist?
Agios

Agios aktiv_icon

19:11 Uhr, 24.09.2008

Antworten

ja genau, gruppen und gruppen-operationen ist unser thema. letzte vorlesung war unter anderem über isomorphie-sätze, bahnengleichung etc.

was hast denn du für eine definition.

neeee...also ich bin mir gar nicht sicher bzgl. meiner definition.

Antwort
anonymous

anonymous

19:28 Uhr, 24.09.2008

Antworten
Oh Mist, sorry, hab mich verlesen. Das heißt hier Isotropiegruppe und nicht Isomorphiegruppe...
Antwort
Rentnerin

Rentnerin

14:20 Uhr, 26.09.2008

Antworten
Hallo Agios,

die Automorphismen von Z4 bilden eine Gruppe. Neben der Identität (neutrales Element) gibt es nur noch die Abbildung

f:Z4--Z4

mit f([0])=[0] (klar: neutrales Element),
f([1])=[3],
f([2])=[2]
und f([3])=[1].

Die beiden anderen Möglichkeiten mit f([1])=[0] und f([1])=[2] scheiden aus, da damit keine bijektiven Homomorphismen entstehen (Z4 ist zyklisch und damit muss f([1]) auch Z4 erzeugen).

Damit gibt es genau zwei Automorphismen von Z4; somit ist die Automorphismengruppe von Z4 isomorph zu Z2, da diese Gruppe isomorph zu jeder zweielementigen Gruppe ist.

Gruß Rentnerin

Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.