Verallgemeinerung |
11.08.2011, 09:36 | mathinitus | Auf diesen Beitrag antworten » | ||||||
Verallgemeinerung Sei G eine endliche Gruppe und H eine beliebige Untergruppe mit Index k (k>1). H soll also echte Untergruppe von G sein. Betrachten wir nun wieder den Homomorphismus mit dann ist normale Untergruppe von G. Außerdem ist das Bild von isomorph zu einer Untergruppe U von . Der Kern von kann nicht ganz G sein, da k>1. Also wissen wir, dass die Existenz einer Untergruppe H mit Index k die Existenz einer normalen Untergruppe von G impliziert, so dass Insbesondere bedeutet das also, dass im Falle, dass G einfach ist, N trivial ist. So ist also G isomorph zu einer Untergruppe von . selbst ist aber nicht einfach. Ist denn jede einfache Untergruppe von auch Untergruppe von und war alles, was ich hier erzählte, richtig? Korrektur: ist nicht einfach für k>2. |
||||||||
11.08.2011, 15:17 | mathinitus | Auf diesen Beitrag antworten » | ||||||
Was sagt ihr dazu? |
||||||||
11.08.2011, 15:25 | jester. | Auf diesen Beitrag antworten » | ||||||
Wenn ich gerade nichts übersehen habe, ist alles, was du gesagt hast, richtig. Eine einfache Gruppe, die nichttrivial auf Punkten operiert, bettet sich in ein. Das Bild dieser Einbettung muss aber auch schon in liegen, sonst gäbe es ja ein Element mit , d.h. der Homomorphismus hätte einen nichttrivialen Kern, aber war ja als einfach vorausgesetzt. |
||||||||
11.08.2011, 15:37 | mathinitus | Auf diesen Beitrag antworten » | ||||||
Schön, so zeigt man also, dass jede einfache Untergruppe von auch Untergruppe von ist. Dass es so ist, hatte ich bereits vermutet, doch keinen Beweis. Daraus folgt also, dass die Ordnung einer einfache Gruppe mit Untergruppe mit Index k>2 teilt. So sieht man also zum Beispiel recht schnell, dass es keine einfache Gruppe der Ordnung 36 geben kann, diese müsste nämlich nach den Sylowsätzen eine Untergruppe mit Index 4 haben und daraus folgt, dass 36 Teiler von 12 ist. Widerspruch. |
||||||||
11.08.2011, 15:44 | jester. | Auf diesen Beitrag antworten » | ||||||
So kann man argumentieren. Alternativ liefern 4 3-Sylowgruppen eine transitive Operation auf 4 Punkten, sodass es einen Homomorphismus von G in die gibt. Aber wegen 36>24 hat dieser einen Kern. So kann man die Nebenklassen (noch?) vernachlässigen. Mit dieser und ähnlichen Überlegungen kann man herausbekommen, dass es bis Ordnung 60 keine nichtabelschen einfachen Gruppen geben kann. |
||||||||
11.08.2011, 15:57 | mathinitus | Auf diesen Beitrag antworten » | ||||||
Ist das nicht die gleiche Begründung?
Was für Nebenklassen?
Also daraus entnehme ich einmal, dass die erste ist. Gibt es sonst noch welche unter Ordnung 100? PS: Du kannst ja als kleine Übungsaufgabe mal die Klassifizierung aller endlichen einfachen Gruppen überlegen. |
||||||||
Anzeige | ||||||||
|
||||||||
11.08.2011, 16:08 | jester. | Auf diesen Beitrag antworten » | ||||||
Ich wollte nur darauf hinaus, dass du am Anfang ja auf Nebenklassen operiert hast, was man sich hier spart. Dass das wirklich einfacher ist, will ich gar nicht behaupten. Letztlich steckt wohl auch das selbe Argument dahinter. Ja, ist die erste "interessante" einfache Gruppe. Die nächsten haben Ordnung 168 (), 360 (), 504 (), 660 () und sind bis auf Isomorphie die einzigen nichtabelschen einfachen Gruppen von Ordnung kleiner als 1000.
Scherzkeks. |
||||||||
11.08.2011, 20:19 | mathinitus | Auf diesen Beitrag antworten » | ||||||
Gibt es auch zwei endliche einfache Gruppen gleicher Ordnung, die nicht isomorph sind? |
|
Verwandte Themen
Die Beliebtesten » |
Die Größten » |
|
Die Neuesten » |
|