arXiv++ Combinatorics

We study the point regular groups of automorphisms of some of the known generalised quadrangles. In particular we determine all point regular groups of automorphisms of the thick classical generalised quadrangles. We also construct point regular groups of automorphisms of the generalised quadrangle of order $(q-1,q+1)$ obtained by Payne derivation from the classical symplectic quadrangle $\mathsf{W}(3,q)$. For $q=p^f$ with $f\geq 2$ we obtain at least two nonisomorphic groups when $p\geq 5$ and at least three nonisomorphic groups when $p=2$ or $3$. Our groups include nonabelian 2-groups, groups of exponent 9 and nonspecial $p$-groups. We also enumerate all point regular groups of automorphisms of some small generalised quadrangles.

We give a unified approach to analysing, for each positive integer $s$, a class of finite connected graphs that contains all the distance transitive graphs as well as the locally $s$-arc transitive graphs of diameter at least $s$. A graph is in the class if it is connected and if, for each vertex $v$, the subgroup of automorphisms fixing $v$ acts transitively on the set of vertices at distance $i$ from $v$, for each $i$ from 1 to $s$. We prove that this class is closed under forming normal quotients. Several graphs in the class are designated as degenerate, and a nondegenerate graph in the class is called basic if all its nontrivial normal quotients are degenerate. We prove that, for $s\geq 2$, a nondegenerate, nonbasic graph in the class is either a complete multipartite graph, or a normal cover of a basic graph. We prove further that, apart from the complete bipartite graphs, each basic graph admits a faithful quasiprimitive action on each of its (1 or 2) vertex orbits, or a biquasiprimitive action. These results invite detailed additional analysis of the basic graphs using the theory of quasiprimitive permutation groups.

The commuting graph of a group G, denoted by Gamma(G), is the simple undirected graph whose vertices are the non-central elements of G and two distinct vertices are adjacent if and only if they commute. Let Z_m be the commutative ring of equivalence classes of integers modulo m. In this paper we investigate the connectivity and diameters of the commuting graphs of GL(n,Z_m) to contribute to the conjecture that there is a universal upper bound on diam(Gamma(G)) for any finite group G when Gamma(G) is connected. For any composite m, it is shown that Gamma(GL(n,Z_m)) and Gamma(M(n,Z_m)) are connected and diam(Gamma(GL(n,Z_m))) = diam(Gamma(M(n,Z_m))) = 3. For m a prime, the instances of connectedness and absolute bounds on the diameters of Gamma(GL(n,Z_m)) and Gamma(M(n,Z_m)) when they are connected are concluded from previous results.

We prove that every flock generalised quadrangle contains a hemisystem, and we provide a construction method which unifies our results with the examples of Cossidente and Penttila in the classical case.

Many famous graphs are edge-primitive, for example, the Heawood graph, the Tutte--Coxeter graph and the Higman--Sims graph. In this paper we systematically analyse edge-primitive and edge-quasiprimitive graphs via the O'Nan--Scott Theorem to determine the possible edge and vertex actions of such graphs. Many interesting examples are given and we also determine all $G$-edge-primitive graphs for $G$ an almost simple group with socle $PSL(2,q)$.

We develop a theory for quotients of geometries and obtain sufficient conditions for the quotient of a geometry to be a geometry. These conditions are compared with earlier work on quotients, in particular by Pasini and Tits. We also explore geometric properties such as connectivity, firmness and transitivity conditions to determine when they are preserved under the quotienting operation. We show that the class of coset pregeometries, which contains all flag-transitive geometries, is closed under an appropriate quotienting operation.

A transitive decomposition of a graph is a partition of the edge set together with a group of automorphisms which transitively permutes the parts. In this paper we determine all transitive decompositions of the Johnson graphs such that the group preserving the partition is arc-transitive and acts primitively on the parts.