Sur les groupes linéaires \((\mod p)\) à invariant quadratique. (Q1470040)

Ist \(p\) eine ungerade Primzahl, so werden die Gruppen \(G_n\) der Substitutionen \(S\), die eine quadratische Form \(F_n(x_1, \dots, x_n) (\text{mod.} p)\) ungeändert lassen, erzeugt von gewissen elementaren Matrizen: \(M_k, N_k, P, Q (k=1, 2, \dots, n-2)\). Der von \(M_k, N_k, P\) erzeugte Normalteiler \(G_n'\) (vom Index 2) ist mit der von \textit{Dickson} (Linear groups with an exposition of the \textit{Galois} field theory S. 159; F. d. M. 32, 128 (JFM 32.0128.*), 1901) im allgemeinen Fall des Körpers \(GF[p^n]\) eingeführten ``orthogonalen'' Gruppe identisch. \(M_k, N_k\) erzeugen den Normalteiler \(\Gamma_n\), der auch \(P^2\) enthält. Ferner werden die Normalteiler \(G_n''\) (vgl. \textit{Séguier}, Sur les groupes quadratiques et \textit{hermitiens} dans un champ de \textit{Galois}, C. R. 157, 430; F. d. M. 44, 165 (JFM 44.0165.*), 1913) und \(G_n^\prime\prime\prime\) beide vom Index 2 und \(H_n\) (Spiegelungsgruppe) von der Ordnung 2 angegeben. \(G_2, G_4\) zeigen besondern Bau. Für \(n>4\) wird gezeigt, daß jeder Normalteiler von \(G_n\) (außer \(H_n\)) \(\Gamma_n\) enthält. Die wichtigsten Beweismittel sind der Hilfssatz: ``Jeder Normalteiler von \(\Gamma_4\) enthält \(H_4\)'' und die Bemerkung, daß jedes \(S^{-1}T^{-1}ST\) zu \(\Gamma_n\) gehört. Diese Formel scheint nicht explizit bewiesen zu sein, folgt aber aus folgenden leicht verifizierbaren Formeln: \[ QM_k=N_kQ,\;QN_k=M_kQ,\;QP=P^{-1}Q,\;PM_k=M_k^gP,\;PN_k=N_k^{-g}P. \] Für \(p=2\) werden Kriterien dafür aufgestellt, daß eine auflösbare Untergruppe von \(G_{2n}\) ungerade \(S\) enthält.