BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Veronica Kelsey contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
The maximal rank of an abstract regular polytope for M24, the Mathieu group of degree 24, is 5. There are four such polytopes of rank 5 and in this note we describe them using Curtis's MOG. This description is then used to give an upper bound for the diameter of the chamber graphs of these polytopes.
In this paper we show that if $G$ is a primitive subgroup of $S_{n}$ that is not large base, then any irredundant base for $G$ has size at most $5 \log n$. This is the first logarithmic bound on the size of an irredundant base for such groups, and is best possible up to a small constant. As a corollary, the relational complexity of $G$ is at most $5 \log n+1$, and the maximal size of a minimal base and the height are both at most $5 \log n.$ Furthermore, we deduce that a base for $G$ of size at most $5 \log n$ can be computed in polynomial time.
The generating graph $Γ(G)$ of a finite group $G$ has vertex set the non-identity elements of $G$, with two elements connected exactly when they generate $G$. A coclique in a graph is an empty induced subgraph, so a coclique in $Γ(G)$ is a subset of $G$ such that no pair of elements generate $G$. A coclique is maximal if it is contained in no larger coclique. It is easy to see that the non-identity elements of a maximal subgroup of $G$ form a coclique in $Γ(G)$, but this coclique need not be maximal. In this paper we determine when the intransitive maximal subgroups of $\textrm{S}_n$ and $\textrm{A}_n$ are maximal cocliques in the generating graph. In addition, we prove a conjecture of Cameron, Lucchini, and Roney-Dougal [3] in the case of $G = \textrm{A}_n$ and $\textrm{S}_n$, when n is prime and $n \neq \frac{(q^d -1)}{(q-1)}$ for all prime powers $q$ and $d \geq 2$. Namely, we show that two elements of $G$ have identical sets of neighbours in $Γ(G)$ if and only if they belong to exactly the same maximal subgroups.