|
Autor |
Auflösbare Gruppen |
|
Student10023
Aktiv  Dabei seit: 22.11.2020 Mitteilungen: 35
 |
Guten Tag,
Wir haben folgende Aufgabe gestellt bekommen:
Sei N ein Normalteiler in G. Zeigen sie:
G ist auflösbar genau dann wenn N und G/N auflösbar sind.
Die Hinrichtung habe ich mittlerweile (wenn auch mühevoll) geschafft. Bei der Rückrichtung komme ich allerdings nicht weiter. Ich muss irgendwie die Normalreihe von N ergänzen. Das einfachste wäre sie einfach mit G zu ergänzen, da ja N ein Normalteiler in G ist, aber dann bleibt die Frage ob G/N abelsch ist und im allgemeinen wird das wohl nicht der Fall sein (sonst wäre ja die zweite Information nutzlos), d.h irgendwie müssen wir die Reihe ergänzen.
In Anlehnung an die Hinrichtung würde ich denken, dass es etwas mit den Urbildern (der Abbildung pi, also die Standart Abbildung von einer Gruppe in die Faktorgruppe) von den Untergruppen, die in der Normalreihe von G/N vorkommen, allerdings weiß ich nicht genau, wie ich das machen soll.
Ich wäre dankbar um eure Hilfe
Viele Grüße
|
Für Student10023 bei den Matheplanet-Awards stimmen
Notiz Profil
Quote
Link |
Triceratops
Aktiv  Dabei seit: 28.04.2016 Mitteilungen: 5242
Herkunft: Berlin
 |     Beitrag No.1, eingetragen 2020-11-30
|
Tipp: Wie sehen denn die Untergruppen von $G/N$ aus?
|
Notiz Profil
Quote
Link |
Student10023
Aktiv  Dabei seit: 22.11.2020 Mitteilungen: 35
 |     Beitrag No.2, vom Themenstarter, eingetragen 2020-12-01
|
Ich würde mal behaupten, dass alle Untergruppe von G/N die Form U/N haben, wobei U eine Untergruppe von G ist. Ist das so richtig ? Aber inwiefern hilft mir das weiter?
|
Für Student10023 bei den Matheplanet-Awards stimmen
Notiz Profil
Quote
Link |
Triceratops
Aktiv  Dabei seit: 28.04.2016 Mitteilungen: 5242
Herkunft: Berlin
 |     Beitrag No.3, eingetragen 2020-12-01
|
Es muss $N \subseteq U$ gelten, ja.
Nun, du hast eine Normalreihe von $G/N$ mit abelschen Quotienten. Schreibe dir doch einmal auf, was das bedeutet (in Abhängigkeit von $G$).
Zusammen mit der Normalreihe von $N$ bekommst du dann eine Normalreihe von $G$.
|
Notiz Profil
Quote
Link |
Student10023
Aktiv  Dabei seit: 22.11.2020 Mitteilungen: 35
 |     Beitrag No.4, vom Themenstarter, eingetragen 2020-12-01
|
da N auflösbar bekomme ich eine Reihe:
e=N0 % N1 % N2 %...... % Nk (dabei bedeutet % ist Normalteiler in und die i=0,1...,k sollen Indizes sein, sorry komme mit dem Formeleditor nicht zurecht ...)
wobei die Faktoren immer abelsch sind und wir haben eine Normalreihe.
Da G/N auflösbar ist haben wir eine Normalreihe:
e=N/N % U1/N ..... % Ul/N = G/N mit Ui ist eine Untergruppe von G und N ist eine Untergruppe in Ui für alle i=1,...,l
d.h wir können jetzt die Normalreihe von G folgendermaßen bilden:
1 = N0 %............% Nk = N % U1 %.....% Ul = G
dabei ist zu beachten, dass die Quotienten Ui/Ui-1 = (Ui/N)/(Ui-1/N) mit Gleichheit ist hier Isomorphie gemeint. Diese Quotienten existieren, da die Linke Seite der Gleichung existiert (insbesondere ist Ui-1 immer Normalteiler in Ui) und sind sind abelsch da die Faktoren nach Vorraussetzung abelsch sind. DIe Gleichheit folgt aus dem dritten Isomorphie Satz, den wir in einer anderen Aufgabe auf dem selben Blatt beweisen sollten ;)
Ist das so richtig ?
Vielen Dank für die Denkanstöße und ich entschuldige mich noch einmal für diese Kryptischen Zeichen..
|
Für Student10023 bei den Matheplanet-Awards stimmen
Notiz Profil
Quote
Link |
Triceratops
Aktiv  Dabei seit: 28.04.2016 Mitteilungen: 5242
Herkunft: Berlin
 |     Beitrag No.5, eingetragen 2020-12-01
|
Das ist i. W. richtig. Es fehlt $N_k=N$ am Anfang. Und es wäre konsequent, $U_0/N=1$ also $U_0=N$ zu setzen. Nur mit "Diese Quotienten existieren, da die Linke Seite der Gleichung existiert" stimme ich nicht überein. Denke bei dem Schritt noch einmal darüber nach, was gegeben und was zu zeigen ist.
Übrigens kannst du hier LaTeX benutzen. Klicke auf "Quote", um den Code hierdrunter zu sehen.
$1 \subseteq N_0 \subseteq N_1 \subseteq \cdots \subseteq N_k = N \subseteq U_1 \subseteq \cdots \subseteq U_{\ell} = G $
|
Notiz Profil
Quote
Link |
Student10023
Aktiv  Dabei seit: 22.11.2020 Mitteilungen: 35
 |     Beitrag No.6, vom Themenstarter, eingetragen 2020-12-01
|
Ich verstehe nicht ganz warum das so nicht geht, ich weiß, dass die Quotienten meiner Normalreihe abelsch sind, d.h
(U_i / N)/(U_i-1 / N) insbesondere existiert diese Gruppe, da ja das untere ein Normalteiler vom oberen ist (das ist ja gerade die Eigenschaft der Normalreihe). Dieser Quotient entspricht aber:
U_i / U_i-1 somit muss das auch eine abelsche Gruppe sein und dies ist insbesondere genau dann eine Gruppe, wenn U_i-1 ein Normalteiler von U_1 ist.
Was funktioniert an dem Argument nicht ?
|
Für Student10023 bei den Matheplanet-Awards stimmen
Notiz Profil
Quote
Link |
Triceratops
Aktiv  Dabei seit: 28.04.2016 Mitteilungen: 5242
Herkunft: Berlin
 |     Beitrag No.7, eingetragen 2020-12-01
|
Wieso ist denn $U_{i-1}$ ein Normalteiler von $U_i$? Begründe das (für dich; du musst es nicht posten) genau. Was du schreibst, deutet auf ein falsches Argument hin. (Schau dir dazu auch noch einmal die Voraussetzungen für den Isomorphiesatz an, den du benutzt.)
Tipp: Wie sehen allgemein die Normalteiler von $G/N$ aus?
|
Notiz Profil
Quote
Link |
Student10023 hat die Antworten auf ihre/seine Frage gesehen. Student10023 hat selbst das Ok-Häkchen gesetzt. | [Neues Thema] [Druckversion] |
|
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2021 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen. Lesen Sie die
Nutzungsbedingungen,
die Distanzierung,
die Datenschutzerklärung und das Impressum.
[Seitenanfang]
|