matheraum.de
Raum für Mathematik
Offene Informations- und Nachhilfegemeinschaft

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Mathe
  Status Schulmathe
    Status Primarstufe
    Status Mathe Klassen 5-7
    Status Mathe Klassen 8-10
    Status Oberstufenmathe
    Status Mathe-Wettbewerbe
    Status Sonstiges
  Status Hochschulmathe
    Status Uni-Analysis
    Status Uni-Lin. Algebra
    Status Algebra+Zahlentheo.
    Status Diskrete Mathematik
    Status Fachdidaktik
    Status Finanz+Versicherung
    Status Logik+Mengenlehre
    Status Numerik
    Status Uni-Stochastik
    Status Topologie+Geometrie
    Status Uni-Sonstiges
  Status Mathe-Vorkurse
    Status Organisatorisches
    Status Schule
    Status Universität
  Status Mathe-Software
    Status Derive
    Status DynaGeo
    Status FunkyPlot
    Status GeoGebra
    Status LaTeX
    Status Maple
    Status MathCad
    Status Mathematica
    Status Matlab
    Status Maxima
    Status MuPad
    Status Taschenrechner

Gezeigt werden alle Foren bis zur Tiefe 2

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
Dt. Schulen im Ausland: Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenGruppe, Ring, KörperHomomorphismus
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Informatik • Physik • Technik • Biologie • Chemie
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.matheraum.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]