Fixpunktsatz (Endliche Gruppen)

Zu d​en zahlreichen Resultaten i​n der Theorie d​er endlichen Gruppen, d​ie im Zusammenhang m​it den Sylow-Sätzen stehen, zählt e​in als Fixpunktsatz bezeichneter Satz, d​er nicht zuletzt e​ine in diesem Kontext grundlegende Existenzaussage macht.[1] Der Fixpunktsatz beruht a​uf einer allgemeinen Formel, welche n​icht zuletzt d​ie bekannte Klassengleichung i​n sich einschließt.[1][2][3]

Formulierung

Dieser Fixpunktsatz lässt s​ich folgendermaßen formulieren:[4][5][6]

Gegeben seien eine endliche Menge und weiter eine Primzahl , eine natürliche Zahl sowie eine endliche Gruppe der Ordnung .[A 1]
Dabei soll vermöge der äußeren Operation auf operieren.[A 2]
Dann gelten folgende Aussagen:
(i) [A 3][A 4]
(ii) Insbesondere existiert, wenn und teilerfremd sind, mindestens ein Fixpunkt.

Allgemeine Formel

Die o​ben erwähnte allgemeine Formel lässt s​ich wie f​olgt angeben:[4][6]

Gegeben seien eine Menge und eine Gruppe , die vermöge auf operieren soll.
Weiter gegeben sei ein Repräsentantensystem für die durch die Bahnen auf gegebenen Partition.
Dann gilt hinsichtlich der Mächtigkeiten die Formel
.[A 5][A 6][A 7][A 8][A 9]

Folgerungen

Der o​bige Fixpunktsatz h​at eine Reihe interessanter Anwendungen.

Über das Zentrum endlicher p-Gruppen

Hier führt d​er Fixpunktsatz unmittelbar z​u folgendem Resultat:[7][8]

Gegeben seien eine Primzahl und dazu eine endliche p-Gruppe mit zugehörigem Zentrum .
Dann gilt:
(i) Besteht ein Normalteiler nicht aus dem neutralen Element allein, so besteht auch der Durchschnitt nicht aus dem neutralen Element allein.
(ii) Insbesondere besitzt die endliche p-Gruppe im Falle, dass sie mehr als einem Element hat, ein nichttriviales Zentrum .

Zu Normalteilern endlicher p-Gruppen

Hier ergibt s​ich aus d​em Fixpunktsatz d​ie folgende Strukturaussage:[9]

Jede endliche p-Gruppe der Ordnung ( prim, ) hat einen Normalteiler der Ordnung .

Literatur

Anmerkungen

  1. Mit bezeichnet man die Mächtigkeit einer Menge . Ist eine endliche Menge, so ist die Anzahl der in enthaltenen Elemente. Bei Gruppen nennt man diese Mächtigkeit auch Ordnung.
  2. Die äußere Operation und die in der gegebenen Gruppe vorliegende innere Verknüpfung werden oft mit demselben Symbol, nämlich , bezeichnet. Nicht selten wird dieses Symbol (Punkt) gänzlich unterdrückt. Es ist dann vereinbarungsgemäß .
  3. Die Teilmenge besteht aus genau den Elementen mit für alle . Man nennt solche Elemente Fixpunkte (unter der betreffenden Gruppenoperation).
  4. Mit wird die zahlentheoretische Kongruenz bezeichnet.
  5. Für ein ist dabei der zugehörige Stabilisator und sein Index in .
  6. Ein ist genau dann ein Fixpunkt (in Bezug auf die vorliegende Gruppenoperation), wenn bzw. gilt.
  7. Die Summationsbedingung wird möglicherweise von keinem erfüllt. In diesem Falle hat die Summe vereinbarungsgemäß den Wert .
  8. Den Fixpunktsatz gewinnt man aus der allgemeinen Formel unter Anwendung des Satzes von Lagrange.
  9. Bei Karpfinger/Meyberg (S. 99) findet man die allgemeine Formel unter der Bezeichnung Fixpunktformel.

Einzelnachweise

  1. Kurt Meyberg: Algebra. Teil 1. 1975, S. 65 ff., S. 67
  2. Gernot Stroth: Endliche Gruppen. 2013, S. 5 ff.
  3. Christian Karpfinger, Kurt Meyberg: Algebra: Gruppen – Ringe – Körper. 2017, S. 98 ff.
  4. Meyberg, op. cit., S. 67
  5. Stroth, op. cit., S. 5
  6. Karpfinger/Meyberg, op. cit., S. 99
  7. Stroth, op. cit., S. 6
  8. Meyberg, op. cit., S. 68
  9. Meyberg, op. cit., S. 74–75
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.