3-Transpositionsgruppe

Im mathematischen Teilgebiet der Gruppentheorie sind 3-Transpositionsgruppen Gruppen mit einer speziellen Eigenschaft. Es handelt sich um Gruppen, die von einer unter Konjugation abgeschlossenen Menge von Involutionen (d. h. Elementen der Ordnung 2) erzeugt werden, so dass das Produkt von je zwei Elementen dieser Menge höchstens die Ordnung 3 hat.

Eine Gruppe $G$ heißt demnach 3-Transpositionsgruppe, wenn es eine Teilmenge $D\subset G$ gibt, so dass $u^{2}=1\neq u$ für alle $u\in D$ , $\mathrm {ord} (uv)\leq 3$ für alle $u,v\in D$ , $xDx^{-1}=D$ für alle $x\in G$ und jedes Element aus $G$ endliches Produkt von Elementen aus $D$ ist.

Die 3-Transpositionsgruppen wurden als erstes von Bernd Fischer studiert, der damit dann die drei sporadischen Fischer-Gruppen entdeckte. Somit gelang ihm ein Beitrag zur Klassifikation der 26 sporadischen Gruppen, also solchen endlichen einfachen Gruppen, die nicht in den 18 unendlichen Familien (zyklische Gruppen, alternierende Gruppen oder Gruppen vom Lie-Typ) vorkommen.

Satz von Fischer

In seinem 1971 in den Inventiones erschienenen Artikel „Finite groups generated by 3-transpositions. I“ zeigte Fischer folgendes Theorem:

Sei $G$ eine Gruppe, die von einer unter Konjugation abgeschlossenen Menge $D$ von 3-Transpositionen erzeugt wird, so dass die größten normalen 2- und 3-Untergruppen $O_{2}(G)$ und $O_{3}(G)$ beide im Zentrum $Z(G)$ von $G$ enthalten sind. Dann ist $G/Z(G)$ bis auf Isomorphie eine der folgenden Gruppen und $D$ das Bild der gegebenen Konjugationsklasse:

$G/Z(G)$ ist die triviale Gruppe.
$G/Z(G)$ ist eine symmetrische Gruppe $S_{n}$ mit $n\geq 5$ , und $D$ ist die Klasse der Transpositionen. (Falls $n=6$ ist, gibt es eine zweite Klasse von 3-Transpositionen).
$G/Z(G)$ ist eine symplektische Gruppe Gruppe $Sp_{2n}(2)$ mit $n\geq 3$ über dem Körper mit zwei Elementen, und $D$ ist die Klasse der Transvektionen. (Falls $n=2$ ist, gibt es eine zweite Klasse von Transpositionen.)
$G/Z(G)$ ist eine projektive spezielle unitäre Gruppe $PSU_{n}(2)$ mit $n\geq 5$ , und $D$ ist die Klasse der Transvektionen.
$G/Z(G)$ ist eine orthogonale Gruppe $O_{2n}^{\mu }(2)$ mit $\mu =\pm 1$ und $n\geq 4$ , und $D$ ist die Klasse der Transvektionen.
$G/Z(G)$ ist eine Untergruppe $PO_{n}^{\mu ,+}(3)$ vom Index $2$ der projektiven orthogonalen Gruppe $PO_{n}^{\mu }(3)$ mit $\mu =\pm 1$ und $n\geq 5$ , die durch die Klasse $D$ der Spiegelungen an Vektoren der Norm $+1$ erzeugt wird.
$G/Z(G)$ ist eine der drei Fischer-Gruppen $Fi_{22},Fi_{23},Fi_{24}$ .
$G/Z(G)$ ist eine von zwei Gruppen $W(2)$ oder $W(3)$ , welche $O^{+}(8,2)$ bzw. $O^{+,+}(8,3)$ als Untergruppe vom Index $3$ enthalten.

Literatur

Fischer, Bernd (1964): "Distributive Quasigruppen endlicher Ordnung", Mathematische Zeitschrift, 83 (4): 267–303
Fischer, Bernd (1971): "Finite groups generated by 3-transpositions. I", Inventiones Mathematicae, 13 (3): 232–246

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.