0 Daumen
432 Aufrufe

Aufgabe:

Es seien (G,) (G, \circ) und (H,) (H, *) Gruppen.
(a) Wann heißt eine Abbildung ϕ : GH \phi: G \rightarrow H ein Gruppenhomomorphismus?
(b) Es seien ϕ,ψ : GH \phi, \psi: G \rightarrow H zwei Gruppenhomomorphismen. Zeigen Sie, dass
U : ={gGϕ(g)=ψ(g)} U:=\{g \in G \mid \phi(g)=\psi(g)\}
eine Untergruppe von G G ist.
(c) Es sei G=H=S3 G=H=S_{3} die Gruppe der Permutationen von {1,2,3} \{1,2,3\} . Finden Sie einen Homomorphismus ϕ : S3S3 \phi: S_{3} \rightarrow S_{3} , für den die Untergruppe
{gS3ϕ(g)=g} \left\{g \in S_{3} \mid \quad \phi(g)=g\right\}
genau zwei Elemente enhält.
Hinweis:
Nutzen Sie den Signaturhomomor phismus:
sgn : Sn{1,1},σ(1)linv(σ)∣ \operatorname{sgn}: S_{n} \rightarrow\{-1,1\}, \sigma \mapsto(-1)^{\mid \operatorname{linv(\sigma )|}}
wobei
inv(σ)={(i,j){1,,n}×{1,,n}i<j,σ(i)>σ(j)} \operatorname{inv}(\sigma)=\{(i, j) \in\{1, \ldots, n\} \times\{1, \ldots, n\} \mid \quad i<j, \sigma(i)>\sigma(j)\}


Problem/Ansatz:

Hallo! Wäre mein Lösungsweg hier ansatzweise korrekt?


(a) Eine Abbildung ϕ : GH \phi: G \rightarrow H heißt Gruppenhomomorphismus, wenn sie folgende Eigenschaft erfüllt: ϕ(ab)=ϕ(a)ϕ(b) \phi(a \circ b)=\phi(a) * \phi(b) für alle a,bG a, b \in G

(b) Um zu zeigen, dass U U eine Untergruppe ist, müsste man drei Eigenschaften nachweisen:

Abgeschlossenheit: Für a,bU a, b \in U gilt abU a \circ b \in U
Neutrales Element: eGU e_{G} \in U
Inverse Elemente: Für aU a \in U gilt a1U a^{-1} \in U
Beweis:
Seien a,bU a, b \in U . Dann:
ϕ(ab)=ϕ(a)ϕ(b)=ψ(a)ψ(b)=ψ(ab) \phi(a \circ b)=\phi(a) * \phi(b)=\psi(a) * \psi(b)=\psi(a \circ b)

Also ist abU a \circ b \in U
Für das neutrale Element eG e_{G} :
ϕ(eG)=eH=ψ(eG), also eGU \phi\left(e_{G}\right)=e_{H}=\psi\left(e_{G}\right) \text {, also } e_{G} \in U

Sei aU a \in U . Dann:
ϕ(a1)=[ϕ(a)]1=[ψ(a)]1=ψ(a1) \phi\left(a^{-1}\right)=[\phi(a)]^{-1}=[\psi(a)]^{-1}=\psi\left(a^{-1}\right)

