Ordnung von Elementen einer Gruppe |
10.12.2009, 19:03 | Lea | Auf diesen Beitrag antworten » | ||
Ordnung von Elementen einer Gruppe Will folgende Aufgabe lösen: Gegeben sei dir Gruppe 1) Bestimme dir Ordnungen aller Elemente von G. Ist G zyklisch? 2) Bestimme alle Untergruppen von G. Also ich weiß Aber weiß nicht wie ich von diesen Elementen die Ordnung bestimmen soll. Kann mir da jemand weiterhelfen? |
||||
10.12.2009, 19:58 | Elvis | Auf diesen Beitrag antworten » | ||
1^1=1 , also ord(1)=1 2^1=2, 2^2=4, 2^3=8, 2^4=16=1 , also ord(2)=4 4^1=4, 4^2=16=1 , also ord(4)=2 Warum ist deiner Meinung nach ? |
||||
10.12.2009, 22:03 | Lea | Auf diesen Beitrag antworten » | ||
Vielen Dank für die Antwort. Aber irgendwie verstehe ich das Prinzip noch nicht so ganz. Also warum ist 2^4=16=1? Ich erkenne zwar dass bei der Ordnung von 2 und der Ordnung von 4 wenn ich sie oft genug potenziere 16 rauskommt und und das 16 kongruent zu 1 modulo 15 ist, aber irgendwie bekomme ich das mit der 7 zum Beispiel nicht ganz hin. Ich glaube habe das Prinzip dahinter noch nicht ganz verstanden. Könnte ich das nochmal erklärt bekommen? Will die anderen ja selbst ausrechnen. Warum ist deiner Meinung nach : Das war mein Fehler. Habe sie vergessen einzutippen. Die 11 gehört natürlich dazu. |
||||
11.12.2009, 18:45 | Elvis | Auf diesen Beitrag antworten » | ||
Tipp: immer modulo 15 rechnen : also ord(7)=4 |
||||
12.12.2009, 12:07 | Lea | Auf diesen Beitrag antworten » | ||
Danke. Damit konnte ich die fehlenden Ordnungen berechnen. Ich muss also die Zahl potenzieren bis ich kongruent 1 modulo 15 herausbekomme und das ist dann meine Ordnung für das Element. Dann habe ich mir Gedanken, darüber gemacht, ob G zyklisch ist. Bin der Meinung, dass G nicht zyklisch ist, da ich kein finde, für das gilt, also G ist gleich, der von a erzeugten Gruppe. Stimmt das und reicht das als Begründung? und zu 2) Mir ist irgendwie nicht klar wie ich alles Untergruppen von G bestimmen kann. Also ich könnte vielleicht durch probieren, welche herausbekommen, aber dann weiß ich ja noch lange nicht ob das alle sind. |
||||
12.12.2009, 12:24 | Elvis | Auf diesen Beitrag antworten » | ||
Teil 1 ist fertig. Wenn es kein Element der Ordnung 8 gibt, ist die Gruppe nicht zyklisch. Zu Teil 2. Du hast schon alle zyklischen Untergruppen bestimmt, als du für jedes Element seine Ordnung berechnet hast. Jede nichttriviale Untergruppe U<G muss die Ordnung 2 oder 4 haben, denn ord(U) | ord (G) = 8 . Da bleibt nicht viel zu tun übrig. Mach ein Hasse-Diagramm, in das du die zyklischen Untergruppen einträgst. Denke zum Schluß noch ein bißchen über Untergruppen der Ordnung 4 nach (kann es außer den zyklischen noch weitere geben ? (Sylow)). P.S. "(Sylow)" kannst du vergessen. ord(G)=8 also ist G selbst die 2-Sylowgruppe. Dass es davon genau eine gibt, ist auch nicht sehr erhellend. |
||||
Anzeige | ||||
|
||||
12.12.2009, 13:06 | Lea | Auf diesen Beitrag antworten » | ||
Also da habe ich nur ein kleines Problem mit. Ich kenne keine Hassediagramme aus der Vorlesung. Aber meine Untergruppen wären doch dann: Die jeweiligen Restklassen von 1,2,4,7,8,11,13,14 oder? Leider kenn ich die Sylow- Sätze auch nicht aus der Vorlesung. Habe sie aber nachgeschlagen und bin wegen dieser Folgerung aus den Sätzen: Sei G eine endliche Gruppe, deren Ordnung von einer Primzahl p geteilt wird. Ist G abelsch, so gibt es nur eine p-Sylowgruppe in G. , der Meinung, dass es keine weitere Untergruppe der Ordnung 4 als die zyklischen gibt. Dass eine Gruppe G in der Form wie hier abelsch ist haben wir nämlich bewiesen. Gibt es sonst noch eine Möglichkeit das zu begründen? |
||||
12.12.2009, 18:21 | Elvis | Auf diesen Beitrag antworten » | ||
Die 2-Sylowgruppe ist wegen die Gruppe G selbst, deshalb bringt uns das nicht weiter. (Deswegen mein post scriptum. Sorry, das war ein Irrweg.) Hasse-Diagramme sind eine wunderbare Erfindung von Helmut Hasse. Er stellt den Untergruppenverband so dar, dass unten die Einheitsgruppe E={1}<G steht, oben die Gruppe G. Dazwischen ordnet man die nichttrivialen Untergruppen von unten nach oben nach aufsteigender Ordnung ord(U) an und verbindet zwei Untergruppen U_1, U_2<G genau dann durch eine Linie, wenn U_1<U_2, also wenn U_1 in U_2 (als Menge) enthalten ist. Weil diese Linienverbindung transitiv ist, muss man nur die direkten Teilmengenbeziehungen darstellen, das macht diesen Graphen sehr übersichtlich. Die Restklassen sind keine Untergruppen von G. Die von diesen Elementen erzeugten Mengen sind zyklische Untergruppen von denen ich gesprochen habe. Diese Untergruppen hast du in Teilaufgabe 1 alle bestimmt, und damit kannst du dir den Untergruppenverband (oder zumindest das meiste davon !) zusammenstellen und im Hassediagramm aufzeichnen. |
||||
12.12.2009, 18:30 | Lea | Auf diesen Beitrag antworten » | ||
Achso ok. Danke.
Also würden mir noch Untergruppen fehlen? |
||||
12.12.2009, 18:40 | Elvis | Auf diesen Beitrag antworten » | ||
Das weiß ich nicht so genau, denn ich bin zu faul, deine Aufgabe 1) vollständig zu rechnen. Wenn du mir die vollständige Lösung zu 1) gibst, baue ich das Hasse-Diagramm und weiß dann, ob der Verband vollständig ist. Vermutlich ja, aber weil ich nicht sicher bin, habe ich die Antwort ein bißchen eingeschränkt. Man kann's auch dann mit Sicherheit wissen, wenn man alle (Isomorphietypen von) Gruppen der Ordnung 8 kennt. |
||||
12.12.2009, 18:50 | Elvis | Auf diesen Beitrag antworten » | ||
Die Gruppen der Ordnung 8 sind (siehe http://elscha.bplaced.net/mathe/Gruppen.pdf) - die zyklische Gruppe - - - die Diedergruppe - die Quaternionengruppe Wir wissen schon jetzt, dass und nicht infrage kommen. Bleiben nur noch 3 Möglichkeiten. |
||||
12.12.2009, 18:54 | Elvis | Auf diesen Beitrag antworten » | ||
Diedergruppe und Quaternionengruppe sind nicht abelsch. |
||||
12.12.2009, 19:07 | Lea | Auf diesen Beitrag antworten » | ||
Hier schonmal meine anderen Lösungen. Den Rest, was du geschrieben hast muss ich mir erst noch genau durchlesen |
||||
12.12.2009, 19:16 | Lea | Auf diesen Beitrag antworten » | ||
Es kann doch nur noch - sein oder? Alles andere passt ja nicht. Aber ich verstehe nicht so ganz, was mir das bringt, wenn ich das weiß. Wie kann ich daraus schließen, dass ich alle Untergruppen gefunden hab? |
||||
12.12.2009, 19:20 | Elvis | Auf diesen Beitrag antworten » | ||
Das passt prima, wir haben ord(1)=1, ord(4,11,14)=2, ord(2,7,8,13)=4 Das sind 3 Elemente der Ordnung 2 und 4 Elemente der Ordnung 4, genau wie es sich für gehört. Wikipedia sagt etwas über die Untergruppen von G hier: http://de.wikipedia.org/wiki/Liste_kleiner_Gruppen Genau wie ich vermutet habe, sind die Untergruppen alle zyklisch, also hast du alles notwendige in Aufgabe 1 berechnet (siehe oben) |
||||
12.12.2009, 19:24 | Lea | Auf diesen Beitrag antworten » | ||
Ok. Ich kann also nur aus dieser Liste schließen, dass ich alles Unterguppen gefunden habe? oder halt aus dem Hasse-diagramm, dass wie ja auch nicht gemacht haben. |
||||
12.12.2009, 19:27 | Elvis | Auf diesen Beitrag antworten » | ||
Ja, das Wissen über die abelschen Gruppen der Ordnung 8 ist notwendig und hinreichend. Nachdem du die Ordnung aller Elemente berechnet hast, musst du jetzt nur noch aufschreiben, welche zyklischen Gruppen sie bilden. Nebenbemerkung : Das Hasse-Diagramm habe ich jetzt fertig. Es passt wie erwartet genau zur . |
||||
12.12.2009, 19:47 | Lea | Auf diesen Beitrag antworten » | ||
Ok. Jetzt muss ich nur mal schauen, wie ich das mache, da ich das Wissen laut Vorlesung nicht habe. Dann habe ich nur noch eine Frage: Warum steht den bei Wikipedia unter echte Untergruppen der Ordnung 8 bei : Dass es 2 Untergruppen des Typs 3 des Typs und gibt? |
||||
12.12.2009, 20:04 | Elvis | Auf diesen Beitrag antworten » | ||
Super, du hast das besser verstanden als ich. Weil hast du auch noch die als nichtzyklische Untergruppe in . Das Dingens heißt auch "Kleinsche Vierergruppe". |
||||
12.12.2009, 20:08 | Lea | Auf diesen Beitrag antworten » | ||
Aber dann habe ich immer noch mehr als bei wikipedia stehen. Ich nämlich 4 der Ordnung 4 und 3 der Ordnung 2. Und da steht was anderes. |
||||
13.12.2009, 14:01 | Elvis | Auf diesen Beitrag antworten » | ||
Welche Elemente haben deine zyklischen Gruppen der Ordnung 4 ? |
||||
13.12.2009, 14:23 | Lea | Auf diesen Beitrag antworten » | ||
Meine zyklischen Untergruppen der Ordnung 4 sind: und das gleiche nur anstatt die 2, die 7, 8, und die 13. |
||||
13.12.2009, 14:29 | Elvis | Auf diesen Beitrag antworten » | ||
Die erste Z4 würde ich schreiben als . Mach das mal mit den anderen 3 Z4-Gruppen, dann siehst du genau, welche Elemente sie enthalten. |
||||
13.12.2009, 14:39 | Lea | Auf diesen Beitrag antworten » | ||
Also sind die Elemente der zyklischen Untergruppen der Ordnung 4. was soll mir das denn sagen? |
||||
13.12.2009, 14:53 | Elvis | Auf diesen Beitrag antworten » | ||
Nein, jetzt bist du auf dem Holzweg. Ist G eine Gruppe, so heißt eine Teilmenge Untergruppe von , in Zeichen , wenn eine Gruppe ist. Eine Untergruppe der Ordnung n hat n Elemente. Für haben wir die trivialen Untergruppen E={1} und G ("trivial", weil das für jede Gruppe so ist). Zyklische Untergruppen der Ordnung 2 sind isomorph zur Z2, hier sind das die Untergruppen {1,4}, {1,11} und {1,14} . Sie werden erzeugt von den 3 Elementen der Ordnung 2. Ihre Vereinigung {1,4,11,14} ist eine Kleinsche Vierergruppe isomorph zur D2. Bleiben noch die 4 Elemente der Ordnung 4, nämlich 2, 7, 8, 13 . Sie erzeugen zyklische Gruppen der Ordnung 4. Preisfrage: Wie viele Gruppen, und was sind deren Elemente ? Ein Teil der Preisfrage ist schon beantwortet: <2>={1,2,4,8}=Z4 |
||||
13.12.2009, 15:03 | Elvis | Auf diesen Beitrag antworten » | ||
Habe ich mich zu kompliziert ausgedrückt ? Hier ein weiteres Beispiel: <8>={8,4,2,1}=Z4. Jetzt dürfte alles klar sein, oder ? |
||||
13.12.2009, 15:03 | Lea | Auf diesen Beitrag antworten » | ||
Die müssten dann hoffentlich so aussehen. <7>={1,7,49,343}, <8>={8,4,2,1}, <13>={1,13,169,2197}. Stimmt das? und das ist auch ohne "Restklassenstriche" richtig notiert? |
||||
13.12.2009, 15:05 | Elvis | Auf diesen Beitrag antworten » | ||
Stimmt, du mußt nur noch in diesen Untergruppen modulo 15 rechnen. In G gibt es doch z.B. kein Element 343. Jetzt habe ich keine Zeit mehr, das Hasse-Diagramm schenke ich dir zum 3. Advent. Tschüs. |
||||
13.12.2009, 15:07 | Lea | Auf diesen Beitrag antworten » | ||
Achso!!! Vielen vielen Dank für die tolle Hilfe. Hat mir wirklich sehr viel gebracht. Danke! |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |