„Fixpunktsatz (Endliche Gruppen)“ – Versionsunterschied

Versionsgeschichte interaktiv durchsuchen

[gesichtete Version]

← Zum vorherigen Versionsunterschied Zum nächsten Versionsunterschied →

Inhalt gelöscht Inhalt hinzugefügt

Inline

Version vom 23. Dezember 2019, 20:14 Uhr

Zu den zahlreichen Resultaten in der Theorie der endlichen Gruppen, die im Zusammenhang mit den Sylow-Sätzen stehen, zählt ein als Fixpunktsatz bezeichneter Satz, der nicht zuletzt eine in diesem Kontext grundlegende Existenzaussage macht.^[1] Der Fixpunktsatz beruht auf einer allgemeinen Formel, welche nicht zuletzt die bekannte Klassengleichung in sich einschließt.^[1]^[2]^[3]

Formulierung

Dieser Fixpunktsatz lässt sich folgendermaßen formulieren:^[4]^[5]^[6]

Gegeben seien eine endliche Menge $X$ und weiter eine Primzahl $p$ , eine natürliche Zahl $r$ sowie eine endliche Gruppe $(G,\cdot )$ der Ordnung $|G|=p^{r}$ .^{[A 1]}

Dabei soll $(G,\cdot )$ vermöge der äußeren Operation $G\times X\to X\;,\;(g,x)\mapsto g\cdot x\;,\;$ auf $X$ operieren.^{[A 2]}

Dann gelten folgende Aussagen:

(i) $|\operatorname {Fix} _{G}(X)|\equiv |X|{\pmod {p}}$ ^{[A 3]}^{[A 4]}

(ii) Insbesondere existiert, wenn $|X|$ und $p$ teilerfremd sind, mindestens ein Fixpunkt.

Allgemeine Formel

Die oben erwähnte allgemeine Formel lässt sich wie folgt angeben:^[4]^[6]

Gegeben seien eine Menge $X$ und eine Gruppe $(G,\cdot )$ , die vermöge $G\times X\to X\;,\;(g,x)\mapsto g\cdot x\;,\;$ auf $X$ operieren soll.

Weiter gegeben sei ein Repräsentantensystem $V\subseteq X$ für die durch die Bahnen auf $X$ gegebenen Partition.

Dann gilt hinsichtlich der Mächtigkeiten die Formel

|X|=|\operatorname {Fix} _{G}(X)|+\sum \limits _{x\in V\;{\text{mit}} \atop \;\ (G\colon G_{x})>1}{(G\colon G_{x})}

.^{[A 5]}^{[A 6]}^{[A 7]}^{[A 8]}^{[A 9]}

Folgerungen

Der obige Fixpunktsatz hat eine Reihe interessanter Anwendungen.

Über das Zentrum endlicher p-Gruppen

Hier führt der Fixpunktsatz unmittelbar zu folgendem Resultat:^[7]^[8]

Gegeben seien eine Primzahl $p$ und dazu eine endliche p-Gruppe $G$ mit zugehörigem Zentrum $\mathrm {Z} (G)$ .

Dann gilt:

(i) Besteht ein Normalteiler $N\trianglelefteq G$ nicht aus dem neutralen Element allein, so besteht auch der Durchschnitt $\mathrm {Z} (G)\cap N$ nicht aus dem neutralen Element allein.

(ii) Insbesondere besitzt die endliche p-Gruppe $G$ im Falle, dass sie mehr als einem Element hat, ein nichttriviales Zentrum $\mathrm {Z} (G)$ .

Zu Normalteilern endlicher p-Gruppen

Hier ergibt sich aus dem Fixpunktsatz die folgende Strukturaussage:<^[9]

Jede endliche p-Gruppe $G$ der Ordnung $|G|=p^{r}$ ( $p$ prim, $r\in \mathbb {N} \;,\;r\geq 1$ ) hat einen Normalteiler $N\trianglelefteq G$ der Ordnung $|N|=p^{r-1}$ .

Literatur

Kurt Meyberg: Algebra. Teil 1 (= Mathematische Grundlagen für Mathematiker, Physiker und Ingenieure). Carl Hanser Verlag, München, Wien 1975, ISBN 3-446-11965-5 (MR0460010).
Christian Karpfinger, Kurt Meyberg: Algebra: Gruppen – Ringe – Körper. 4. Auflage. Springer Spektrum, Berlin 2017, ISBN 978-3-662-54721-2.
Gernot Stroth: Endliche Gruppen. Eine Einführung (= De Gruyter Studium). Walter de Gruyter, Berlin 2013, ISBN 978-3-11-029157-5.

