BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Timothy C. Burness

Timothy C. Burness contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GRmath.COmath.RT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2023arXiv

Strongly base-two groups

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) \geqslant 3$. We say that $G$ is a strongly base-two group if $α(G) \leqslant 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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On base sizes for primitive groups of product type

Let $G \leqslant {\rm 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 \wr P \leqslant {\rm Sym}(Ω)$ with soluble point stabilisers, where $Ω= Γ^k$, $L \leqslant {\rm Sym}(Γ)$ and $P \leqslant S_k$ 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 \wr 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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On the classification of extremely primitive affine 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 $Ω\setminus \{α\}$, 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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On the generation of simple groups by Sylow subgroups

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 \in G$, there exists $g \in G$ such that $G = \langle P, x^g \rangle$. 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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On the Saxl graphs of primitive groups with soluble stabilisers

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)$.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

The spread of a finite group

A group $G$ is said to be $\frac{3}{2}$-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 $x_1,x_2 \in G$, there exists $y \in G$ such that $G = \langle x_1, y \rangle = \langle x_2, y \rangle$. In other words, $s(G) \geqslant 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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A note on extremely primitive affine groups

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 $Ω\setminus \{α\}$. 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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Topological generation of exceptional algebraic groups

Let $G$ be a simple algebraic group over an algebraically closed field $k$ and let $C_1, \ldots, C_t$ be non-central conjugacy classes in $G$. In this paper, we consider the problem of determining whether there exist $g_i \in C_i$ such that $\langle g_1, \ldots, g_t \rangle$ is Zariski dense in $G$. First we establish a general result, which shows that if $Ω$ is an irreducible subvariety of $G^t$, then the set of tuples in $Ω$ generating a dense subgroup of $G$ is either empty or dense in $Ω$. In the special case $Ω= C_1 \times \cdots \times C_t$, by considering the dimensions of fixed point spaces, we prove that this set is dense when $G$ is an exceptional algebraic group and $t \geqslant 5$, assuming $k$ is not algebraic over a finite field. In fact, for $G=G_2$ we only need $t \geqslant 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.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

On the Saxl graph of a permutation group

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=S_n$ or $A_n$ (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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Irreducible geometric subgroups of classical algebraic groups

Let $G$ be a simple classical algebraic group over an algebraically closed field $K$ of characteristic $p \ge 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$.

0 citations0 reviewsNo code linkedOpen access