Abstract
This is the fourth in a series of papers whose results imply the validity of a strong version of the Sims conjecture on finite primitive permutation groups. In this paper, the case of primitive groups with a simple socle of orthogonal Lie type and nonparabolic point stabilizer is considered. Let G be a finite group, and let M1 and M2 be distinct conjugate maximal subgroups of G. For any i ∈ ℕ, we define inductively subgroups (M1, M2)i and (M2, M1)i of M1 ∩ M2, which will be called the ith mutual cores of M1 with respect to M2 and of M2 with respect to M1, respectively. Put \({\left( {{M_1},\,{M_2}} \right)^1} = {\left( {{M_1} \cap {M_2}} \right)_{{M_1}}}\) and \({\left( {{M_2},\,{M_1}} \right)^1} = {\left( {{M_1} \cap {M_2}} \right)_{{M_2}}}\). For i ∈ ℕ, assuming that (M1, M2)i and (M2, M1)i are already defined, put \({\left( {{M_1},{M_2}} \right)^{i + 1}} = {\left( {{{\left( {{M_1},\,{M_2}} \right)}^i} \cap {{\left( {{M_2},{M_1}} \right)}^i}} \right)_{{M_1}}}\) and \({\left( {{M_2},{M_1}} \right)^{i + 1}} = {\left( {{{\left( {{M_1},\,{M_2}} \right)}^i} \cap {{\left( {{M_2},{M_1}} \right)}^i}} \right)_{M2}}\). We are interested in the case where (M1)G = (M2)G = 1 and 1 < ∣(M1, M2)2 ∣ ≤ ∣(M2, M1)2∣. The set of all such triples (G, M1, M2) is denoted by Π. We consider triples from Π up to the following equivalence: triples (G, M1, M2) and (G′, \(M_1^\prime \), \(M_2^\prime \)) from Π are equivalent if there exists an isomorphism of G onto G′ mapping M1 onto \(M_1^\prime \) and M2 onto \(M_2^\prime \). In the present paper, the following theorem is proved.
Theorem. Suppose that (G, M1, M2) ∈ Π, L = Soc(G) is a simple orthogonal group of dimension ≥ 7, and M1 ∩ L is a nonparabolic subgroup of L. Then\(L \cong O_8^ + \left( r \right)\), where r is an odd prime, (M1, M2)3 = (M2, M1)3 = 1, and one of the following holds
(a) r ≡ ±1 (mod 8), G is isomorphic to\(O_8^ + \left( r \right)\,:\;\mathbb{Z}_3\)or\(O_8^ + \left( r \right)\,\;:\;\>{S_3}\), (M1, M2)2 = Z (O2(M1)) and (M2, M1)2 = Z(O2(M2)) are elementary abelian groups of order 23, (M1, M2)1 = O2(M1) and (M2, M1)1 = O2(M2) are special groups of order 29, the group M1/O2(M1) is isomorphic to L3(2) × ℤ3or L3(2) × S3, respectively, and M1 ∩ M2is a Sylow 2-subgroup of M1
(b) r ≤ 5, the group G/L either contains Outdiag(L) or is isomorphic to the group ℤ4, (M1, M2)2 = Z(O2(M1 ∩ L)) and (M2, M1)2 = Z(O2(M2 ∩ L)) are elementary abelian groups of order 22, (M1, M2)1 = [O2(M1 ∩ L), O2(M1 ∩ L)] and (M2, M1)1 = [O2 (M2 ∩ L), O2(M2 ∩ L)] are elementary abelian groups of order 25, O2(M1 ∩ L)/[O2(M1 ∩ L), O2(M1 ∩ L)] is an elementary abelian group of order 26, the group (M1 ∩ L)/O2(M1 ∩ L) is isomorphic to the group S3, ∣M1: M1 ∩ M2∣ = 24, ∣M1 ∩ M2 ∩ L∣ = 211, and an element of order 3 from M1 ∩ M2 (for G/L ≅ A4or G/L ≅ S4) induces on the group L its standard graph automorphism.
In any of cases (a) and (b), the triples (G, M1, M2) exist and form one equivalence class.
Similar content being viewed by others
References
N. Bourbaki, Groupes et algèbres de Lie (Paris, Hermann, 1968; Mir, Moscow, 1972).
A. S. Kondrat’ev, “Normalizers of the Sylow 2-subgroups in finite simple groups,” Math. Notes 78 (3–4), 338–346 (2005).
A. S. Kondrat’ev and V. I. Trofimov, “Stabilizers of vertices of graphs and a strong version of the Sims conjecture,” Dokl. Math. 59 (1), 113–115 (1999).
A. S. Kondrat’ev and V. I. Trofimov, “Stabilizers of vertices of graphs with primitive automorphism groups and a strong version of the Sims conjecture. I, II, III,” Proc. Steklov Inst. Math. 289 (Suppl. 1), S146–S155 (2015); 295 (Suppl. 1), S89–S100 (2016); 299 (Suppl. 1), S113–S122 (2017).
M. Aschbacher, “On the maximal subgroups of the finite classical groups,” Invent. Math. 76 (3), 469–514 (1984). doi https://doi.org/10.1007/BF01388470
J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker, and R. A. Wilson, Atlas of Finite Groups (Clarendon, Oxford, 1985).
M. J. J. Barry, “Large abelian subgroups of Chevalley groups,” J. Austral. Math. Soc., Ser. A, 27 (1), 59–87 (1979). doi https://doi.org/10.1080/00927879008823931
J. N. Bray, D. F. Holt, and C. M. Roney-Dougal, The Maximal Subgroups of the Low-Dimensional Finite Classical Groups (Cambridge Univ. Press, Cambridge, 2013).
R. W. Carter, Simple Groups of Lie Type (Wiley, New York, 1972).
The GAP Group (GAP—Groups, Algorithms, and Programming), Version 4.9.1 (2018). http://www.gapsystem.org
G. C. Gerono, “Note sur la résolution en nombres entiers et positifs de l’équation xm = yn + 1,” Nouv. Ann. Math. (2) 9, 469–471 (1870).
D. Gorenstein, Finite Groups (Harper and Row, New York, 1968).
D. Gorenstein, R. Lyons, and R. Solomon, The Classification of the Finite Simple Groups (Amer. Math. Soc., Providence, RI, 1998), Ser. Math. Surveys and Monographs 40, issue 3.
P. B. Kleidman, “The maximal subgroups of the finite 8-dimensional orthogonal groups \(P\Omega _8^{+}\) and of their automorphism groups,” J. Algebra 110 (1), 173–242 (1987). doi https://doi.org/10.1016/0021-8693(87)90042-1
P. Kleidman and M. Liebeck, The Subgroup Structure of the Finite Classical Groups (Cambridge Univ. Press, Cambridge, 1990), Ser. London Math. Soc. Lect. Note 129.
F. G. Timmesfeld, Amalgams with Rank 2 Groups of Lie-Type in Characteristic 2, Preprint (University of Giessen, Giessen, 1984).
Funding
This work was supported by the Russian Science Foundation (project no. 14-11-00061-P).
Author information
Authors and Affiliations
Corresponding authors
Rights and permissions
About this article
Cite this article
Kondrat’ev, A.S., Trofimov, V.I. Stabilizers of Vertices of Graphs with Primitive Automorphism Groups and a Strong Version of the Sims Conjecture. IV. Proc. Steklov Inst. Math. 307 (Suppl 1), 64–87 (2019). https://doi.org/10.1134/S008154381907006X
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S008154381907006X