Anmerkungen

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

Einzelnachweise

↑ ^a ^b Kurt Meyberg: Algebra. Teil 1. 1975, S. 65 ff., S. 67
↑ Gernot Stroth: Endliche Gruppen. 2013, S. 5 ff.
↑ Christian Karpfinger, Kurt Meyberg: Algebra: Gruppen – Ringe – Körper. 2017, S. 98 ff.
↑ ^a ^b Meyberg, op. cit., S. 67
↑ Stroth, op. cit., S. 5
↑ ^a ^b Karpfinger/Meyberg, op. cit., S. 99
↑ Stroth, op. cit., S. 6
↑ Meyberg, op. cit., S. 68
↑ Meyberg, op. cit., S. 74–75

[7] Mit $|M|$ bezeichnet man die Mächtigkeit einer Menge $M$ . Ist $M$ eine endliche Menge, so ist $|M|$ die Anzahl der in $M$ enthaltenen Elemente. Bei Gruppen nennt man diese Mächtigkeit auch Ordnung.

[8] Die äußere Operation und die in der gegebenen Gruppe vorliegende innere Verknüpfung werden oft mit demselben Symbol, nämlich $\cdot$ , bezeichnet. Nicht selten wird dieses Symbol (Punkt) gänzlich unterdrückt. Es ist dann vereinbarungsgemäß $gx=g\cdot x$ .

[9] Die Teilmenge $\operatorname {Fix} _{G}(X)\subseteq X$ besteht aus genau den Elementen $x\in X$ mit $g\cdot x=x$ für alle $g\in G$ . Man nennt solche Elemente Fixpunkte (unter der betreffenden Gruppenoperation).

[10] Mit $\equiv$ wird die zahlentheoretische Kongruenz bezeichnet.

[11] Für ein $x\in X$ ist dabei $G_{x}=\{g\in G\ |\ g\cdot x=x\}\leq G$ der zugehörige Stabilisator und $(G\colon G_{x})$ sein Index in $(G,\cdot )$ .

[12] Ein $x\in X$ ist genau dann ein Fixpunkt (in Bezug auf die vorliegende Gruppenoperation), wenn $G_{x}=G$ bzw. $(G\colon G_{x})=1$ gilt.

[13] Die Summationsbedingung $(G\colon G_{x})>1$ wird möglicherweise von keinem $x\in V$ erfüllt. In diesem Falle hat die Summe vereinbarungsgemäß den Wert $0$ .

[14] Den Fixpunktsatz gewinnt man aus der allgemeinen Formel unter Anwendung des Satzes von Lagrange.

[15] Bei Karpfinger/Meyberg (S. 99) findet man die allgemeine Formel unter der Bezeichnung Fixpunktformel.

[KM-01-1] Kurt Meyberg: Algebra. Teil 1. 1975, S. 65 ff., S. 67

[GS-01-2] Gernot Stroth: Endliche Gruppen. 2013, S. 5 ff.

[CK-KM-01-3] Christian Karpfinger, Kurt Meyberg: Algebra: Gruppen – Ringe – Körper. 2017, S. 98 ff.

[KM-02-4] Meyberg, op. cit., S. 67

[GS-02-5] Stroth, op. cit., S. 5

[CK-KM-02-6] Karpfinger/Meyberg, op. cit., S. 99

[GS-03-16] Stroth, op. cit., S. 6

[KM-03-17] Meyberg, op. cit., S. 68

[KM-04-18] Meyberg, op. cit., S. 74–75

[1]

[2]

[3]

[4]

[5]

[6]

[A 1]

[A 2]

[A 3]

[A 4]

[A 5]

[A 6]

[A 7]

[A 8]

[A 9]

[7]

[8]

[9]

