www.vorhilfe.de
Vorhilfe

Kostenlose Kommunikationsplattform für gegenseitige Hilfestellungen.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Gruppe, Ring, Körper" - Homomorphismus
Homomorphismus < Gruppe, Ring, Körper < Algebra < Algebra+Zahlentheo. < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Gruppe, Ring, Körper"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Homomorphismus: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 11:08 Di 14.12.2010
Autor: Palonina

Eingabefehler: "{" und "}" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)

Aufgabe
Aufgabe 2 (Homomorphismus)

a) Weisen Sie nach, dass folgende Abbildungen (Gruppen-) Homomorphismen sind:

$ \varphi : (D_3, \circ) \to ( R_2, +) $

mit $ \varphi (x) = \begin{cases} \overline{0}, & \mbox{für }x  \in \{d_0, d_1, d_2\} \\ \overline{1}, & \mbox{für }x \in \{s_1, s_2, s_3\} \end{cases} $

$\varphi : (DECK (Rechteck), \circ) \to ( R_3- {\overline{0}}, *) $

mit $ \varphi (x) = \begin{cases} \overline{1}, & \mbox{für }x  \in \{D_0, D_2\} \\ \overline{2}, & \mbox{für }x \in \{S_1, S_3\} \end{cases} $

b) Es seien $(G, \circ), (\tilde{G}, \Box), (\hat{G}, \Diamond) $ Gruppen. Ferner seien $\varphi: G \to \tilde {G}$ und $\ Psi: \tilde{G} \to \hat{G}$ Homomorphismen.

Zeigen Sie: Die Abbildung $\Psi \circ \varphi: G \to \hat{G}$ ist dann auch ein Homomorphismus.



Hallo,

$D_3$ ist die Deckabbildungsgruppe der gleichseitigen Dreiecke, also Drehungen um 0°, 120° und 240° und Spiegelung an den 3 Symmetrieachsen.

Theoretisch weiß ich, was ich in Aufgabe a) nachprüfen muss – dass $ \varphi(a \circ b) = \varphi(a) \Box \varphi(b) $ für alle $a, b \in G$, aber an der Durchführung haperts.\\

1. Fall: Drehungen, zwei Drehungen miteinander verknüpft ergeben wieder eine Drehung,
$\varphi(x_1 \circ x_2) = \varphi( x_3)}= \overline{0} $.\\

Kann ich das so schreiben, da ja zwei Drehungen miteinander verknüpft wieder eine Drehung ergeben?

Auf der anderen Seite erhalte ich $\varphi(x_1) + \varphi(x_2) = \overline{0} + \overline{0}  = \overline{0}. $

Ehe ich mich an Teil b) machen, würde ich mich über eine Rückmeldung über diesen Teil freuen.

Vielen Dank,
Palonina



        
Bezug
Homomorphismus: Antwort
Status: (Antwort) fertig Status 
Datum: 14:51 Di 14.12.2010
Autor: statler

Hallo!

> Aufgabe 2 (Homomorphismus)
>  
> a) Weisen Sie nach, dass folgende Abbildungen (Gruppen-)
> Homomorphismen sind:
>  
> [mm]\varphi : (D_3, \circ) \to ( R_2, +)[/mm]
>  
> mit [mm]\varphi (x) = \begin{cases} \overline{0}, & \mbox{für }x \in \{d_0, d_1, d_2\} \\ \overline{1}, & \mbox{für }x \in \{s_1, s_2, s_3\} \end{cases}[/mm]
>  
> [mm]\varphi : (DECK (Rechteck), \circ) \to ( R_3- {\overline{0}}, *)[/mm]
>  
> mit [mm]\varphi (x) = \begin{cases} \overline{1}, & \mbox{für }x \in \{D_0, D_2\} \\ \overline{2}, & \mbox{für }x \in \{S_1, S_3\} \end{cases}[/mm]
>  
> b) Es seien [mm](G, \circ), (\tilde{G}, \Box), (\hat{G}, \Diamond)[/mm]
> Gruppen. Ferner seien [mm]\varphi: G \to \tilde {G}[/mm] und [mm]\ Psi: \tilde{G} \to \hat{G}[/mm]
> Homomorphismen.
>  
> Zeigen Sie: Die Abbildung [mm]\Psi \circ \varphi: G \to \hat{G}[/mm]
> ist dann auch ein Homomorphismus.

> [mm]D_3[/mm] ist die Deckabbildungsgruppe der gleichseitigen
> Dreiecke, also Drehungen um 0°, 120° und 240° und
> Spiegelung an den 3 Symmetrieachsen.
>  
> Theoretisch weiß ich, was ich in Aufgabe a) nachprüfen
> muss – dass [mm]\varphi(a \circ b) = \varphi(a) \Box \varphi(b)[/mm]
> für alle [mm]a, b \in G[/mm], aber an der Durchführung [mm]haperts.\\[/mm]
>  
> 1. Fall: Drehungen, zwei Drehungen miteinander verknüpft
> ergeben wieder eine Drehung,
>  [mm]\varphi(x_1 \circ x_2) = \varphi( x_3)}= \overline{0}[/mm][mm] .\\[/mm]
>  
> Kann ich das so schreiben, da ja zwei Drehungen miteinander
> verknüpft wieder eine Drehung ergeben?

Du müßtest ja im Prinzip 36 Verknüpfungen überprüfen, was mühselig werden kann. Aber da du weißt, daß die Verknüpfung von Drehungen eine Drehung ergibt, gilt einerseits [mm] \varphi(d_i) \circ \varphi(d_j) [/mm] = 0 + 0 = 0 und andererseits [mm] \varphi(d_i \circ d_j) [/mm] = [mm] \varphi(d_k) [/mm] = 0, also ist der Fall geklärt. Wie sieht das jetzt aus, wenn eine Drehung und eine Spiegelung verknüpft werden?

Gruß aus HH-Harburg
Dieter

Bezug
                
Bezug
Homomorphismus: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 19:21 Di 14.12.2010
Autor: Palonina

Eingabefehler: "{" und "}" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)
Eingabefehler: "{" und "}" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)
Eingabefehler: "{" und "}" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)
Eingabefehler: "{" und "}" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)

Hallo Dieter,

den Fall, dass beides vorkommt, hatte ich in meinen Überlegungen unterschlagen.

Ich hatte nur noch an 2 Spiegelungen gedacht, die einer Drehung um den doppelten eingeschlossenen Winkel entsprechen. Der genaue Drehwinkel ist ja nicht wichtig.

$ \varphi(s_i \circ s_j) = \varphi( d_k)}= \overline{0} $

ist gleich

$ \varphi(s_i) + \varphi( d_j)}= \overline{1}+ \overline{1} = \overline{0}.  $

Wir hatten schon häufiger Aufgaben zu $D_3$ und auch die Verknüpfungstafeln erstellt. Wenn ich eine Drehung mit einer Geradenspiegelung verknüpfe, ergibt sich unabhängig von der Reihenfolge eine Geradenspiegelung.

Also 3. Fall
$ \varphi(s_i \circ d_j) = \varphi( s_k)}= \overline{1} $ und $ \varphi(s_i) + \varphi( d_j)}= \overline{1}+ \overline{0} = \overline{1}.  $

DECK(Rechteck) geht dann analog.

Dann werde ich mich jetzt an den Beweis für b) machen.

Vielen Dank,
Palonina


Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Gruppe, Ring, Körper"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.mathebank.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]