The base size of a primitive diagonal group.

DOI10.1016/J.JALGEBRA.2012.11.020MaRDI QIDQ372677zbMATH OpenOpenAlexFDO

Authors Joanna B. Fawcett

Publication date 9 October 2013

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1205.2079, http://www.sciencedirect.com/science/article/pii/S0021869312005674

zbMATH Keywords

base sizesdiagonal actionsfinite permutation groupsprimitive groupsPyber conjecture

Mathematics Subject Classification ID

General theory for finite permutation groups (20B05) Primitive groups (20B15) Probabilistic methods in group theory (20P05)

Abstract: A base B for a finite permutation group G acting on a set X is a subset of X with the property that only the identity of G can fix every point of B. We prove that a primitive diagonal group G has a base of size 2 unless the top group of G is the alternating or symmetric group acting naturally, in which case a tight bound for the minimal base size of G is given. This bound also satisfies a well-known conjecture of Pyber. Moreover, we prove that if the top group of G does not contain the alternating group, then the proportion of pairs of points that are bases for G tends to 1 as |G| tends to infinity. A similar result for the case when the degree of the top group is fixed is given.

Review text

A base for a permutation group \(G\) acting on a set \(\Omega\) is a subset of \(\Omega\) whose pointwise stabiliser in \(G\) is trivial; and the base size of \(G\) is the minimal size of such a base. Recent work by several authors aims to classify the primitive permutation groups with base size 2. In this paper, the author focuses on diagonal type groups.NEWLINENEWLINE In particular, the author proves that if the top group is not the alternating or the symmetric group (of degree the number of factors of the socle), then the base size is 2. Moreover, the author proves that, in that case, the proportion of pairs of \(\Omega\) that are bases tends to 1 as \(|G|\) grows to infinity.NEWLINENEWLINE In all other cases (that is, if the top group contains the alternating group), then the author determines the base size up to two possible values. A corollary of these results is that a conjecture of Pyber is verified for the case of diagonal groups: there is an absolute constant \(c\) such that the base size of a primitive permutation group \(G\) is at most \(c\log|G|/\log|\Omega|\). More precisely, for groups of diagonal type, the base size is bounded by \(\lceil\log|G|/\log|\Omega|\rceil+2\).NEWLINENEWLINE Finally, for a fixed number \(\geq 5\) of factors in the socle, the proportion of pairs of \(\Omega\) that are bases also tends to 1 as \(|G|\) grows to infinity.

Recommendations

• On base sizes for symmetric groups
• On Pyber's base size conjecture.
• Base sizes of primitive groups: bounds with explicit constants
• Bases for primitive permutation groups and a conjecture of Babai
• Base sizes of primitive permutation groups

Cited in

(33)

• A proof of Pyber's base size conjecture
• Regular orbits of sporadic simple groups
• Base sizes of primitive groups: bounds with explicit constants
• Bases of primitive linear groups.
• On the base size of the symmetric and the alternating group acting on partitions
• On base sizes for algebraic groups
• Regular orbits of quasisimple linear groups. II
• Regular orbits of quasisimple linear groups. I
• Primitive permutation IBIS groups
• On base sizes for primitive groups of product type
• On the Saxl graphs of primitive groups with soluble stabilisers
• Fixed point ratios for finite primitive groups and applications
• Base sizes of primitive permutation groups
• Permutation groups with restricted stabilizers
• Bases of twisted wreath products
• Base size sets and determining sets
• Base sizes of imprimitive linear groups and orbits of general linear groups on spanning tuples
• Permutation groups whose non-identity elements have k fixed points
• Every coprime linear group admits a base of size two
• Regular orbits of symmetric and alternating groups
• On base sizes for symmetric groups
• ON THE HEIGHT AND RELATIONAL COMPLEXITY OF A FINITE PERMUTATION GROUP
• The geometry of diagonal groups
• On the Saxl graph of a permutation group
• On Pyber's base size conjecture.
• Strongly base-two groups
• On the Burness-Giudici conjecture
• Base sizes of primitive groups of diagonal type
• Closures of permutation groups with restricted nonabelian composition factors
• Computational group theory: bedrock and new frontiers
• On the minimal degree and base size of finite primitive groups
• Obituary: Jan Saxl (1948--2020)
• On the generalised Saxl graphs of permutation groups

Describes a project that uses

Uses Software

• GAP

This page was built for publication: The base size of a primitive diagonal group.

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