@@ Zeile 1: / Zeile 1: @@
-Zu den zahlreichen Resultaten in der [[Theorie der endlichen Gruppen]], die im Zusammenhang mit den [[Sylow-Sätze]]n stehen, zählt ein als '''Fixpunktsatz''' bezeichneter [[Lehrsatz|Satz]], der nicht zuletzt eine in diesem Kontext grundlegende [[Existenzaussage]] macht.<ref name="KM-01">Kurt Meyberg: ''Algebra. Teil 1.'' 1975, S. 65&nbsp;ff., S. 67</ref> Der Satz beruht unmittelbar auf der sogenannten [[Klassengleichung]] und hat nützliche Anwendungen.<ref name="KM-01" /><ref name="GS-01">Gernot Stroth: ''Endliche Gruppen.'' 2013, S. 5&nbsp;ff.</ref><ref group="A">Bei Meyberg findet man den Terminus ''Fixpunktsatz'' und bei Stroth (für den endlichen Fall) den Terminus ''Klassengleichung''.</ref>
+Zu den zahlreichen Resultaten in der [[Theorie der endlichen Gruppen]], die im Zusammenhang mit den [[Sylow-Sätze]]n stehen, zählt ein als '''Fixpunktsatz''' bezeichneter [[Lehrsatz|Satz]], der nicht zuletzt eine in diesem Kontext grundlegende [[Existenzaussage]] macht.<ref name="KM-01">Kurt Meyberg: ''Algebra. Teil 1.'' 1975, S. 65&nbsp;ff., S. 67</ref> Der Fixpunktsatz beruht auf einer allgemeinen Formel, welche nicht zuletzt die bekannte [[Klassengleichung]] in sich einschließt.<ref name="KM-01" /><ref name="GS-01">Gernot Stroth: ''Endliche Gruppen.'' 2013, S. 5&nbsp;ff.</ref><ref name="CK-KM-01">Christian Karpfinger, Kurt Meyberg: ''Algebra: Gruppen – Ringe – Körper.'' 2017, S. 98&nbsp;ff.</ref>
 == Formulierung ==
