0 Daumen
664 Aufrufe

Ich muss zeigen: G ist kommutativ genau dann, wenn die Abbildung σ : G -> G, x -> x^2 := x*x ein Gruppenhomomorphismus ist.

Ist das so richtig? 

Aus der Homomorphismuseigenschaft ergibt sich an obrigem Beispiel erst einmal:
(x∗y)2=x2∗y2
Jetzt betrachte ich die rechte Seite und ihre Inverse:
(y−2∗x−2)∗(x2∗y2)=y−2∗((x−2∗x2)∗y2)=y−2∗(e∗y2)=y−2∗y2=e
Daraus folgt, dass x2∗y2=y2∗x2, was der Kommutativtät entspricht, so dass f ein Homomorphismus ist.

Avatar von

1 Antwort

0 Daumen

Du musst doch 2 Richtungen zeigen:

G kommutativ ==>  σ ist ein Hom.

Das geht wohl so:  Seien x,y aus G ==>  σ (x*y) = (x*y)*(x*y)

wegen assoziativ ist das    =  x*(y*(x*y))

wegen kommutativ              =  x*((x*y)*y)

noch mal assoziativ             =  x*(x*(y*y))

noch mal assoziativ             =  (x*x)*(y*y) =  σ (x)* σ (y)

also ein Hom.

Rückrichtung:  σ ist ein Hom. Da hast du ja einen schönen Anfang:

Aus der Homomorphismuseigenschaft ergibt sich erst einmal:
(x∗y)^2=x^2∗y^2

<=>   (x*y)*(x*y) = (x*x)*(y*y)

 Dann würde ich es aber genauer auf den Punkt bringen:

Multipliziere die Gleichung von rechts mit y^{-1} und verwende

die Assoziativität gibt  (x*y)*x = (x*x)*y

Jetzt von links mit x^{-1} gibt

                                   y*x = x*y

also ist G kommutativ.

Avatar von 289 k 🚀

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community