Source author record

Melissa Lee

Melissa Lee appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.CO math.GR math.RT

Catalog footprint

What is connected

6works

3topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2022arXiv

$\text{M}$, $\text{B}$ and $\text{Co}_1$ are recognisable by their prime graphs

The prime graph, or Gruenberg--Kegel graph, of a finite group $G$ is the graph $Γ(G)$ whose vertices are the prime divisors of $|G|$, and whose edges are the pairs $\{p,q\}$ for which $G$ contains an element of order $pq$. A finite group $G$ is recognisable by its prime graph if every finite group $H$ with $Γ(H)=Γ(G)$ is isomorphic to $G$. By a result of Cameron and Maslova, every such group must be almost simple, so one natural case to investigate is that in which $G$ is one of the $26$ sporadic simple groups. Existing work of various authors answers the question of recognisability by prime graph for all but three of these groups, namely the Monster, $\text{M}$, the Baby Monster, $\text{B}$, and the first Conway group, $\text{Co}_1$. We prove that these three groups are recognisable by their prime graphs.

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.

preprint2020arXiv

Regular orbits of quasisimple linear groups II

Let $V$ be a finite-dimensional vector space over a finite field, and suppose $G \leq Γ\mathrm{L}(V)$ is a group with a unique subnormal quasisimple subgroup $E(G)$ that is absolutely irreducible on $V$. A base for $G$ is a set of vectors $B\subseteq V$ with pointwise stabiliser $G_B=1$. If $G$ has a base of size 1, we say that it has a regular orbit on $V$. In this paper we investigate the minimal base size of groups $G$ with $E(G)/Z(E(G)) \cong \mathrm{PSL}_n(q)$ in defining characteristic, with an aim of classifying those with a regular orbit on $V$.

preprint2016arXiv

A New Infinite Family of Hemisystems of the Hermitian Surface

In this paper, we construct an infinite family of hemisystems of the Hermitian surface $\mathsf{H}(3,q^2)$. In particular, we show that for every odd prime power $q$ congruent to $3$ modulo $4$, there exists a hemisystem of $\mathsf{H}(3,q^2)$ admitting $C_{(q^3+1)/4} : C_3$.

preprint2016arXiv

A relative $m$-cover of a Hermitian surface is a relative hemisystem

An $m$-cover of the Hermitian surface $H(3,q^2)$ of $PG(3,q^2)$ is a set $\mathcal{S}$ of lines of $H(3,q^2)$ such that every point of $H(3,q^2)$ lies on exactly $m$ lines of $\mathcal{S}$, and $0<m<q+1$. Segre (1965) proved that if $q$ is odd, then $m=(q+1)/2$, and called such a set $\mathcal{S}$ of lines a hemisystem. Penttila and Williford (2011) introduced the notion of a relative hemisystem: a set of lines $\mathcal{R}$ of $H(3,q^2)$, $q$ even, disjoint from a symplectic subgeometry $W(3,q)$ such that every point of $H(3,q^2)\setminus W(3,q)$ lies on exactly $q/2$ elements of $\mathcal{R}$. In this paper, we provide an analogue of Segre's result by introducing relative $m$-covers of $H(3,q^2)$ with respect to a symplectic subgeometry and proving that $m$ must necessarily be $q/2$.

preprint2015arXiv

A note on relative hemisystems of Hermitian generalised quadrangles

In this paper we introduce a set of sufficient criteria for the construction of relative hemisystems of the Hermitian space $\mathrm{H}(3,q^2)$, unifying all known infinite families. We use these conditions to provide new proofs of the existence of the known infinite families of relative hemisystems. Reproving these results has allowed us to find new relative hemisystems closely related to an infinite family of Cossidente's, and develop techniques that are likely to be useful in finding relative hemisystems in future.