-Dieser [[Fixpunktsatz]] lässt sich folgendermaßen formulieren:<ref name="KM-02">Meyberg, op. cit., S. 67</ref><ref name="GS-02">Stroth, op. cit., S. 5</ref>
+Dieser [[Fixpunktsatz]] lässt sich folgendermaßen formulieren:<ref name="KM-02">Meyberg, op. cit., S. 67</ref><ref name="GS-02">Stroth, op. cit., S. 5</ref><ref name="CK-KM-02">Karpfinger/Meyberg, op. cit., S. 99</ref>
 : ''Gegeben seien eine [[endliche Menge]]  <math>X</math> und weiter eine [[Primzahl]] <math>p</math>, eine [[natürliche Zahl]] <math>r</math> sowie eine [[endliche Gruppe]] <math>(G,\cdot)</math> der [[Gruppe (Mathematik)#Gruppenordnung|Ordnung]] <math>|G| = p^r</math>.''<ref group="A">Mit <math>|M|</math> bezeichnet man die Mächtigkeit einer Menge <math>M</math>. Ist <math>M</math> eine [[endliche Menge]], so ist <math>|M|</math> die [[Anzahl]] der in <math>M</math> enthaltenen [[Element (Mathematik)|Elemente]]. Bei Gruppen nennt man diese Mächtigkeit auch Ordnung.</ref>
 : ''Dabei soll <math>(G,\cdot)</math> vermöge der [[Gruppenoperation|äußeren Operation]] <math>G \times X \to X \; , \;  (g, x) \mapsto g \cdot x \; , \; </math> auf <math>X</math> operieren.''<ref group="A">Die äußere Operation und die in der gegebenen Gruppe vorliegende innere Verknüpfung werden oft mit demselben [[Liste mathematischer Symbole|Symbol]], nämlich <math>\cdot</math>, bezeichnet. Nicht selten wird dieses Symbol (''Punkt'') gänzlich unterdrückt. Es ist dann vereinbarungsgemäß <math>gx = g \cdot x</math>.</ref>
@@ Zeile 10: / Zeile 10: @@
 ::'' '''(i)''' <math>|\operatorname{Fix}_G(X)| \equiv |X| \pmod p</math>''<ref group="A">Die [[Teilmenge]] <math>\operatorname{Fix}_G(X) \subseteq X</math> besteht aus genau den Elementen <math>x \in X</math> mit <math>g \cdot x = x</math> für alle <math>g \in G</math>. Man nennt solche Elemente ''[[Fixpunkt (Mathematik)|Fixpunkte]]'' (unter der betreffenden Gruppenoperation).</ref><ref group="A">Mit <math>\equiv</math> wird die [[Kongruenz (Zahlentheorie)|zahlentheoretische Kongruenz]] bezeichnet.</ref>
 :: '' '''(ii)''' Insbesondere existiert, wenn <math>|X|</math> und <math>p</math> [[teilerfremd]] sind, mindestens ein Fixpunkt.''
+== Allgemeine Formel ==
+Die oben erwähnte allgemeine Formel lässt sich wie folgt angeben:<ref name="KM-02" /><ref name="CK-KM-02" />
+: ''Gegeben seien eine Menge <math>X</math> und eine Gruppe <math>(G,\cdot)</math>, die vermöge <math>G \times X \to X \; , \;  (g, x) \mapsto g \cdot x \; , \; </math> auf <math>X</math> operieren soll.''
+: ''Weiter gegeben sei ein [[Repräsentantensystem]] <math>V \subseteq X</math> für die durch die [[Gruppenoperation#Bahn|Bahnen]] auf <math>X</math> gegebenen [[Partition (Mengenlehre)|Partition]].''
+:
+: ''Dann gilt hinsichtlich der Mächtigkeiten die Formel''
+:
+::<math>|X| = |\operatorname{Fix}_G(X)| + \sum\limits_{x \in V \;\text{mit} \atop\;\ (G \colon  G_x) > 1} {(G \colon  G_x)} </math>.<ref group="A">Für ein <math>x \in X</math> ist dabei <math>G_x = \{g \in G\ |\ g \cdot x = x \} \leq G</math> der zugehörige [[Gruppenoperation#Stabilisator|Stabilisator]] und <math>(G \colon  G_x)</math> sein [[Index (Gruppentheorie)|Index]] in <math>(G,\cdot)</math>.</ref><ref group="A">Ein <math>x \in X</math> ist genau dann ein Fixpunkt (in Bezug auf die vorliegende Gruppenoperation), wenn <math>G_x = G</math> bzw. <math>(G \colon  G_x) = 1</math> gilt.</ref><ref group="A">Die ''Summationsbedingung'' <math>(G \colon  G_x) > 1</math> wird möglicherweise von keinem <math>x \in V</math> erfüllt. In diesem Falle hat die [[Summe]] vereinbarungsgemäß den Wert <math>0</math>.</ref><ref group="A">Den Fixpunktsatz gewinnt man aus der allgemeinen Formel unter Anwendung des [[Satz von Lagrange|Satzes von Lagrange]].</ref><ref group="A">Bei Karpfinger/Meyberg (S. 99) findet man die allgemeine Formel unter der Bezeichnung ''Fixpunktformel''.</ref>
 ==  Folgerungen ==
@@ Zeile 39: / Zeile 48: @@
    |ISBN=3-446-11965-5
    |Online=[https://mathscinet.ams.org/mathscinet/search/publdoc.html?arg3=&co4=AND&co5=AND&co6=AND&co7=AND&dr=all&pg4=AUCN&pg5=TI&pg6=PC&pg7=ALLF&pg8=ET&review_format=html&s4=Meyberg&s5=Algebra&s6=&s7=&s8=All&sort=Newest&vfpref=html&yearRangeFirst=&yearRangeSecond=&yrop=eq&r=9&mx-pid=460010 MR0460010]}}
+* {{Literatur
+   |Autor=[[Christian Karpfinger]], Kurt Meyberg
+   |Titel=Algebra: Gruppen – Ringe – Körper
+   |Reihe=
+   |BandReihe=
+   |Auflage=4.
+   |Verlag=[[Springer Spektrum]]
+   |Ort=Berlin
+   |Datum=2017
+   |ISBN=978-3-662-54721-2
+   |Online=}}
 * {{Literatur
    |Autor=[[Gernot Stroth]]

„Fixpunktsatz (Endliche Gruppen)“ – Versionsunterschied

Version vom 23. Dezember 2019, 20:14 Uhr

Inhaltsverzeichnis

Formulierung

Allgemeine Formel

Folgerungen

Über das Zentrum endlicher p-Gruppen

Zu Normalteilern endlicher p-Gruppen

Literatur

Anmerkungen

Einzelnachweise

Navigationsmenü

„Fixpunktsatz (Endliche Gruppen)“ – Versionsunterschied

Version vom 23. Dezember 2019, 20:14 Uhr

Formulierung

Allgemeine Formel

Folgerungen

Über das Zentrum endlicher p-Gruppen

Zu Normalteilern endlicher p-Gruppen

Literatur

Anmerkungen

Einzelnachweise

Navigationsmenü

Suche