Imprimitive maximal subgroups of finite orthogonal groups

DOI10.1007/BF00181536MaRDI QIDQ1084185zbMATH OpenFDO

Authors Oliver King

Publication date 1986

Published in Geometriae Dedicata (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00181536

zbMATH Keywords

commutator subgroupmaximal subgrouporthogonal direct sumorthogonal groupquadratic formspecial orthogonal groupWitt index

Mathematics Subject Classification ID

Maximal subgroups (20E28) Linear algebraic groups over finite fields (20G40) Other geometric groups, including crystallographic groups (20H15) Other matrix groups over finite fields (20H30) Reflection groups, reflection geometries (51F15) Orthogonal and unitary groups in metric geometry (51F25)

Review text

Let \(V\) be a vector space of dimension \(n\) (where \(n\geq 4\) and even) over a finite field \(\mathrm{GF}(q)\). Suppose \(V\) is endowed with a quadratic form \(Q\) and \(V\) is an orthogonal direct sum of regular 2-dimensional subspaces \(V_i\), i.e. \(V=V_1\oplus\cdots\oplus V_s\) (where \(s=n/2)\). The Witt index of \((V,Q)\) is then \(s\) or \(s-1\). Let \(G_0\), \(G_1\), and \(G\) be the global stabilizers of \(\{V_1,V_2,\ldots,V_s\}\) in \(\Omega_n(q)\), \(\mathrm{SO}_n(q)\), and \(O_n(q)\), respectively. Here \(O_n(q)\), \(\mathrm{SO}_n(q)\), and \(\Omega_n(q)\) are the orthogonal group, the special orthogonal group, and the commutator subgroup, respectively. The author shows: 1) If \(n=4\), then \(G\) is maximal in \(O_n(q)\) except when \(q=2\) or \(3\), but \(G_0\) and \(G_1\) are not maximal in \(\Omega_n(q)\) and \(\mathrm{SO}_n(q)\), respectively. 2) If \(n\geq 6\), then \(G_0\), \(G_1\) and \(G\) are maximal in \(\Omega_n(q)\), \(\mathrm{SO}_n(q)\), and \(O_n(q)\), respectively, except when \(q=3\). 3) If \(n=4\), then \(\mathrm{PG}\) is maximal in \(\mathrm{PO}_n(q)\) except when \(q=2\) or \(3\), but \(\mathrm{PG}_0\) and \(\mathrm{PG}_1\) are not maximal in \(\mathrm{P}\Omega_n(q)\) and \(\mathrm{PSO}_n(q)\), respectively. 4) If \(n\geq 6\), then \(\mathrm{PG}_0\), \(\mathrm{PG}_1\), and \(\mathrm{PG}\) are maximal in \(\mathrm{P}\Omega_n(q)\), \(\mathrm{PSO}_n(q)\), and \(\mathrm{PO}_n(q)\), respectively, except when \(q=3\).

Recommendations

• Maximal subgroups of the finite orthogonal and unitary groups stabilizing anisotropic subspaces
• Maximal Subgroups of Finite Orthogonal Groups Stabilizing Spreads of Lines
• Maximal Subgroups of Finite Orthogonal Groups Stabilizing Spreads of Lines
• scientific article; zbMATH DE number 3955220
• Maximal orthogonal subgroups of finite unitary groups

Cites work

• A Geometric Characterization of the Special Orthogonal Groups and the Dickson Invariant
• scientific article; zbMATH DE number 3055953 (Why is no real title available?)
• Imprimitive Maximal Subgroups of the General Linear, Special Linear, Symplectic and General Symplectic Groups
• Imprimitive maximal subgroups of the orthogonal, special orthogonal, unitary and special unitary groups
• Imprimitive maximal subgroups of the symplectic, orthogonal and unitary groups
• Maximal subgroups of the classical groups associated with non-isotropic subspaces of a vector space
• Maximal subgroups of the finite orthogonal and unitary groups stabilizing anisotropic subspaces
• On the maximal subgroups of the finite classical groups

Cited in

(5)

• A type of maximal subgroups of special orthogonal groups over Euclidean domains.
• Maximal Subgroups of Finite Orthogonal Groups Stabilizing Spreads of Lines
• scientific article; zbMATH DE number 3955220 (Why is no real title available?)
• Maximal orthogonal subgroups of finite unitary groups
• Maximal subgroups of the finite orthogonal and unitary groups stabilizing anisotropic subspaces

This page was built for publication: Imprimitive maximal subgroups of finite orthogonal groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1084185)