BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
Let G be a finite group, let H be a core-free subgroup and let b(G,H) denote the base size for the action of G on G/H. Let α(G) be the number of conjugacy classes of core-free subgroups H of G with b(G,H)⩾3. We say that G is a strongly base-two group if α(G)⩽1, which means that almost every faithful transitive permutation representation of G has base size 2. In this paper we study the strongly base-two finite groups with trivial Frattini subgroup.
Let G⩽Sym(Ω) be a finite permutation group and recall that the base size of G is the minimal size of a subset of Ω with trivial pointwise stabiliser. There is an extensive literature on base sizes for primitive groups, but there are very few results for primitive groups of product type. In this paper, we initiate a systematic study of bases in this setting. Our first main result determines the base size of every product type primitive group of the form L≀P⩽Sym(Ω) with soluble point stabilisers, where Ω=Γk, L⩽Sym(Γ) and P⩽Sk is transitive. This extends recent work of Burness on almost simple primitive groups. We also obtain an expression for the number of regular suborbits of any product type group of the form L≀P and we classify the groups with a unique regular suborbit under the assumption that P is primitive, which involves extending earlier results due to Seress and Dolfi. We present applications on the Saxl graphs of base-two product type groups and we conclude by establishing several new results on base sizes for general product type primitive groups.
Let G be a finite non-regular primitive permutation group on a set Ω with point stabiliser Gα. Then G is said to be extremely primitive if Gα acts primitively on each of its orbits in Ω∖{α}, which is a notion dating back to work of Manning in the 1920s. By a theorem of Mann, Praeger and Seress, it is known that every extremely primitive group is either almost simple or affine, and all the almost simple examples have subsequently been determined. Similarly, Mann et al. have classified all of the affine extremely primitive groups up to a finite, but undetermined, collection of groups. Moreover, if one assumes Wall's conjecture on the number of maximal subgroups of an almost simple group, then there is an explicit list of candidates, each of which has been eliminated in a recent paper by Burness and Thomas. So, modulo Wall's conjecture, the classification of extremely primitive groups is complete. In this paper we adopt a different approach, which allows us to complete this classification in full generality, independent of the veracity or otherwise of Wall's conjecture in the almost simple setting. Our method relies on recent work of Fawcett, Lee and others on the existence of regular orbits of almost simple groups acting on irreducible modules.
Let G be a finite simple group of Lie type and let P be a Sylow 2-subgroup of G. In this paper, we prove that for any nontrivial element x∈G, there exists g∈G such that G=⟨P,xg⟩. By combining this result with recent work of Breuer and Guralnick, we deduce that if G is a finite nonabelian simple group and r is any prime divisor of ∣G∣, then G is generated by a Sylow 2-subgroup and a Sylow r-subgroup.
Let G be a transitive permutation group on a finite set Ω and recall that a base for G is a subset of Ω with trivial pointwise stabiliser. The base size of G, denoted b(G), is the minimal size of a base. If b(G)=2 then we can study the Saxl graph Σ(G) of G, which has vertex set Ω and two vertices are adjacent if they form a base. This is a vertex-transitive graph, which is conjectured to be connected with diameter at most 2 when G is primitive. In this paper, we combine probabilistic and computational methods to prove a strong form of this conjecture for all almost simple primitive groups with soluble point stabilisers. In this setting, we also establish best possible lower bounds on the clique and independence numbers of Σ(G) and we determine the groups with a unique regular suborbit, which can be interpreted in terms of the valency of Σ(G).
A group G is said to be 23-generated if every nontrivial element belongs to a generating pair. It is easy to see that if G has this property then every proper quotient of G is cyclic. In this paper we prove that the converse is true for finite groups, which settles a conjecture of Breuer, Guralnick and Kantor from 2008. In fact, we prove a much stronger result, which solves a problem posed by Brenner and Wiegold in 1975. Namely, if G is a finite group and every proper quotient of G is cyclic, then for any pair of nontrivial elements x1,x2∈G, there exists y∈G such that G=⟨x1,y⟩=⟨x2,y⟩. In other words, s(G)⩾2, where s(G) is the spread of G. Moreover, if u(G) denotes the more restrictive uniform spread of G, then we can completely characterise the finite groups G with u(G)=0 and u(G)=1. To prove these results, we first establish a reduction to almost simple groups. For simple groups, the result was proved by Guralnick and Kantor in 2000 using probabilistic methods and since then the almost simple groups have been the subject of several papers. By combining our reduction theorem and this earlier work, it remains to handle the groups whose socles are exceptional groups of Lie type and this is the case we treat in this paper.
Let G be a finite primitive permutation group on a set Ω with nontrivial point stabilizer Gα. We say that G is extremely primitive if Gα acts primitively on each of its orbits in Ω∖{α}. In earlier work, Mann, Praeger and Seress have proved that every extremely primitive group is either almost simple or of affine type and they have classified the affine groups up to the possibility of at most finitely many exceptions. More recently, the almost simple extremely primitive groups have been completely determined. If one assumes Wall's conjecture on the number of maximal subgroups of almost simple groups, then the results of Mann et al. show that it just remains to eliminate an explicit list of affine groups in order to complete the classification of the extremely primitive groups. Mann et al. have conjectured that none of these affine candidates are extremely primitive and our main result confirms this conjecture.
Let G be a simple algebraic group over an algebraically closed field k and let C1,…,Ct be non-central conjugacy classes in G. In this paper, we consider the problem of determining whether there exist gi∈Ci such that ⟨g1,…,gt⟩ is Zariski dense in G. First we establish a general result, which shows that if Ω is an irreducible subvariety of Gt, then the set of tuples in Ω generating a dense subgroup of G is either empty or dense in Ω. In the special case Ω=C1×⋯×Ct, by considering the dimensions of fixed point spaces, we prove that this set is dense when G is an exceptional algebraic group and t⩾5, assuming k is not algebraic over a finite field. In fact, for G=G2 we only need t⩾4 and both of these bounds are best possible. As an application, we show that many faithful representations of exceptional algebraic groups are generically free. We also establish new results on the topological generation of exceptional groups in the special case t=2, which have applications to random generation of finite exceptional groups of Lie type. In particular, we prove a conjecture of Liebeck and Shalev on the random (r,s)-generation of exceptional groups.
Let G be a permutation group on a set Ω. A subset of Ω is a base for G if its pointwise stabiliser in G is trivial. In this paper we introduce and study an associated graph Σ(G), which we call the Saxl graph of G. The vertices of Σ(G) are the points of Ω, and two vertices are adjacent if they form a base for G. This graph encodes some interesting properties of the permutation group. We investigate the connectivity of Σ(G) for a finite transitive group G, as well as its diameter, Hamiltonicity, clique and independence numbers, and we present several open problems. For instance, we conjecture that if G is a primitive group with a base of size 2, then the diameter of Σ(G) is at most 2. Using a probabilistic approach, we establish the conjecture for some families of almost simple groups. For example, the conjecture holds when G=Sn or An (with n>12) and the point stabiliser of G is a primitive subgroup. In contrast, we can construct imprimitive groups whose Saxl graph is disconnected with arbitrarily many connected components, or connected with arbitrarily large diameter.
Let G be a finite almost simple group. It is well known that G can be generated by 3 elements, and in previous work we showed that 6 generators suffice for all maximal subgroups of G. In this paper we consider subgroups at the next level of the subgroup lattice - the so-called second maximal subgroups. We prove that with the possible exception of some families of rank 1 groups of Lie type, the number of generators of every second maximal subgroup of G is bounded by an absolute constant. We also show that such a bound holds without any exceptions if and only if there are only finitely many primes r for which there is a prime power q such that (qr−1)/(q−1) is prime. The latter statement is a formidable open problem in Number Theory. Applications to random generation and polynomial growth are also given.
Let G be a simple algebraic group over an algebraically closed field K of characteristic p⩾0, let H be a proper closed subgroup of G and let V be a nontrivial irreducible KG-module, which is p-restricted, tensor indecomposable and rational. Assume that the restriction of V to H is irreducible. In this paper, we study the triples (G,H,V) of this form when G is a classical group and H is positive-dimensional. Combined with earlier work of Dynkin, Seitz, Testerman and others, our main theorem reduces the problem of classifying the triples (G,H,V) to the case where G is an orthogonal group, V is a spin module and H normalizes an orthogonal decomposition of the natural KG-module.
Let G be a transitive permutation group on a finite set of size at least 2. By a well known theorem of Fein, Kantor and Schacher, G contains a derangement of prime power order. In this paper, we study the finite primitive permutation groups with the extremal property that the order of every derangement is an r-power, for some fixed prime r. First we show that these groups are either almost simple or affine, and we determine all the almost simple groups with this property. We also prove that an affine group G has this property if and only if every two-point stabilizer is an r-group. Here the structure of G has been extensively studied in work of Guralnick and Wiegand on the multiplicative structure of Galois field extensions, and in later work of Fleischmann, Lempken and Tiep on r′-semiregular pairs.
Let G be a finite primitive permutation group and let κ(G) be the number of conjugacy classes of derangements in G. By a classical theorem of Jordan, κ(G)⩾1. In this paper we classify the groups G with κ(G)=1, and we use this to obtain new results on the structure of finite groups with an irreducible complex character that vanishes on a unique conjugacy class. We also obtain detailed structural information on the groups with κ(G)=2, including a complete classification for almost simple groups.
Let G be a finite group. A proper subgroup H of G is said to be large if the order of H satisfies the bound ∣H∣3≥∣G∣. In this note we determine all the large maximal subgroups of finite simple groups, and we establish an analogous result for simple algebraic groups (in this context, largeness is defined in terms of dimension). An application to triple factorisations of simple groups (both finite and algebraic) is discussed.
Let G be a simple classical algebraic group over an algebraically closed field K of characteristic p≥0 with natural module W. Let H be a closed subgroup of G and let V be a non-trivial irreducible tensor-indecomposable p-restricted rational KG-module such that the restriction of V to H is irreducible. In this paper we classify all such triples (G,H,V), where H is a maximal closed disconnected positive-dimensional subgroup of G, and H preserves a natural geometric structure on W.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.