On finite Desarguesian planes. I. (Q5962584): Difference between revisions

Sei \(G\) die projektive Gruppe der desarguesschen projektiven Ebene \(\Pi\) der ungeraden (Primzahl\-potenz-) Ordnung \(q\). Ferner sei \(J\) die eindeutige involutorische Homologie mit Zentrum \(p\) und Achse \(L\), und \(M,M^*\) die Gruppen aller Elationen mit Zentrum \(p\) bzw. Achse \(L\). Dann gilt: (I) \(J\) liegt in einer nichtzyklischen Untergruppe \(D\) der Ordnung 4, und die von 1 verschiedenen Elemente \(J, J_1, J_2 = J J_1\) bilden einen 3-Zyklus bezüglich eines geeigneten inneren Automorphismus von \(G\). (II) \(M\) und \(M^*\) haben dieselbe Ordnung, sie werden vom Zentralisator \(C=C(J)\) von \(J\) normalisiert, und \(M\cap M^*=M\cap C=M^*\cap C=1\). (III) Alle Involutionen \(\neq J\) von \(C(J)\) sind konjugiert in \(C(J)\). (IV) \([G:M C(J)]\leq q^2+q+1\). (V) \(M\cap C(J_1)\) hat mit jeder Bahn der von \(C(J)\) auf \(M\) induzierten Automorphismengruppe nichtleeren Durchschnitt. Verf. beweist, daß\ \(G\) im wesentlichen durch diese Bedingungen gekennzeichnet ist: Enthält die endliche Gruppe \(G\) eine Involution \(J\) und zwei Untergruppen \(M,M^*\) derart, daß\ (I)--(III) gelten, so zeigt sich, daß\ die gemeinsame Ordnung von \(M\) und \(M^*\) ein ungerades Quadrat \(q^2\) ist; nimmt man noch (IV) und (V) hinzu, so wird innerhalb von \(G\) eine auf natürliche Weise erklärte Inzidenzstruktur, auf der \(G\) als Automorphismengruppe operiert, zu einer desarguesschen projektiven Ebene der Ordnung \(q\). Die Gruppe \(G\) hat dann eine Normalreihe \(G\geq G_0\geq K\geq 1\) mit zyklischer Faktorgruppe \(G/G_0\), mit \(| K|\equiv 1\bmod 2\), und mit \(G_0/K\simeq \mathrm{PGL}_3(q)\) oder \(\mathrm{PSL}_3(q)\).