We solve a fundamental question posed in Frohardt’s 1988 paper [6] on finite $2$-groups with Kantor familes, by showing that finite groups K with a Kantor family $(\mathcal {F},\mathcal {F}^*)$ having distinct members $A, B \in \mathcal {F}$ such that $A^* \cap B^*$ is a central subgroup of K and the quotient $K/(A^* \cap B^*)$ is abelian cannot exist if the center of K has exponent $4$ and the members of $\mathcal {F}$ are elementary abelian. Then we give a short geometrical proof of a recent result of Ott which says that finite skew translation quadrangles of even order $(t,t)$ (where t is not a square) are always translation generalized quadrangles. This is a consequence of a complete classification of finite cyclic skew translation quadrangles of order $(t,t)$ that we carry out in the present paper.

We give a lattice theoretical interpretation of generalized deep holes of the Leech lattice VOA $V_\Lambda $. We show that a generalized deep hole defines a ‘true’ automorphism invariant deep hole of the Leech lattice. We also show that there is a correspondence between the set of isomorphism classes of holomorphic VOA V of central charge $24$ having non-abelian $V_1$ and the set of equivalence classes of pairs $(\tau , \tilde {\beta })$ satisfying certain conditions, where $\tau \in Co.0$ and $\tilde {\beta }$ is a $\tau $-invariant deep hole of squared length $2$. It provides a new combinatorial approach towards the classification of holomorphic VOAs of central charge $24$. In particular, we give an explanation for an observation of G. Höhn, which relates the weight one Lie algebras of holomorphic VOAs of central charge $24$ to certain codewords associated with the glue codes of Niemeier lattices.

Let G be a finite transitive group on a set $\Omega $, let $\alpha \in \Omega $, and let $G_{\alpha }$ be the stabilizer of the point $\alpha $ in G. In this paper, we are interested in the proportion

$$ \begin{align*} \frac{|\{\omega\in \Omega\mid \omega \textrm{ lies in a }G_{\alpha}\textrm{-orbit of cardinality at most 2}\}|}{|\Omega|}, \end{align*} $$

that is, the proportion of elements of $\Omega $ lying in a suborbit of cardinality at most 2. We show that, if this proportion is greater than $5/6$, then each element of $\Omega $ lies in a suborbit of cardinality at most 2, and hence G is classified by a result of Bergman and Lenstra. We also classify the permutation groups attaining the bound $5/6$.

We use these results to answer a question concerning the enumeration of Cayley graphs. Given a transitive group G containing a regular subgroup R, we determine an upper bound on the number of Cayley graphs on R containing G in their automorphism groups.

We show that the only finite quasi-simple non-abelian groups that can faithfully act on rationally connected threefolds are the following groups: ${\mathfrak{A}}_5$, ${\text{PSL}}_2(\textbf{F}_7)$, ${\mathfrak{A}}_6$, ${\text{SL}}_2(\textbf{F}_8)$, ${\mathfrak{A}}_7$, ${\text{PSp}}_4(\textbf{F}_3)$, ${\text{SL}}_2(\textbf{F}_{7})$, $2.{\mathfrak{A}}_5$, $2.{\mathfrak{A}}_6$, $3.{\mathfrak{A}}_6$ or $6.{\mathfrak{A}}_6$. All of these groups with a possible exception of $2.{\mathfrak{A}}_6$ and $6.{\mathfrak{A}}_6$ indeed act on some rationally connected threefolds.

We determine all finite sets of equiangular lines spanning finite-dimensional complex unitary spaces for which the action on the lines of the set-stabiliser in the unitary group is 2-transitive with a regular normal subgroup.

We give a sufficient and necessary condition for a Praeger–Xu graph to be a Cayley graph.

