Gruppenisomorphimus konstruieren |
08.04.2011, 20:52 | Zitrone21 | Auf diesen Beitrag antworten » | ||||
Gruppenisomorphimus konstruieren Ich muss hier einen bijektiven Gruppenhomomorphismus erstellen. Der Einfachheit halber definiere ich erstmal: Ich berechne zunächst die Inversen: Inverse in A: 1 * 1 = 1 2 * 4 = 1 3 * 5 = 1 4 * 2 = 1 5 * 3 = 1 6 * 6 = 1 Inverse in B: 0 + 0 = 0 1 + 5 = 0 2 + 4 = 0 3 + 3 = 0 4 + 2 = 0 5 + 1 = 0 Offensichtlich ist hier, das in A 1 und in B die 0 das neutrale Element sind. Die Abbildung würde ich gerne bestimmen. Durch die Definition eines Gruppenisomorphismus und durch ein paar Umformungen ergibt sich, das folgendes für meine Abbildung gegeben sein muss: 1) Die neutralen Elemente bilden aufeinander ab. Also 2) Inverse bilden aufeinander ab, da gilt 3) Für den Gruppenhomomorphis muss gelten: Es fällt auf, das von den neutralen Elementen mal abgesehen, in A und B zwei Elemente sind, die zueinander selbstinvers sind. Ansonsten gibt es jeweis 2 Elemente, die zueinander invers sind. Ich vermute, das ich dann hier eine Abbildung von dem einen Selbstinversen auf das andere machen muss, also (Wie kann ich hier begründen, dass das gelten muss?) Nun muss ich die anderen Elemente irgendwie sinnvoll aufeinander abbilden.Ich wähle dann z.B. willkürlich und und bilde die restlichen Elemente auch noch ab. Hier würde ich dann überprüfen, ob die zufällig von mir gebildete Abbildung die Gruppenhomomorphismus-Eigenschaften erfüllt. Dies erscheint mir allerdings wenig der Sinn der Aufgabe zu sein, hier wild zu raten und mit Glück auf die richtige Lösung zu kommen. Irgendwie wird man das vermutlich konstruieren können. Leider hatten wir bis jetzt noch nichts bezüglich solch einer Konstruktion in der Vorlesung. Hat jemand Denkanstöße? |
||||||
08.04.2011, 21:13 | tmo | Auf diesen Beitrag antworten » | ||||
Wenn du einen Erzeuger von A auf einen Erzeuger von B abbildest, dann ist doch schon die ganze Abbildung (durch die Homomorphismuseigenschaft) eindeutig bestimmt. |
||||||
08.04.2011, 21:28 | Zitrone21 | Auf diesen Beitrag antworten » | ||||
Leider kann ich mit dem Begriff Erzeuger nicht viel anfangen. Der entsprechende Wikipediaartikel http://de.wikipedia.org/wiki/Zyklische_Gruppe (und auch das was ich mir bis jetzt in meinen Algebrabüchern und per Google über Erzeuger angelesen habe) ist für mich leider nicht anschaulich, bzw mir ist nach dem Lesen leider nicht klar, was jetzt hier die Erzeuger der Gruppe sind und auch nicht, wieso ich diese aufeinander abbilden soll, um einen Gruppenhomomorphismus zu erhalten. Ich würde Erzeuger hier am ehesten mit Basisvektoren eines Vektorraums vergleichen, sprich Elemente aus denen ich alle Elemente der Gruppe bzw. Vektorraum erzeugen kann. Wenn ich die Intention deiner Antwort richtig interpretiere, ist mein Ansatz nicht zielführend? |
||||||
08.04.2011, 21:51 | tigerbine | Auf diesen Beitrag antworten » | ||||
Hallo Zitrone, vielleicht kann ich kurz helfen. Nehmen wir als Beispiel als Urbild eine (endliche) zyklische Gruppe Z und z sei ein Erzeuger davon. Dann gilt Z=<z>. Für was stehen diese <>? Es gibt verschiedene "Definitionen", die dann äquivalent sind. Schau dir mal diesen aktuellen Thread an: (Z,+) zyklisch, Erzeuger Der klärt ganz gut imho, was man gerne im "Erzeugnis" vergisst. Für diese Aufgabe bitte mal die Rechenregeln [steht im Skript bestimmt in einem Lemma] für Homomorphismen anschauen. Das tolle ist nun, wenn du weißt, was der G-Hom mit dem Erzeuger z macht, dann weißt du, was er mit ganz Z macht. Du kennst also schon die Bildmenge und deren Eigenschaften. Bei dir ist ja vorgegeben, was du als Bild haben möchtest. Und diese Bildgruppe hat ja wieder eine bestimme Struktur. Vielleicht macht dann tmos Hinweis
mehr Sinn für dich. Es stimmt schon, es ist dem "Eine lineare Abbildung ist durch die Bilder der Basisvektoren eindeutig bestimmt" schon nahe. Aber als Struktur haben wir hier ja Gruppen und keine Vektorräume. Und damit komme ich wieder zu meinen Eingang zurück, mache dich mit der Defintion "Erzeugnis", "Erzeugendensystem" vertraut. So, vielleicht konnte ich die Wartezeit überbrücken. |
||||||
08.04.2011, 23:43 | lgrizu | Auf diesen Beitrag antworten » | ||||
RE: Gruppenisomorphimus konstruieren Hier wurde die selbe Frage schon einmal gestellt: Isomorphismus finden?!. Und hier kannst du auch mal schauen: Isomorphie von 2 Gruppen Edit: Links korrigiert |
||||||
09.04.2011, 18:30 | Zitrone21 | Auf diesen Beitrag antworten » | ||||
Hallo zusammen, danke für eure Hilfe. Ich habe inzwischen doch verstanden was Erzeuger sind, und konnte eine entsprechende Abbildung konstruieren. In dem verlinkten Thread wurde verwendet und eine Abbildungsvorschrift zu konstruieren, ich habe genommen. Als Resultat erhalte ich: Das deckt sich auch mit der Umkehrabbildung, die im anderen Thread erstellt wurde: Isomorphismus finden?! Konstruiert habe ich das ganze, indem ich gesagt habe, das gilt und per Homomorphismuseigenschaften den Rest gemacht habe. Sprich ich habe die Erzeuger aufeinander abgebildet. 3 ist Erzeuger von A, 1 ist Erzeuger von B.
In meiner Vorlesung kann ich allerdings keinen Satz / Lemma entdecken, das entsprechene Regeln definiert. Leider kann ich mir momentan nicht herleiten, wieso ich gewählt habe, bzw. wieso die Erzeuger aufeinander abbilden. Mein Ansatz dazu war: da Aber das bringt nichts Wie begründe ich, dass ich gewählt habe? |
||||||
Anzeige | ||||||
|
||||||
09.04.2011, 18:36 | tigerbine | Auf diesen Beitrag antworten » | ||||
http://de.wikipedia.org/wiki/Homomorphis...nhomomorphismus Wir waren im zyklischen Fall, U=<u>. Da meinte ich z. B. o für Ordnung. |
||||||
09.04.2011, 19:02 | Zitrone21 | Auf diesen Beitrag antworten » | ||||
Ja genau, die kenne ich und mit der erstgenannten Regel habe ich gearbeitet. Ich dachte du hattest damit gemeint, das ich eventuell ein Lemma kennen würde, das erklärt, wieso man Erzeuger auf Erzeuger abbildet |
||||||
09.04.2011, 19:05 | tigerbine | Auf diesen Beitrag antworten » | ||||
Die Frage ist doch noch, was ist . Und Ziel war hier doch ein Isomorphismus. |
||||||
09.04.2011, 19:13 | Zitrone21 | Auf diesen Beitrag antworten » | ||||
Ich verstehe die Frage leider nicht :-| |
||||||
09.04.2011, 19:17 | tigerbine | Auf diesen Beitrag antworten » | ||||
Wenn da nun nur Homomorphismus stehen würde. Dann könnte man doch einfach alles auf das neutrale Element abbilden. Um alles auf das neutrale abzubilden reicht es, den Erzeuger auf das neutrale abzubilden... Wie stellst du nun sicher, dass so was nicht eintritt, sondern du wirklich als Bild die ganze Gruppe B erhältst? |
|
Verwandte Themen
Die Beliebtesten » |
Die Größten » |
Die Neuesten » |