www.vorkurse.de
Ein Projekt von vorhilfe.de
Die Online-Kurse der Vorhilfe

E-Learning leicht gemacht.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Teams · Forum · Wissen · Kurse · Impressum
Forenbaum
^ Forenbaum
Status Mathe-Vorkurse
  Status Organisatorisches
  Status Schule
    Status Wiederholung Algebra
    Status Einführung Analysis
    Status Einführung Analytisc
    Status VK 21: Mathematik 6.
    Status VK 37: Kurvendiskussionen
    Status VK Abivorbereitungen
  Status Universität
    Status Lerngruppe LinAlg
    Status VK 13 Analysis I FH
    Status Algebra 2006
    Status VK 22: Algebra 2007
    Status GruMiHH 06
    Status VK 58: Algebra 1
    Status VK 59: Lineare Algebra
    Status VK 60: Analysis
    Status Wahrscheinlichkeitst

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
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Lineare Abbildungen" - Isomorph
Isomorph < Abbildungen < Lineare Algebra < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Abbildungen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Isomorph: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 10:40 So 25.11.2012
Autor: Expo

Aufgabe
Sind die folgenden Gruppen G und H isomorph?
(1) G = [mm] \{\pi \in S_n | \pi (1)=1}, [/mm] H=S_(n-1) für alle n [mm] \in [/mm] N, n> 1
(2) G = [mm] S_2 [/mm] x [mm] S_2 [/mm] und H = <(1 2 3 4)> [mm] \subset S_4; [/mm]

Guten Tag,
Ich weis nicht wie ich diese Aufgabe angehen soll. Um zu zeigen das das zwei Gruppen isomorph sind muss ich eine Homomorphismus finden, wobei die Funktion bijektiv ist.
Glaube das (1) isomorph ist habe aber noch keine Funktion gefunden.
Die zweite Teil Aufgabe ist nach meiner Vermutung kein kein  isomorph, aber wie zeige ich dies?
Ich müsste ja beweisen das es keinen bijktiven  Homomorphismus gibt.

Danke


        
Bezug
Isomorph: Antwort
Status: (Antwort) fertig Status 
Datum: 11:20 So 25.11.2012
Autor: hippias


> Sind die folgenden Gruppen G und H isomorph?
>  (1) G = [mm]\{\pi \in S_n | \pi (1)=1},[/mm] H=S_(n-1) für alle n
> [mm]\in[/mm] N, n> 1
>  (2) G = [mm]S_2[/mm] x [mm]S_2[/mm] und H = <(1 2 3 4)> [mm]\subset S_4;[/mm]

>  Guten
> Tag,
>  Ich weis nicht wie ich diese Aufgabe angehen soll. Um zu
> zeigen das das zwei Gruppen isomorph sind muss ich eine
> Homomorphismus finden, wobei die Funktion bijektiv ist.
>  Glaube das (1) isomorph ist habe aber noch keine Funktion
> gefunden.

Tip: Wegen [mm] $\pi(1)= [/mm] 1$ kann man [mm] $\pi$ [/mm] auf die Menge [mm] $\{2,\ldots,n\}$ [/mm] einschraenken. Ist die Einschraenkung auch eine Permutation der kleineren Menge? Versuche dies auf Dein Problem umzumuenzen.

>  Die zweite Teil Aufgabe ist nach meiner Vermutung kein
> kein  isomorph, aber wie zeige ich dies?
>  Ich müsste ja beweisen das es keinen bijktiven  
> Homomorphismus gibt.

Richtig. Ueberlege Dir Eigenschaften, die unter Isomorphismen erhalten bleiben, aber nicht beide Gruppen haben. Z.B. die Ordnung von Elementen.

>  
> Danke
>  


Bezug
                
Bezug
Isomorph: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 11:48 So 25.11.2012
Autor: Expo


>  Tip: Wegen [mm]\pi(1)= 1[/mm] kann man [mm]\pi[/mm] auf die Menge
> [mm]\{2,\ldots,n\}[/mm] einschraenken. Ist die Einschraenkung auch
> eine Permutation der kleineren Menge? Versuche dies auf
> Dein Problem umzumuenzen.

Ja,  [mm]\{2,\ldots,n\}[/mm] ist eine Permutation der kleineren Menge.
Also muss f(x) =(h 1) ° a (wobei h das element auf welches 1 in a abbildet) sein.
Wobei dieser Homophismus nicht bijktiv ist.



> >  Die zweite Teil Aufgabe ist nach meiner Vermutung kein

> > kein  isomorph, aber wie zeige ich dies?
>  >  Ich müsste ja beweisen das es keinen bijktiven  
> > Homomorphismus gibt.
>  Richtig. Ueberlege D....

[mm] S_2 xS_2 [/mm] ist abelsch ABER <1234> nicht,  das reicht noch nicht als beweis oder ?


Bezug
                        
Bezug
Isomorph: Antwort
Status: (Antwort) fertig Status 
Datum: 12:39 So 25.11.2012
Autor: Teufel

Hi!

Zur 1.)
Also [mm] S_{n-1} [/mm] sind ja alle Permutationen auf [mm] \{1,...,n-1\}. [/mm] Das Ding ist isomorph zu [mm] \tilde{S}_{n-1}, [/mm] was die Permutationen auf [mm] \{2,...,n\} [/mm] sein sollen. Schau mal die Abbildung an, die ein [mm] \sigma\in\tilde{S}_{n-1} [/mm] einfach auf eine Permutation in [mm] S_n [/mm] schickt, die die 1 fest lässt und mit den Elementen [mm] $2,\ldots,n$ [/mm] das gleich macht wie [mm] \sigma. [/mm] Mit der Notation fällt es dir vielleicht leichter alles zu zeigen.

Zur 2.)
Doch, beide Gruppen sind abelsch. Bestimme mal die Ordnungen von ein paar Elementen, vielleicht fällt dir dann etwas auf.

Bezug
                                
Bezug
Isomorph: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 13:18 So 25.11.2012
Autor: Expo


> Hi!
>  
> Zur 1.)
>  Also [mm]S_{n-1}[/mm] sind ja alle Permutationen auf [mm]\{1,...,n-1\}.[/mm]
> Das Ding ist isomorph zu [mm]\tilde{S}_{n-1},[/mm] was die
> Permutationen auf [mm]\{2,...,n\}[/mm] sein sollen. Schau mal die
> Abbildung an, die ein [mm]\sigma\in\tilde{S}_{n-1}[/mm] einfach auf
> eine Permutation in [mm]S_n[/mm] schickt, die die 1 fest lässt und
> mit den Elementen [mm]2,\ldots,n[/mm] das gleich macht wie [mm]\sigma.[/mm]

Ok alos F(x)= [mm] \sigma\in\tilde{S}_{n-1} °\pmat{ 1 & 2 & 3 .... & n \\ 1 & \sigma(2) & \sigma(3).... & \sigma(n) } [/mm]  
Aber ist diese funtion bijektiv ?

> Zur 2.)
>  Doch, beide Gruppen sind abelsch. Bestimme mal die
> Ordnungen von ein paar Elementen, vielleicht fällt dir
> dann etwas auf.

Ich habe etwas gegoogelt und die Ordnung von Gruppen elementen haben wir noch nicht behandelt.


Bezug
                                        
Bezug
Isomorph: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 13:21 So 25.11.2012
Autor: Expo


>
> Ok alos F(x)= [mm]\sigma\in\tilde{S}_{n-1} [/mm] °  [mm] \pmat{1 & 2 & 3 .... & n \\ 1 & \sigma(2) & \sigma(3).... & \sigma(n) }[/mm]
>  


Bezug
                                        
Bezug
Isomorph: Antwort
Status: (Antwort) fertig Status 
Datum: 13:25 So 25.11.2012
Autor: Teufel

Ja, die Abbildung ist bijektiv. Du kannst ja mal versuchen Injektivität und Surjektivität getrennt zu zeigen (obwohl du streng genommen nur eines von beiden bräuchtest). Wenn es irgendwo hakt, frag nochmal nach.

Zur 2. Aufgabe: Ok, dann vielleicht so: $<(1 2 3 4)>$ ist ja zyklisch. Ist [mm] S_2\times S_2 [/mm] auch zyklisch?

Bezug
                                                
Bezug
Isomorph: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 13:45 So 25.11.2012
Autor: Expo


> Zur 2. Aufgabe: Ok, dann vielleicht so: [mm]<(1 2 3 4)>[/mm] ist ja
> zyklisch. Ist [mm]S_2\times S_2[/mm] auch zyklisch?

nein da sie nicht aus einem einzelnen Element erzeugt wird Element.



Bezug
                                                        
Bezug
Isomorph: Antwort
Status: (Antwort) fertig Status 
Datum: 13:50 So 25.11.2012
Autor: Teufel

Genau. Und eine zyklische Gruppe kann nicht isomorph zu einer nicht-zyklischen Gruppe sein.

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Lineare Abbildungen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.vorkurse.de
[ Startseite | Mitglieder | Teams | Forum | Wissen | Kurse | Impressum ]