A generalization of Sims' conjecture for finite primitive groups and two point stabilizers in primitive groups

DOI10.1515/JGTH-2021-0032MaRDI QIDQ2068342zbMATH OpenOpenAlexWikidataFDO

Authors Pablo Spiga

Publication date 19 January 2022

Published in Journal of Group Theory (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2102.13614

zbMATH Keywords

orbital digraphsprimitive groupsSims conjecture

Mathematics Subject Classification ID

Primitive groups (20B15)

Abstract: In this paper we propose a refinement of Sims conjecture concerning the cardinality of the point stabilizers in finite primitive groups and we make some progress towards this refinement. In this process, when dealing with primitive groups of diagonal type, we construct a finite primitive group $G$ on $Omega$ and two distinct points $$ with $$ and $$, where $G_{alpha}$ is the stabilizer of $alpha$ in $G$ and $$ is the stabilizer of $alpha$ and $$ in $G$. In particular, this example gives an answer to a question raised independently by Peter Cameron and by Alexander Fomin.

Review text

\textit{C. C. Sims} conjectured in [Math. Z. 95, 76--86 (1967; Zbl 0244.20001)] that there is a universal function \(f\) on the positive integers, such that if \(G\) is a finite primitive group with a suborbit of length \(d>1\), then the point stabilisers all have cardinality at most \(f(d)\). The \textit{Sims conjecture} was eventually settled by \textit{P. J. Cameron} et al. [Bull. Lond. Math. Soc. 15, 499--506 (1983; Zbl 0536.20003)] using the Classification of Finite Simple Groups. In this paper, the author proposes a strengthening of the Sims conjecture: There is a function \(f\) on the positive integers, such that if \(G\) is a finite primitive group acting on \(\Omega\), and \(\alpha,\beta\in\Omega\), then either \begin{itemize} \item[(i)] \(G_\alpha\cap G_\beta\) has order at most \(f(|G_\alpha\cap G_\beta:G_\alpha^{+[1]}|)\), where \(G_\alpha^{+[1]}\) is the kernel of the action of \(G_\alpha\) on the out-neighbours of \(\alpha\) (in the orbital digraph given by \((\alpha,\beta)^G\)), or \item[(ii)] \(G\) is in a well-described and well-determined list of exceptions. \end{itemize} Moreover, the author proves (Proposition 3.1) that (i) holds for primitive groups containing a regular normal subgroup, and also establishes its veracity for primitive groups of simple diagonal type (Theorem 1.3). There is also some beautiful by-products of some pathological constructions, such as an answer to a question raised independently by Cameron and by Fomin in the Kourovka Notebook.

Recommendations

• Some simplifications in the proof of the Sims conjecture
• On the Sims Conjecture and Distance Transitive Graphs
• scientific article; zbMATH DE number 614434
• Stabilizers of graph vertices and a strengthened version of the Sims conjecture
• On a theorem of Wielandt for finite primitive permutation groups
• A note on extremely primitive affine groups
• scientific article; zbMATH DE number 4065248
• On Transitive Permutation Groups with Primitive Subconstituents
• On groups with no regular orbits on the set of subsets
• Stabilizers of vertices of graphs with primitive automorphism groups and a strong version of the Sims conjecture. II

Cites work

• Base sizes for \(\mathcal S\)-actions of finite classical groups.
• Bounding the order of the vertex-stabiliser in 3-valent vertex-transitive and 4-valent arc-transitive graphs
• Determination of a class of primitive permutation groups
• Finite Permutation Groups and Finite Simple Groups
• Graphs and finite permutation groups
• scientific article; zbMATH DE number 4055862 (Why is no real title available?)
• scientific article; zbMATH DE number 3465520 (Why is no real title available?)
• scientific article; zbMATH DE number 1057878 (Why is no real title available?)
• scientific article; zbMATH DE number 894528 (Why is no real title available?)
• Locally dihedral amalgams of odd type.
• On Cameron's question about primitive permutation groups with stabilizer of two points that is normal in the stabilizer of one of them.
• On primitive permutation groups with small suborbits and their orbital graphs.
• On primitive permutation groups with the stabilizer of two points normal in the stabilizer of one of them.
• On primitive permutation groups with the stabilizer of two points that is normal in the stabilizer of one of them: case when the socle is a power of a sporadic simple group.
• On the order of arc-stabilisers in arc-transitive graphs with prescribed local group
• On the order of arc-stabilisers in arc-transitive graphs. II
• On the order of arc-stabilizers in arc-transitive graphs
• On the Sims Conjecture and Distance Transitive Graphs
• Primitive permutation groups with a suborbit of length 5 and vertex-primitive graphs of valency 5
• Primitive permutation groups with small orbitals
• The Kourovka notebook. Unsolved problems in group theory.
• The maximal subgroups of the low-dimensional finite classical groups.

Cited in

(6)

• Stabilizers of graph vertices and a strengthened version of the Sims conjecture
• On valency problems of Saxl graphs
• Some simplifications in the proof of the Sims conjecture
• A strong version of the Sims conjecture for primitive parabolic permutation representations of finite simple groups Lie types \(G_2\), \(F_4\) and \(E_6\)
• On Cameron's question about primitive permutation groups with stabilizer of two points that is normal in the stabilizer of one of them.
• An overview on vertex stabilizers in vertex-transitive graphs

This page was built for publication: A generalization of Sims' conjecture for finite primitive groups and two point stabilizers in primitive groups

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