Bases of twisted wreath products

Abstract

We study the base sizes of finite quasiprimitive permutation groups of twisted wreath type, which are precisely the finite permutation groups with a unique minimal normal subgroup that is also non-abelian, non-simple and regular. Every permutation group of twisted wreath type is permutation isomorphic to a twisted wreath product G = T k :P acting on its base group Ω = T k , where T is some non-abelian simple group and P is some group acting transitively on k = {1, . . . , k} with k 2. We prove that if G is primitive on Ω and P is quasiprimitive on k, then G has base size 2. We also prove that the proportion of pairs of points that are bases for G tends to 1 as |G| → ∞ when G is primitive on Ω and P is primitive on k. Lastly, we determine the base size of any quasiprimitive group of twisted wreath type up to four possible values (and three in the primitive case). In particular, we demonstrate that there are many families of primitive groups of twisted wreath type with arbitrarily large base sizes.

Fixed point ratios for finite primitive groups and applications

“…Write G = T k :H, where T is a nonabelian finite simple group and the point stabilizer H is a transitive subgroup of S k . Let x ∈ H be an element of prime order r. Then by applying [23,Lemmas 5.3,5.4] we deduce that fpr(x) |T | ℓ−k , where ℓ is the number of r-cycles in the cycle-shape of x (with respect to the action on {1, . .…”

On the Saxl graphs of primitive groups with soluble stabilisers

“…Although a complete classification of the base-two primitive groups remains out of reach, there has been some significant progress. For instance, we refer the reader to [24,25] for work of Fawcett on diagonal-type groups and twisted Date: May 26, 2021. wreath products, respectively, and there are various partial results for affine-type groups (see [26,27], for example). Similarly, we refer the reader to [7,12,13,16] for results towards a classification of the base-two almost simple groups.…”