Satz von Jordan-Schur

Der Satz von Jordan-Schur, auch unter dem Namen Satz von Jordan über endliche lineare Gruppen bekannt, ist ein mathematischer Satz, der in seiner ursprünglichen Form von Camille Jordan stammt. In dieser Form besagt er, dass es eine Funktion $f:\mathbb{N}\to \mathbb{N}$ gibt, so dass es zu jeder endlichen Untergruppe $G$ der allgemeinen linearen Gruppe $\mathrm{G}\mathrm{L}(n,ℂ)$ eine Untergruppe $H\subset G$ gibt, so dass Folgendes gilt:

• $H$ ist abelsch,
• $H$ ist ein Normalteiler von $G$,
• der Index von $H$ in $G$ erfüllt $[G:H]\le f(n)$.

Da $f(n)$ nicht von $G$ abhängt ist das für festes $n$ ein Endlichkeitssatz für die Quotientengruppen $G/H$.

Issai Schur hatte ein allgemeineres Ergebnis erzielt, indem er nicht mehr die Endlichkeit der Gruppe voraussetzte, sondern nur noch, dass es sich um eine Torsionsgruppe handelt. Schur zeigte, dass man

$f(n)=((8n{)}^{\frac{1}{2}}+1{)}^{2n^2}-((8n{)}^{\frac{1}{2}}-1{)}^{2n^2}$

nehmen kann. Speiser erhielt für $n\ge 3$ und unter der Voraussetzung der Endlichkeit von $G$ die bessere Abschätzung

$f(n)=n!\cdot 12^{n(\pi (n+1)+1)}$,

wobei $\pi$ die Primzahlfunktion ist. In einer weiteren Verbesserung konnte Blichfeldt in obiger Formel 12 durch 6 ersetzen. Schließlich zeigte Michael Collins unter der Voraussetzung der Endlichkeit von $G$ mit Hilfe des Klassifikationssatzes endlicher einfacher Gruppen, dass man für $n\ge 71$ die Abschätzungsfunktion $f(n)=(n+1)!$ nehmen kann, und gab eine nahezu vollständige Beschreibung des Verhaltens für kleine $n$.