A noncomplete graph is $2$-distance-transitive if, for $i \in \{1,2\}$ and for any two vertex pairs $(u_1,v_1)$ and $(u_2,v_2)$ with the same distance i in the graph, there exists an element of the graph automorphism group that maps $(u_1,v_1)$ to $(u_2,v_2)$. This paper determines the family of $2$-distance-transitive Cayley graphs over dihedral groups, and it is shown that if the girth of such a graph is not $4$, then either it is a known $2$-arc-transitive graph or it is isomorphic to one of the following two graphs: $ {\mathrm {K}}_{x[y]}$, where $x\geq 3,y\geq 2$, and $G(2,p,({p-1})/{4})$, where p is a prime and $p \equiv 1 \ (\operatorname {mod}\, 8)$. Then, as an application of the above result, a complete classification is achieved of the family of $2$-geodesic-transitive Cayley graphs for dihedral groups.

A classical theorem of Frucht states that any finite group appears as the automorphism group of a finite graph. In the quantum setting, the problem is to understand the structure of the compact quantum groups which can appear as quantum automorphism groups of finite graphs. We discuss here this question, notably with a number of negative results.

A graph is edge-primitive if its automorphism group acts primitively on the edge set, and $2$-arc-transitive if its automorphism group acts transitively on the set of $2$-arcs. In this paper, we present a classification for those edge-primitive graphs that are $2$-arc-transitive and have soluble edge-stabilizers.

Let G be a permutation group on a set $\Omega $ of size t. We say that $\Lambda \subseteq \Omega $ is an independent set if its pointwise stabilizer is not equal to the pointwise stabilizer of any proper subset of $\Lambda $. We define the height of G to be the maximum size of an independent set, and we denote this quantity $\textrm{H}(G)$. In this paper, we study $\textrm{H}(G)$ for the case when G is primitive. Our main result asserts that either $\textrm{H}(G)< 9\log t$ or else G is in a particular well-studied family (the primitive large–base groups). An immediate corollary of this result is a characterization of primitive permutation groups with large relational complexity, the latter quantity being a statistic introduced by Cherlin in his study of the model theory of permutation groups. We also study $\textrm{I}(G)$, the maximum length of an irredundant base of G, in which case we prove that if G is primitive, then either $\textrm{I}(G)<7\log t$ or else, again, G is in a particular family (which includes the primitive large–base groups as well as some others).

A graph $\Gamma $ is called $(G, s)$-arc-transitive if $G \le \text{Aut} (\Gamma )$ is transitive on the set of vertices of $\Gamma $ and the set of s-arcs of $\Gamma $, where for an integer $s \ge 1$ an s-arc of $\Gamma $ is a sequence of $s+1$ vertices $(v_0,v_1,\ldots ,v_s)$ of $\Gamma $ such that $v_{i-1}$ and $v_i$ are adjacent for $1 \le i \le s$ and $v_{i-1}\ne v_{i+1}$ for $1 \le i \le s-1$. A graph $\Gamma $ is called 2-transitive if it is $(\text{Aut} (\Gamma ), 2)$-arc-transitive but not $(\text{Aut} (\Gamma ), 3)$-arc-transitive. A Cayley graph $\Gamma $ of a group G is called normal if G is normal in $\text{Aut} (\Gamma )$ and nonnormal otherwise. Fang et al. [‘On edge transitive Cayley graphs of valency four’, European J. Combin. 25 (2004), 1103–1116] proved that if $\Gamma $ is a tetravalent 2-transitive Cayley graph of a finite simple group G, then either $\Gamma $ is normal or G is one of the groups $\text{PSL}_2(11)$, ${\rm M} _{11}$, $\text{M} _{23}$ and $A_{11}$. However, it was unknown whether $\Gamma $ is normal when G is one of these four groups. We answer this question by proving that among these four groups only $\text{M} _{11}$ produces connected tetravalent 2-transitive nonnormal Cayley graphs. We prove further that there are exactly two such graphs which are nonisomorphic and both are determined in the paper. As a consequence, the automorphism group of any connected tetravalent 2-transitive Cayley graph of any finite simple group is determined.

