Strukturverträglichkeit Homomorphismus zeigen |
29.10.2012, 19:28 | resol | Auf diesen Beitrag antworten » | ||||||||
Strukturverträglichkeit Homomorphismus zeigen Ich bin seit Anfang September spannender Zuhörer der Vorlesung LA I, und habe ein großes Problem - ich kommte absolut nicht mit den Strukturverträglichkeitsbeweisen von Homomorphismen klar. Dass allgemein gilt : erst abbilden, dann verknüpfen <=> erst verknüpfen, dann abbilden ist klar. Ich weiß auch, was es zu zeigen gilt , ABER das Umformen bereitet mir totale Probleme. Hättet ihr evtl. allgemein Tipps was das angeht, oder vielleicht hatte jemand das ähnliche Problem, und kann mir Tipps für die Herangehensweise geben ? Mein Tutor schafft das leider nicht. Hoffe ihr könnt mir helfen. Gruß ! |
||||||||||
29.10.2012, 19:35 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||||
Allgemein gibt es kein Rezept, um zu zeigen, dass etwas ein Homomorphismus ist. Zumal Homomorphismen zwischen ganz verschiedenen Strukturen betrachtet werden können. gib doch mal ein paar Beispiele an, zu denen Du Fragen hast. |
||||||||||
29.10.2012, 19:35 | Leopold | Auf diesen Beitrag antworten » | ||||||||
Deine Anfrage ist viel zu allgemein. Da hättest du beinahe auch sagen können: Helft mir, ich verstehe nichts. Was muß ich tun? Ich würde vorschlagen, du bringst ein konkretes Beispiel, erklärst, wo du dabei Schwierigkeiten hast. Und dann sieht man, wie man dir helfen kann. |
||||||||||
29.10.2012, 21:43 | resol | Auf diesen Beitrag antworten » | ||||||||
Ok, dann leg ich mal los : Auf unserem Übungsblatt soll man die Strukturverträglichkeit bezüglich der multiplikativen Verknüpfung des Ringhomomorphismus PsiG zeigen. Folgendes ist gegeben : PsiG : Z -> End (G) mit n -> pn pn : G -> G mit g->g^n klar ist, dass ich zeigen muss: PsiG ( n*m) = PsiG(n) * PsiG(m) mein nächster schritt wäre : PsiG ( n*m) = pn * pm ( g) = g^n * g^m = g^( n+m) wobei ich mier hierbei nichtmal sicher bin... es wäre top, wenn ihr mir das, sofern es nicht zu viel Aufwand macht, Schritt für Schritt erklären könntet, und v.a. warum ihr was tut ! Dankeschön !! |
||||||||||
29.10.2012, 21:56 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||||
1. Bitte benutze LaTeX, oder wenigstens eine eindeutige Schreibweise (p_n statt pn!).
3. Wir sprechen hier von einem Homomorphismus, dessen Bildpunkte in einem Endomorphismenring liegen, d.h. jeweils selbst wieder Abbildungen sind. Gleichungen wie (für ) sind also Identitäten von Abbildungen. Zwei Abbildungen sind gleich, wenn sie für alle Elemente jeweils dasselbe Ergebnis liefern, d.h. man muss für alle prüfen, dass . EDIT: Okay, ich sollte lesen lernen:
|
||||||||||
29.10.2012, 22:15 | resol | Auf diesen Beitrag antworten » | ||||||||
Okay, herzliches dankeschön erstmal Logisch, dass ich das für eine bestimmte Variable zeigen muss, denn ganz allgemein geht es nicht. Also muss ich das ganze auf g anwenden. Somit bin ich, wie du mir geschrieben hast schon so weit : . Wie mache ich aber nun hier weiter ? ? Ich weiß ich stell mich hier echt blöd an, aber ich tu mir da echt schwer, vor allem da das im 1. Semester echt alles ziemlich neu und abstrakt eben ist. Dankeschön ! |
||||||||||
Anzeige | ||||||||||
|
||||||||||
29.10.2012, 22:19 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||||
Ja, das ist zu zeigen.
Richtig. Wie lässt sich die linke Seite weiter schreiben?
Von blöd war nicht die Rede. Das das alles noch ungewohnt ist, stellt niemand in Abrede und ist gemeinhin bekannt. |
||||||||||
29.10.2012, 22:23 | resol | Auf diesen Beitrag antworten » | ||||||||
Wie es weitergeht, ist ja das Problem. Ich könnte den Endomorphismus in s spiel bringen, aber ich weiß nicht, wie ich dadrauf g anwenden soll... theoretisch also ? |
||||||||||
29.10.2012, 22:29 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||||
Nunja, es sollte einsichtig sein, dass wir irgendwann mal mit der konkreten Definition von arbeiten müssen. Wie ist denn die Verknüpfung erstmal für beliebige Endomorphismen definiert? |
||||||||||
29.10.2012, 22:31 | resol | Auf diesen Beitrag antworten » | ||||||||
Ich weiß leider nicht, was du von mir möchtest... Sorry |
||||||||||
29.10.2012, 22:42 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||||
Naja, wenn ich hinschreibe, wobei Abbildungen sind, ist ja erstmal nicht so klar, was die Verknüpfung bedeuten soll. Wie definiert man sie denn (naheliegenderweise)? |
||||||||||
29.10.2012, 22:44 | resol | Auf diesen Beitrag antworten » | ||||||||
mit dem Kringel als äußere Verknüpfung.. ? |
||||||||||
29.10.2012, 22:45 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||||
Was meinst Du damit? |
||||||||||
29.10.2012, 22:51 | resol | Auf diesen Beitrag antworten » | ||||||||
Bei uns im Skript wird das, wenn ich es richtig verstanden habe so definiert : ich verknüpfe 2 Abbildungen, mit dem Kringel ( quasi ein Donut) der sich aber wie die Multiplikation verhält, nur dass er eben auf einer anderen Ebene ist. Wenn ich auf einer Menge was verknüpfe, ist das entweder additiv oder multiplikativ, aber da Abbildungen ja auch nur Mengen sind die "bewegt" werden, haben wir das so definiert. Wenn ich 2 Abbildungen verknüpfe, passiert das aber nicht in einer Menge, deshalb ist das eine äußere Verknüpfung... Was du wahrscheinlich hören wolltest, bzw. mir zeigen wolltest, war dass ich die beiden Abbildungen durch die Multiplikation verknüpfe ? |
||||||||||
29.10.2012, 23:05 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||||
Welches Symbol man nimmt, ist nicht einheitlich, immer auch kontextabhängig und mathematisch letztlich völlig irrelevant. Es sollte halt sprachlich irgendwie suggestiv sein.
Das ist eine ziemlich unklare Aussage, bei der ich auch nicht weiß, was Du mir sagen möchtest.
Der Begriff äußere Verknüpfung ist auch hier leider unklar. Aber davon abgesehen: Ja, wenn wir zwei Endomorphismen haben, dann ist jegliche Verknüpfung der Abbildungen natürlich nicht auf definiert, sondern auf dem Endomorphismenring. Die Verknüpfung ist eben eine Abbildung .
Ja, damit kommst Du der Sache näher. Deine Antwort ist wahrscheinlich richtig und daher schreib doch mal ganz konkret die Gleichung weiter auf: Edit: Gemeint war für ... |
||||||||||
29.10.2012, 23:09 | resol | Auf diesen Beitrag antworten » | ||||||||
f*g=g(f(g)) |
||||||||||
29.10.2012, 23:19 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||||
Zuallererst muss ich nochmal entschuldigen. Ich bin eindeutig zu lang wach, solche Todsünden wie zu vollbringen. Jetzt hast Du schonmal direkt gesehen, wie man's nicht macht. Natürlich meinte ich für ein Gruppenelement . Genau, die Multiplikation im Endomorphismenring ist die Komposition von Abbildungen, d.h. wir schreiben im folgenden . Wir betrachten nun also . Das ist erstmal strikt nach Definition von was? |
||||||||||
29.10.2012, 23:24 | resol | Auf diesen Beitrag antworten » | ||||||||
Wenn ich dich richtig verstehe, das vorher genannte : Kein Ding, mir gehts genauso, weil ich an meinem Übungsblatt sitz,und gerade alles durcharbeite, und mich frag, ob das der Richtige Studiengang ist . auch wenn ich nur das Grundstudium habe ^^ |
||||||||||
29.10.2012, 23:27 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||||
Nein, hiermit setzt Du im Prinzip schon das voraus, was überhaupt zu beweisen ist!
|
||||||||||
29.10.2012, 23:30 | resol | Auf diesen Beitrag antworten » | ||||||||
Dann weiß ich nicht , was du meinst, da das doch so definiert ist. Willst du mir nicht einen kleinen Anschubser geben, und die Umformung hinschreiben ? Weil ich komme gerade auf keinen klaren Nenner.... |
||||||||||
29.10.2012, 23:32 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||||
? ? |
||||||||||
29.10.2012, 23:36 | resol | Auf diesen Beitrag antworten » | ||||||||
Psi * m (g) Ich bin glaub echt zu müde. Ich krieg das heute wohl nicht mehr hin. Großen Dank für deine HIlfe und die Zeit, die du dir genommen hast, werde aber jetzt wohl erstmal schlafen gehen. Ich schreibe morgen weiter hier - wäre top, wenn du mir da auch noch helfen könntest !! |
||||||||||
29.10.2012, 23:41 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||||
Ja, das habe ich oben geschrieben...aber wie geht es mit den beiden angedeuteten Gleichungen weiter?
Gute Nacht und bis morgen. |
||||||||||
30.10.2012, 15:46 | resol | Auf diesen Beitrag antworten » | ||||||||
Soweit besser ? Iwie war ich gestern neben der Kappe - der vorletzte Schritt von p_{n}^{m} zu p_{m}*p_{n} ist absehbar, ganz logisch jedoch nicht. bzw. folgt das immer aus der Definition die ich durch P_n gegeben habe ? Gruß |
||||||||||
30.10.2012, 15:58 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||||
Darauf läuft es hinaus, aber Dein Aufschrieb weist noch Mängel auf: 1.) Der Ausdruck ergibt keinen Sinn. 2.) Du lässt in der Gleichungskette plötzlich das Argument fallen. 3.) Es gilt zwar , aber dennoch solltest Du die Reihenfolge bei der Umformung beibehalten, sprich schreiben. |
||||||||||
30.10.2012, 16:01 | resol | Auf diesen Beitrag antworten » | ||||||||
1. Warum nicht ? Ich verstehe nicht, was nicht logisch daran ist ? p_n ist definiert als g-> g^n. -> P_n*m => g^g*m 2. Ja, das habe ich nur vergessen stehenzulassen... 3. Alles klar. |
||||||||||
30.10.2012, 16:09 | zweiundvierzig | Auf diesen Beitrag antworten » | ||||||||
Auch hier weiß ich nicht, was Du damit sagen willst. Was bedeutet der Pfeil ? Wo ist das auf der linken Seite? Wie sind hier Potenz und Multiplikation zu verstehen? Bei solchen Dingen muss man sehr genau sein. Es gilt schlicht und einfach . Im rechten Term kommt die Funktionsauswertungsklammer nicht mehr vor! Du schreibst ja auch für einen Bildpunkt als und nicht oder ähnliches. Bitte schreib nochmal eine verbesserte Version Deiner Umformungen auf. |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|