Source author record

Luke Morgan

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GR math.CO math.RT

Catalog footprint

Research overview

11works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

A new infinite family of star normal quotient graphs of twisted wreath type

We construct the first infinite families of locally arc transitive graphs with the property that the automorphism group has two orbits on vertices and is quasiprimitive on exactly one orbit, of twisted wreath type. This work contributes to Giudici, Li and Praeger's program for the classification of locally arc transitive graphs by showing that the star normal quotient twisted wreath category also contains infinitely many graphs.

preprint2019arXiv

On $p$ -groups with automorphism groups related to the Chevalley group $G_2(p)$

Let $p$ be an odd prime. We construct a $p$ -group $P$ of nilpotency class two, rank seven and exponent $p$ , such that $\mathrm{Aut}(P)$ induces $N_{\mathrm{GL}(7,p)}(G_2(p)) = Z(\mathrm{GL}(7,p)) G_2(p)$ on the Frattini quotient $P/Φ(P)$ . The constructed group $P$ is the smallest $p$ -group with these properties, having order $p^{14}$ , and when $p = 3$ , our construction gives two nonisomorphic $p$ -groups. To show that $P$ satisfies the specified properties, we study the action of $G_2(q)$ on the octonion algebra over $\mathbb{F}_q$ , for each power $q$ of $p$ , and explore the reducibility of the exterior square of each irreducible seven-dimensional $\mathbb{F}_q[G_2(q)]$ -module.

preprint2016arXiv

A characterisation of weakly locally projective amalgams related to $A_{16}$ and the sporadic simple groups $M_{24}$ and $He$

A simple undirected graph is weakly $G$ -locally projective, for a group of automorphisms $G$ , if for each vertex $x$ , the stabiliser $G(x)$ induces on the set of vertices adjacent to $x$ a doubly transitive action with socle the projective group $L_{n_x}(q_x)$ for an integer $n_x$ and a prime power $q_x$ . It is $G$ -locally projective if in addition $G$ is vertex transitive. A theorem of Trofimov reduces the classification of the $G$ -locally projective graphs to the case where the distance factors are as in one of the known examples. Although an analogue of Trofimov's result is not yet available for weakly locally projective graphs, we would like to begin a program of characterising some of the remarkable examples. We show that if a graph is weakly locally projective with each $q_x =2$ and $n_x = 2$ or $3$ , and if the distance factors are as in the examples arising from the rank 3 tilde geometries of the groups $M_{24}$ and $He$ , then up to isomorphism there are exactly two possible amalgams. Moreover, we consider an infinite family of amalgams of type $\mathcal{U}_n$ (where each $q_x=2$ and $n=n_x+1\geq 4$ ) and prove that if $n\geq 5$ there is a unique amalgam of type $\mathcal{U}_n$ and it is unfaithful, whereas if $n=4$ then there are exactly four amalgams of type $\mathcal{U}_4$ , precisely two of which are faithful, namely the ones related to $M_{24}$ and $He$ , and one other which has faithful completion $A_{16}$ .

preprint2016arXiv

A theory of semiprimitive groups

A transitive permutation group is semiprimitive if each of its normal subgroups is transitive or semiregular. Interest in this class of groups is motivated by two sources: problems arising in universal algebra related to collapsing monoids and the graph-restrictive problem for permutation groups. Here we develop a theory of semiprimitive groups which encompasses their structure, their quotient actions and a method by which all finite semiprimitive groups are constructed. We also extend some results from the theory of primitive groups to semiprimitive groups, and conclude with open problems of a similar nature.

preprint2015arXiv

A note on the probability of generating alternating or symmetric groups

We improve on recent estimates for the probability of generating the alternating and symmetric groups $\mathrm{Alt}(n)$ and $\mathrm{Sym}(n)$ . In particular we find the sharp lower bound, if the probability is given by a quadratic in $n^{-1}$ . This leads to improved bounds on the largest number $h(\mathrm{Alt}(n))$ such that a direct product of $h(\mathrm{Alt}(n))$ copies of $\mathrm{Alt}(n)$ can be generated by two elements.

preprint2015arXiv

Generalised polygons admitting a point-primitive almost simple group of Suzuki or Ree type

Let $G$ be a collineation group of a thick finite generalised hexagon or generalised octagon $Γ$ . If $G$ acts primitively on the points of $Γ$ , then a recent result of Bamberg et al. shows that $G$ must be an almost simple group of Lie type. We show that, furthermore, the minimal normal subgroup $S$ of $G$ cannot be a Suzuki group or a Ree group of type $^2\text{G}_2$ , and that if $S$ is a Ree group of type $^2\text{F}_4$ , then $Γ$ is (up to point--line duality) the classical Ree--Tits generalised octagon.

