Fixpunktsatz (Endliche Gruppen)
# Fixpunktsatz (Endliche Gruppen)

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 eine in diesem Kontext grundlegende Existenzaussage macht. Der Fixpunktsatz beruht auf einer allgemeinen Formel, welche nicht zuletzt die bekannte Klassengleichung in sich einschließt.

## Formulierung

Dieser Fixpunktsatz lässt sich folgendermaßen formulieren:

    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}$.
    Dabei soll $(G,\cdot )$ vermöge der äußeren Operation $G\times X\to X\;,\;(g,x)\mapsto g\cdot x\;,\;$ auf $X$ operieren.
    Dann gelten folgende Aussagen:
       (i) $|\operatorname {Fix} _{G}(X)|\equiv |X|{\pmod {p}}$
       (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:

    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})}$.

## Folgerungen

Der obige Fixpunktsatz hat eine Reihe interessanter Anwendungen.

### Über das Zentrum endlicher p-Gruppen

Hier führt der Fixpunktsatz unmittelbar zu folgendem Resultat:

    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:

    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}$ .
