Base sizes for primitive groups with soluble stabilisers

DOI10.2140/ANT.2021.15.1755zbMATH Open1486.20002arXiv2006.10510OpenAlexW3125988253WikidataQ114045559 ScholiaQ114045559MaRDI QIDQ2239243FDOQ2239243

Authors: Timothy C. Burness 

Publication date: 3 November 2021

Published in: Algebra \& Number Theory (Search for Journal in Brave)

Abstract: Let $G$ be a finite primitive permutation group on a set $Omega$ with point stabiliser $H$. Recall that a subset of $Omega$ is a base for $G$ if its pointwise stabiliser is trivial. We define the base size of $G$, denoted $b(G,H)$, to be the minimal size of a base for $G$. Determining the base size of a group is a fundamental problem in permutation group theory, with a long history stretching back to the 19th century. Here one of our main motivations is a theorem of Seress from 1996, which states that $b(G,H)leqslant4$ if $G$ is soluble. In this paper we extend Seress' result by proving that $b(G,H)leqslant5$ for all finite primitive groups $G$ with a soluble point stabiliser $H$. This bound is best possible. We also determine the exact base size for all almost simple groups and we study random bases in this setting. For example, we prove that the probability that $4$ random elements in $Omega$ form a base tends to $1$ as $|G|$ tends to infinity.

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

Recommendations

• On the orders of doubly transitive permutation groups, elementary estimates
• The Minimal Base Size of Primitive Solvable Permutation Groups
• scientific article; zbMATH DE number 1981753
• Base sizes for sporadic simple groups.
• On base sizes for symmetric groups
• Permutation groups with restricted stabilizers
• Base sizes of primitive groups: bounds with explicit constants
• On the dimension of finite permutation group actions
• Base sizes of primitive permutation groups
• On Pyber's base size conjecture.

zbMATH Keywords

primitive permutation groupbase sizerandom basesoluble point stabilizer

Mathematics Subject Classification ID

Primitive groups (20B15) Simple groups: alternating groups and groups of Lie type (20D06) Finite solvable groups, theory of formations, Schunck classes, Fitting classes, (pi)-length, ranks (20D10)

Cites Work

• The Magma algebra system. I: The user language
• The maximal subgroups of the low-dimensional finite classical groups.
• Base size, metric dimension and other invariants of groups and graphs
• Simple groups, permutation groups, and probability
• The Minimal Base Size of Primitive Solvable Permutation Groups
• On Pyber's base size conjecture.
• Orbit sizes, character degrees and Sylow subgroups.
• Involutions in Chevalley groups over fields of even order
• The Character Tables for SL(3, q), SU(3, q²), PSL(3, q), PSU(3, q²)
• Distance-transitive representations of groups G with \(PSL_ 2(q)\trianglelefteq G\leq P\Gamma L_ 2(q)\)
• On the order of uniprimitive permutation groups
• On base sizes for symmetric groups
• Base sizes for sporadic simple groups.
• The conjugate classes of Chevalley groups of type \((G_2)\)
• A polynomial bound for the orders of primitive solvable groups
• Groups without faithful transitive permutation representations of small degree
• Regular orbits of solvable linear \(p'\)-groups.
• Every coprime linear group admits a base of size two
• On minimal degrees and base sizes of primitive permutation groups
• The finite primitive groups with soluble stabilizers, and the edge-primitive \(s\)-arc transitive graphs.
• Fixed point ratios in actions of finite classical groups. II.
• Fixed point ratios in actions of finite exceptional groups of Lie type.
• Classical Groups, Derangements and Primes
• Base sizes for simple groups and a conjecture of Cameron
• On the intersections of solvable Hall subgroups in finite groups.
• Random Permutations: Some Group-Theoretic Aspects
• PARTITION ACTIONS OF SYMMETRIC GROUPS AND REGULAR BIPARTITE GRAPHS
• On base sizes for actions of finite classical groups
• The Classification of Extremely Primitive Groups
• Base sizes of primitive groups: bounds with explicit constants
• Fixed point ratios in actions of finite classical groups. III.
• Fixed point ratios in actions of finite classical groups. IV.
• Minimum bases for permutation groups: The greedy approximation
• On base sizes for almost simple primitive groups
• A proof of Pyber's base size conjecture
• Intersection of conjugate solvable subgroups in symmetric groups
• On the base size of a transitive group with solvable point stabilizer.
• The minimum length of a base for the symmetric group acting on partitions
• On the base size for the symmetric group acting on subsets.
• The Character Theory of Finite Groups of Lie Type
• On the base size of the symmetric and the alternating group acting on partitions
• Finite groups, 2-generation and the uniform domination number
• Simple groups, fixed point ratios and applications
• On the Saxl graph of a permutation group

Cited In (28)

• On the Burness-Giudici conjecture
• Irredundant bases for finite groups of Lie type
• ON THE HEIGHT AND RELATIONAL COMPLEXITY OF A FINITE PERMUTATION GROUP
• Base sizes of primitive permutation groups
• Normalisers of maximal tori and a conjecture of Vdovin
• Every coprime linear group admits a base of size two
• On soluble subgroups of sporadic groups
• Fixed point ratios for finite primitive groups and applications
• Bases of primitive linear groups.
• Base sizes of primitive groups of diagonal type
• Permutation groups with restricted stabilizers
• Generalized bases of finite groups
• Random bases for coprime linear groups
• Strongly base-two groups
• On the regularity number of a finite group and other base-related invariants
• On minimal degrees and base sizes of primitive permutation groups
• On the base size of a transitive group with solvable point stabilizer.
• Finite groups, minimal bases and the intersection number
• On the soluble graph of a finite group
• On base sizes for primitive groups of product type
• On the Saxl graphs of primitive groups with soluble stabilisers
• On valency problems of Saxl graphs
• Bases of twisted wreath products
• On relational complexity and base size of finite primitive groups
• Base Sizes and Regular Orbits for Coprime Affine Permutation Groups
• INTERSECTION OF CONJUGATE SOLVABLE SUBGROUPS IN FINITE CLASSICAL GROUPS
• On base sizes for symmetric groups
• The Minimal Base Size of Primitive Solvable Permutation Groups

This page was built for publication: Base sizes for primitive groups with soluble stabilisers

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