preprint2015arXiv

On $2$ -arc-transitive graphs of order $kp^n$

We show that there exist functions $c$ and $g$ such that, if $k$ , $n$ and $d$ are positive integers with $d> g(n)$ and $Γ$ is a $d$ -valent $2$ -arc-transitive graph of order $kp^n$ with $p$ a prime, then $p\leqslant kc(d)$ . In other words, there are only finitely many $d$ -valent 2-arc-transitive graphs of order $kp^n$ with $d>g(n)$ and $p$ prime. This generalises a recent result of Conder, Li and Potočnik.

preprint2015arXiv

On locally semiprimitive graphs and a theorem of Weiss

In this paper we investigate graphs that admit a group acting arc-transitively such that the local action is semiprimitive with a regular normal nilpotent subgroup. This type of semiprimitive group is a generalisation of an affine group. We show that if the graph has valency coprime to six, then there is a bound on the order of the vertex stabilisers depending on the valency alone. We also prove a detailed structure theorem for the vertex stabilisers in the remaining case. This is a contribution to an ongoing project to investigate the validity of the Potočnik-Spiga-Verret Conjecture.

preprint2015arXiv

On the order of Borel subgroups of group amalgams and an application to locally-transitive graphs

A permutation group is called semiprimitive if each of its normal subgroups is either transitive or semiregular. Given nontrivial finite transitive permutation groups $L_1$ and $L_2$ with $L_1$ not semiprimitive, we construct an infinite family of rank two amalgams of permutation type $[L_1,L_2]$ and Borel subgroups of strictly increasing order. As an application, we show that there is no bound on the order of edge-stabilisers in locally $[L_1,L_2]$ graphs. We also consider the corresponding question for amalgams of rank $k\geq 3$ . We completely resolve this by showing that the order of the Borel subgroup is bounded by the permutation type $[L_1,...,L_k]$ only in the trivial case where each of $L_1,...,L_k$ is regular.

preprint2014arXiv

A class of semiprimitive groups that are graph-restrictive

We prove that an infinite family of semiprimitive groups are graph-restrictive. This adds to the evidence for the validity of the PSV Conjecture and increases the minimal imprimitive degree for which this conjecture is open to 12. Our result can be seen as a generalisation of the well-known theorem of Tutte on cubic graphs. The proof uses the amalgam method, adapted to this new situation.

preprint2014arXiv

Elusive groups of automorphisms of digraphs of small valency

A transitive permutation group is called elusive if it contains no semiregular element. We show that no group of automorphisms of a connected graph of valency at most four is elusive and determine all the elusive groups of automorphisms of connected digraphs of out-valency at most three.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Luke Morgan

Research overview

Is this your work?

11 publications

A new infinite family of star normal quotient graphs of twisted wreath type

On $p$ -groups with automorphism groups related to the Chevalley group $G_2(p)$

A characterisation of weakly locally projective amalgams related to $A_{16}$ and the sporadic simple groups $M_{24}$ and $He$

A theory of semiprimitive groups

A note on the probability of generating alternating or symmetric groups

Generalised polygons admitting a point-primitive almost simple group of Suzuki or Ree type

On $2$ -arc-transitive graphs of order $kp^n$

On locally semiprimitive graphs and a theorem of Weiss

On the order of Borel subgroups of group amalgams and an application to locally-transitive graphs

A class of semiprimitive groups that are graph-restrictive

Elusive groups of automorphisms of digraphs of small valency

See the researcher in context

Building this map preview

Luke Morgan

Research overview

Is this your work?

11 publications

A new infinite family of star normal quotient graphs of twisted wreath type

On ppp-groups with automorphism groups related to the Chevalley group G2(p)G_2(p)G2​(p)

A characterisation of weakly locally projective amalgams related to A16A_{16}A16​ and the sporadic simple groups M24M_{24}M24​ and HeHeHe

A theory of semiprimitive groups

A note on the probability of generating alternating or symmetric groups

Generalised polygons admitting a point-primitive almost simple group of Suzuki or Ree type

On 222-arc-transitive graphs of order kpnkp^nkpn

On locally semiprimitive graphs and a theorem of Weiss

On the order of Borel subgroups of group amalgams and an application to locally-transitive graphs

A class of semiprimitive groups that are graph-restrictive

Elusive groups of automorphisms of digraphs of small valency

See the researcher in context

Building this map preview

On $p$ -groups with automorphism groups related to the Chevalley group $G_2(p)$

A characterisation of weakly locally projective amalgams related to $A_{16}$ and the sporadic simple groups $M_{24}$ and $He$

On $2$ -arc-transitive graphs of order $kp^n$