Also ist a1U a^{-1} \in U
Damit ist U U eine Untergruppe von G G .
(c) Für S3 S_{3} könnte man den Signaturhomomorphismus verwenden:
S3 S_{3} hat 6 Elemente: {e,(12),(13),(23),(123),(132)} \{e,(12),(13),(23),(123),(132)\}
Man definiere ϕ : S3S3 \phi: S_{3} \rightarrow S_{3} als:
ϕ(g)={g wenn sgn(g)=1(12)g wenn sgn(g)=1 \phi(g)=\left\{\begin{array}{ll} g & \text { wenn } \operatorname{sgn}(g)=1 \\ (12) \circ g & \text { wenn } \operatorname{sgn}(g)=-1 \end{array}\right.

Die Menge {gS3ϕ(g)=g} \left\{g \in S_{3} \mid \phi(g)=g\right\} besteht dann aus genau zwei Elementen:
dem neutralen Element e e
der 3-Zykel (123)
Dies funktioniert, weil:
Für gerade Permutationen (sgn(g)=1) (\operatorname{sgn}(g)=1) : nur e e und (123) (123) werden auf sich selbst abgebildet
Für ungerade Permutationen (sgn(g)=1 (\operatorname{sgn}(g)=-1 ): keine wird auf sich selbst abgebildet

Vielen dank!

Avatar von

2 Antworten

0 Daumen

bei a fehlt, dass ein Homomorphismus f auch noch die Eigenschaft f(e) = e für das neutrale Element e erfüllen muss.

b und c sind richtig

Avatar von

Je nach Definition, die von der jeweiligen Vorlesung abhängt, wird f(eG)=eHf(e_G)=e_H nicht explizit gefordert. Dies folgt im Falle von Gruppen ohnehin bereits aus der von sopha08 genannten Eigenschaft.

Und c) ist nicht richtig gelöst:

1. Die angegebene Abbildung ϕ\phi ist kein Gruppenhomomorphismus.

2. Die Menge {gS3    ϕ(g)=g}\{g\in S_3\;|\;\phi(g)=g\} ist drei-elementig statt zwei-elementig..

Gerade erst gesehen, dass tobit schon entsprechend geantwortet hat.


Aber doppelt hält vielleicht besser :-).


(c) kann nicht stimmen, weil (123) die Ordnung 3 hat und somit nicht in einer 2-elementigen Untergruppe ein kann.

Für Gruppenhomomorphismen f : GHf:\,G\rightarrow H gilt f(eG)=eHf(e_G) = e_H automatisch.

0 Daumen

(a):

Das ist korrekt.

(b):

Deine Antwort ist korrekt aber ewas umständlich, weil du nochmal die Gruppenaxiome nachweisen willst. Es reicht hier aus, ein Untergruppen-Kriterium anzuwenden:

Es reicht zu zeigen: g,hUgh1Ug,h \in U \Rightarrow gh^{-1} \in U

Du brauchst also nur die erste Zeile deines Beweises zu (b) leicht anpassen und bist schon fertig.

(c): (korrigierte Version. Thanks @tobit)

Hier kannst du wie folgt "rückwärts" rangehen:
Wir wissen schon von (b), dass U={gS3ϕ(g)=g}U=\{g\in S_3\:|\: \phi(g) = g\} eine Untergruppe ist.

Da U=2|U|=2 muss gelten: U={e,a}U = \{e, a\} mit a2=ea^2=e.

(Idempotente Elemente (a2=aa^2=a) außer ee gibt es nicht in S3S_3.)

Jetzt kannst du einen Kandidaten für einen Homomorphismus ϕ\phi konstruieren. Dazu nimmst du dir als aa eine Transposition, zum Beispiel: a=(12)a=(12) und setzt:

ϕ(e)=e;ϕ(a)=a\phi(e) = e;\:\phi(a) = a

Der Kern von ϕ\phi muss ein Normalteiler sein und das Bild von ϕ\phi eine Untergruppe. Als Bild bietet sich an:
Im(ϕ)={e,(12)}Tippsgn(S3)\operatorname{Im}(\phi) = \{e,(12)\} \stackrel{Tipp}{\cong }\operatorname{sgn}(S_3)

Daher wählen wir als Kern:
ker(ϕ)=ker(sgn)={e,(123),(132)}\operatorname{ker}(\phi) = \operatorname{ker}(\operatorname{sgn}) = \{e,(123),(132)\}

Damit erhalten wir:
ϕ(g)={eg{e,(123),(132)}(12)g{(12),(13),(23)}\phi(g) = \left\{\begin{array}{cl} e & g \in \{e,(123),(132)\} \\ (12) & g \in \{(12),(13),(23)\} \end{array}\right.

Avatar von 12 k

Auch dieser Vorschlag unter (c) für ϕ\phi ist kein Gruppenhomomorphismus.

Die vorgelegte vollständig richtige Lösung für (b) würde ich nicht als viel zu umständlich kritisieren. Es wird anhand der üblichen Definition einer Untergruppe nachgerechnet, dass eine Untergruppe vorliegt. Die Arbeit mit dem von trancelocation macht nur dann Sinn, wenn dieses Kriterium schon bekannt ist (anderenfalls ist es ziemlich umständlich, erst dieses Kriterium nachzuweisen). Zu beachten ist, dass dann neben der von trancelocation genannten Eigenschaft auch die Nichtleere von UU nachzuweisen ist. Statt drei Punkten sind also bei bei dem von trancelocation vorgeschlagenen Vorgehen nur zwei Punkte nachzuweisen; dafür erfordert einer der beiden Punkte zwei Rechenschritte mehr und es ist mehr erläuternder Text (Verweis auf das angewandte Untergruppenkriterium, eGe_G als Zeuge der Nichtleere von UU) nötig.

@tobit
Richtig. (13)(123) = (12) bricht z. Bsp. die Homomorphie-Eigenschaft.


Ein anderes Problem?

Stell deine Frage