Satz von Platonow
# Satz von Platonow

Der Satz von Platonow ist ein Lehrsatz aus dem mathematischen Gebiet der Gruppentheorie. Aus ihm folgen der Satz von Malcev und das Lemma von Selberg. Er wurde von Wladimir Petrowitsch Platonow bewiesen.

## Definitionen

Es sei $p$ eine Primzahl. Eine $p$-Gruppe ist eine Gruppe $G$, in der die Ordnung jedes Elements eine Potenz von $p$ ist.

Eine residuell $p$-endliche Gruppe ist eine Gruppe $G$, in der es zu jedem Element $g\in G\setminus \left\{1\right\}$ einen surjektiven Gruppenhomomorphismus $f\colon G\to P$ auf eine endliche $p$-Gruppe $P$ gibt mit $f(g)\not =e$, wobei $e\in P$ das neutrale Element bezeichnet.

Eine virtuell residuell $p$-endliche Gruppe ist eine Gruppe $G$, die eine Untergruppe $H\subset G$ von endlichem Index enthält, die residuell $p$-endlich ist.

## Satz von Platonow

Es sei $K$ ein Körper und $G\subset GL(n,K)$ eine endlich erzeugte Untergruppe der allgemeinen linearen Gruppe.

Wenn die Charakteristik $\mathrm {char} (K)=p$ eine Primzahl ist, dann ist $G$ eine virtuell residuell $p$-endliche Gruppe.

Wenn $\mathrm {char} (K)=0$ ist, dann ist $G$ eine virtuell residuell $p$-endliche Gruppe für fast alle Primzahlen $p$.

## Anwendungen

Aus dem Satz von Platonow folgen zwei grundlegende und häufig verwendete Eigenschaften endlich erzeugter Matrixgruppen, nämlich der Satz von Malcev (endlich erzeugte Untergruppen von $GL(n,\mathbb {C} )$ sind residuell endlich) und das Lemma von Selberg (endlich erzeugte Untergruppen von $GL(n,\mathbb {C} )$ sind virtuell torsionsfrei).

