Gegeben ist eine Gruppe G und ein beliebiges aber festes h ∈ G und folgende Abbildung
ψh : G → G, wobei g ↦ h-1 ο g ο h
Zu Zeigen ist, dass ψh ein Isomorphismus ist.
Zum Beweis:
Da ich vorher schon (mit Hilfe der Abbildung g ↦ g ο g gezeigt habe, dass (G, ο) eine abelsche Gruppe sein muss und daher Kommutativität gilt, kann ich doch diese Information auch für diese Teilaufgabe benutzen, oder?
Wenn ja, dann folgt daraus auch, dass ψh ein Homomorphismus sein muss.
Dann fehlt ja nur noch, zu zeigen, dass Bijektivität gilt. Dazu habe ich auch noch eine Frage.
Wenn ich die Kommutativität nutzen kann, dann kann ich mir doch die Abbildungsvorschrift so zusammenbasteln, dass es mir passt, also:
g ↦ h-1 ο g ο h
⇔ g ↦ h-1 ο h ο g
⇔ g ↦ (h-1 ο h) ο g
⇔ g ↦ e ο g
⇔ g ↦ g
Das sieht mir sehr nach einer Identitätsabbildung ist und von der wissen wir, dass sie Bijektiv ist und somit wäre bewiesen, dass ψh ein Homomorphismus ist.
Ich muss nur wissen, ob es nur mir so logisch scheint oder ob die Aufgabe tatsächlich viel zu einfach ist.
Danke für eure Antworten!