Auflösbare Gruppe

In der Gruppentheorie, einem Teilgebiet der Mathematik, ist eine Gruppe auflösbar, falls sie eine Subnormalreihe mit abelschen Faktorgruppen hat.

Inhaltsverzeichnis

Hauptteil

Die geschichtlichen Ursprünge der Gruppentheorie liegen unter anderem in der Suche nach einer generellen Darstellung der Lösungen von Gleichungen fünften oder höheren Grades mittels iterierter Wurzelausdrücke (wobei man unter letzteren Kombinationen von n-ten Wurzeln, also deren Summen und Produkte sowie die Wurzeln aus diesen, versteht). Eine solche Darstellung bezeichnet man auch als Auflösung der Gleichung und eine Gleichung, für welche eine solche Darstellung existiert, mithin als auflösbar. Die systematischen Grundlagen für die Bedingungen, unter welchen eine solche Lösung möglich oder nicht möglich ist, werden im Rahmen der Galoistheorie entwickelt. Hierbei wird die Auflösbarkeit einer Gleichung zurückgeführt auf eine spezielle Eigenschaft der zur Gleichung gehörenden Galoisgruppe. Diese Eigenschaft bezeichnete man deshalb als Auflösbarkeit einer Gruppe.

Die verbreitetste Definition lautet: Eine Gruppe ist auflösbar, falls sie eine Subnormalreihe mit abelschen Faktorgruppen hat. In diesem Fall nennt man auch die Reihe selbst auflösbar, und man kann schließen, dass überhaupt jede Subnormalreihe der Gruppe auflösbar ist. Da eine Faktorgruppe genau dann abelsch ist, wenn der zugehörige Normalteiler die Kommutatorgruppe umfasst, kann man alternativ fordern, dass die fortgesetzte Bildung der Kommutatorgruppe schließlich auf die Einsgruppe führt. Siehe hierzu auch den Artikel „Reihe (Gruppentheorie)“.

Bei endlichen Gruppe ist die Auflösbarkeit äquivalent zur Existenz einer Subnormalreihe mit zyklischen Faktoren von Primzahlordnung. Dies ergibt sich daraus, dass zum einen jede Subnormalreihe zu einer Reihe mit einfachen Faktoren verfeinert werden kann und zum anderen jede endliche einfache abelsche Gruppe Primzahlordnung hat und damit auch zyklisch ist. Die Gruppen von Primzahlordnung bilden also die Kompositionsfaktoren der endlichen auflösbaren Gruppen. Wie allgemein bei Kompositionsreihen gilt auch hierbei, dass zwar die Kompositionsfaktoren durch die Gruppe (bis auf die Reihenfolge) eindeutig festgelegt sind (Satz von Jordan-Hölder), dass aber umgekehrt nicht generell aus den Kompositionsfaktoren der Isomorphietyp der Gruppe erschlossen werden kann. Im Falle der Gleichungsauflösung entsprechen die zyklischen Gruppen im übrigen den Galoisgruppen von Körpererweiterungen durch Wurzeln von Körperelementen.

Eine weitere Charakterisierung auflösbarer Gruppen erhält man aus den von Philip Hall stammenden Verallgemeinerungen der Sylow-Sätze. Demnach ist eine Gruppe G genau dann auflösbar, wenn

  • G für jeden maximalen Teiler m der Gruppenordnung eine Untergruppe der Ordnung m enthält,
  • alle Untergruppen der Ordnung m konjugiert zueinander sind und
  • jede Untergruppe, deren Ordnung m teilt, in einer Untergruppe der Ordnung m enthalten ist.

Von George Polya stammt der Ausspruch: „Falls man ein Problem nicht lösen kann, dann gibt es ein einfacheres Problem das man lösen kann!“ In diesem Sinne wurde (und wird) zum Lösen gruppentheoretischer Probleme mit großem Erfolg die Methode verwendet, eine Behauptung über eine komplizierte Gruppe auf eine Behauptung über die Kompositionsfaktoren der Gruppe zu reduzieren. Entscheidend ist hierbei, dass eine ausreichende Kenntnis der auftretenden einfachen Gruppen erzielt werden kann. Im Falle auflösbarer Gruppen ist die Situation besonders günstig, da die zyklischen Gruppen mit Primzahlordnung überaus gut überblickt werden können.

Aus der Definition folgt sofort, dass abelsche Gruppen auflösbar sind. Ende des 19. Jahrhunderts konnte William Burnside beweisen, dass dies für alle Gruppen der Ordnung pnqm (p,q prim) gilt. Seine Vermutung, dass sämtliche endlichen Gruppen ungerader Ordnung auflösbar sind, wurde in den 1960er Jahren von Walter Feit und John Griggs Thompson bewiesen. Die kleinste nicht auflösbare Gruppe ist die alternierende Gruppe A5.