Given a group G and a subgroup H, we let $\mathcal {O}_G(H)$ denote the lattice of subgroups of G containing H. This article provides a classification of the subgroups H of G such that $\mathcal {O}_{G}(H)$ is Boolean of rank at least $3$ when G is a finite alternating or symmetric group. Besides some sporadic examples and some twisted versions, there are two different types of such lattices. One type arises by taking stabilisers of chains of regular partitions, and the other arises by taking stabilisers of chains of regular product structures. As an application, we prove in this case a conjecture on Boolean overgroup lattices related to the dual Ore’s theorem and to a problem of Kenneth Brown.

The study of graph ${{C}^{*}}$ -algebras has a long history in operator algebras. Surprisingly, their quantum symmetries have not yet been computed. We close this gap by proving that the quantum automorphism group of a finite, directed graph without multiple edges acts maximally on the corresponding graph ${{C}^{*}}$ -algebra. This shows that the quantum symmetry of a graph coincides with the quantum symmetry of the graph ${{C}^{*}}$ -algebra. In our result, we use the definition of quantum automorphism groups of graphs as given by Banica in 2005. Note that Bichon gave a different definition in 2003; our action is inspired from his work. We review and compare these two definitions and we give a complete table of quantum automorphism groups (with respect to either of the two definitions) for undirected graphs on four vertices.

Knowing the symmetries of a polyhedron can be very useful for the analysis of its structure as well as for practical polyhedral computations. In this note, we study symmetry groups preserving the linear, projective and combinatorial structure of a polyhedron. In each case we give algorithmic methods to compute the corresponding group and discuss some practical experiences. For practical purposes the linear symmetry group is the most important, as its computation can be directly translated into a graph automorphism problem. We indicate how to compute integral subgroups of the linear symmetry group that are used, for instance, in integer linear programming.

We consider the wreath product of two permutation groups G≤Sym Γ and H≤Sym Δ as a permutation group acting on the set Π of functions from Δ to Γ. Such groups play an important role in the O’Nan–Scott theory of permutation groups and they also arise as automorphism groups of graph products and codes. Let X be a subgroup of Sym Γ≀Sym Δ. Our main result is that, in a suitable conjugate of X, the subgroup of SymΓ induced by a stabiliser of a coordinate δ∈Δ only depends on the orbit of δ under the induced action of X on Δ. Hence, if X is transitive on Δ, then X can be embedded into the wreath product of the permutation group induced by the stabiliser Xδ on Γ and the permutation group induced by X on Δ. We use this result to describe the case where X is intransitive on Δ and offer an application to error-correcting codes in Hamming graphs.

Let Γ be a graph and let G be a vertex-transitive subgroup of the full automorphism group Aut(Γ) of Γ. The graph Γ is called G-normal if G is normal in Aut(Γ). In particular, a Cayley graph Cay(G, S) on a group G with respect to S is normal if the Cayley graph is R(G)-normal, where R(G) is the right regular representation of G. Let T be a non-abelian simple group and let G = Tℓ with ℓ ≥ 1. We prove that if every connected T-vertex-transitive cubic symmetric graph is T-normal, then every connected G-vertex-transitive cubic symmetric graph is G-normal. This result, among others, implies that a connected cubic symmetric Cayley graph on G is normal except for T ≅ A47 and a connected cubic G-symmetric graph is G-normal except for T ≅ A7, A15 or PSL(4, 2).

An S3-involution graph for a group G is a graph with vertex set a union of conjugacy classes of involutions of G such that two involutions are adjacent if they generate an S3-subgroup in a particular set of conjugacy classes. We investigate such graphs in general and also for the case where G=PSL(2,q).

We study Frobenius groups acting on curves.

In this note we first prove that, for a positive integer n>1 with n≠p or p2 where p is a prime, there exists a transitive group of degree n without regular subgroups. Then we look at 2-closed transitive groups without regular subgroups, and pose two questions and a problem for further study.