Die Symmetrische Gruppe Sn ist genau dann auflösbar, wenn n < 5 ist. Dementsprechend gibt es auch nur für Gleichungen bis zum vierten Grad allgemeine Auflösungsformeln, die außer den Grundrechenarten lediglich Wurzelausdrücke verwenden.

Eigenschaften

  • Ist G auflösbar und H eine Untergruppe von G, dann ist auch H auflösbar.
  • Ist G auflösbar und H ein Normalteiler von G, dann ist auch G / H auflösbar.
  • Ist G auflösbar und gibt es einen Homomorphismus von G auf H, dann ist H auflösbar.
  • Sind H und G / H auflösbar, so auch G
  • Sind G und H auflösbar, so auch ihr direktes Produkt G\times H.

Superauflösbare Gruppe

Eine schärfere Form der Auflösbarkeit ist die der Superauflösbarkeit, oft auch Überauflösbarkeit genannt. Eine Gruppe G ist superauflösbar, falls sie eine invariante Subnormalreihe hat, deren Faktoren zyklisch sind.

Literatur

Weblinks


Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Pro-auflösbare Gruppe — In der Mathematik, genauer gesagt, in der Algebra, bezeichnet man eine Gruppe als pro auflösbar, wenn sie isomorph zum inversen Limes eines inversen Systems auflösbarer Gruppen ist. Eine pro auflösbare Gruppe ist ein Spezialfall einer Pro C… …   Deutsch Wikipedia

  • Auflösbare Lie-Algebra — Lie Algebra berührt die Spezialgebiete Mathematik Lineare Algebra Lie Gruppen Physik Eichtheorie ist Spezialfall von Vektorraum …   Deutsch Wikipedia

  • P-Gruppe — Für eine Primzahl p ist eine p Gruppe in der Gruppentheorie eine Gruppe, in der die Ordnung jedes Elements eine Potenz von p ist. Das heißt, für jedes Element g der Gruppe gibt es eine natürliche Zahl n, so dass g hoch pn gleich dem neutralen… …   Deutsch Wikipedia

  • Lemma von Zassenhaus — In der Gruppentheorie, einem Teilgebiet der Mathematik, werden gewisse Reihen, Ketten oder auch Türme von Untergruppen, bei denen jede Untergruppe in ihrer Nachfolgerin enthalten ist (aufsteigende Reihen) oder umgekehrt (absteigende Reihen),… …   Deutsch Wikipedia

  • Normalreihe — In der Gruppentheorie, einem Teilgebiet der Mathematik, werden gewisse Reihen, Ketten oder auch Türme von Untergruppen, bei denen jede Untergruppe in ihrer Nachfolgerin enthalten ist (aufsteigende Reihen) oder umgekehrt (absteigende Reihen),… …   Deutsch Wikipedia

  • Satz von Jordan-Hölder — In der Gruppentheorie, einem Teilgebiet der Mathematik, werden gewisse Reihen, Ketten oder auch Türme von Untergruppen, bei denen jede Untergruppe in ihrer Nachfolgerin enthalten ist (aufsteigende Reihen) oder umgekehrt (absteigende Reihen),… …   Deutsch Wikipedia

  • Satz von Schreier — In der Gruppentheorie, einem Teilgebiet der Mathematik, werden gewisse Reihen, Ketten oder auch Türme von Untergruppen, bei denen jede Untergruppe in ihrer Nachfolgerin enthalten ist (aufsteigende Reihen) oder umgekehrt (absteigende Reihen),… …   Deutsch Wikipedia

  • Subnormalreihe — In der Gruppentheorie, einem Teilgebiet der Mathematik, werden gewisse Reihen, Ketten oder auch Türme von Untergruppen, bei denen jede Untergruppe in ihrer Nachfolgerin enthalten ist (aufsteigende Reihen) oder umgekehrt (absteigende Reihen),… …   Deutsch Wikipedia

  • Reihe (Gruppentheorie) — In der Gruppentheorie, einem Teilgebiet der Mathematik, werden gewisse Reihen, Ketten oder auch Türme von Untergruppen, bei denen jede Untergruppe in ihrer Nachfolgerin enthalten ist (aufsteigende Reihen) oder umgekehrt (absteigende Reihen),… …   Deutsch Wikipedia

  • Quintic equation — Eine Gleichung fünften Grades oder quintische Gleichung ist in der Mathematik ein Polynom vom Grad fünf. Es ist von der Form ax5 + bx4 + cx3 + dx2 + ex + f = 0, wobei die Koeffizienten a,b,c,d,e und f Elemente eines Körpers (typischerweise die… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”