Cheryl E. Praeger

Analysing flag-transitive point-imprimitive 2-designs

In this paper we develop several general methods for analysing flag-transitive point-imprimitive $2$ -designs, which give restrictions on both the automorphisms and parameters of such designs. These constitute a tool-kit for analysing these designs and their groups. We apply these methods to complete the classification of flag-transitive, point-imprimitive $2$ - $(v,k,λ)$ designs with $λ$ at most $4$ .

Block-transitive two-designs based on grids

We study point-block incidence structures $(\mathcal{P},\mathcal{B})$ for which the point set $\mathcal{P}$ is an $m\times n$ grid. Cameron and the fourth author showed that each block $B$ may be viewed as a subgraph of a complete bipartite graph $\mathbf{K}_{m,n}$ with bipartite parts (biparts) of sizes $m, n$ . In the case where $\mathcal{B}$ consists of all the subgraphs isomorphic to $B$ , under automorphisms of $\mathbf{K}_{m,n}$ fixing the two biparts, they obtained necessary and sufficient conditions for $(\mathcal{P},\mathcal{B})$ to be a $2$ -design, and to be a $3$ -design. We first re-interpret these conditions more graph theoretically, and then focus on square grids, and designs admitting the full automorphism group of $\mathbf{K}_{m,m}$ . We find necessary and sufficient conditions, again in terms of graph theoretic parameters, for these incidence structures to be $t$ -designs, for $t=2, 3$ , and give infinite families of examples illustrating that block-transitive, point-primitive $2$ -designs based on grids exist for all values of $m$ , and flag-transitive, point-primitive examples occur for all even $m$ . This approach also allows us to construct a small number of block-transitive $3$ -designs based on grids.

Codes and Designs in Johnson Graphs From Symplectic Actions on Quadratic Forms

The Johnson graph $J(v, k)$ has as vertices the $k$ -subsets of $\mathcal{V}=\{1,\ldots, v\}$ , and two vertices are joined by an edge if their intersection has size $k-1$ . An \emph{ $X$ -strongly incidence-transitive code} in $J (v, k)$ is a proper vertex subset $Γ$ such that the subgroup $X$ of graph automorphisms leaving $Γ$ invariant is transitive on the set $Γ$ of `codewords', and for each codeword $Δ$ , the setwise stabiliser $X_Δ$ is transitive on $Δ\times (\mathcal{V}\setminus Δ)$ . We classify the \emph{ $X$ -strongly incidence-transitive codes} in $J(v,k)$ for which $X$ is the symplectic group $\mathrm{Sp}_{2n}(2)$ acting as a $2$ -transitive permutation group of degree $2^{2n-1}\pm 2^{n-1}$ , where the stabiliser $X_Δ$ of a codeword $Δ$ is contained in a \emph{geometric} maximal subgroup of $X$ . In particular, we construct two new infinite families of strongly incidence-transitive codes associated with the reducible maximal subgroups of $\mathrm{Sp}_{2n}(2)$ .

Locally Finite Vertex-Rotary Maps and Coset Graphs with Finite Valency and Finite Edge Multiplicity

It is well-known that a simple $G$ -arc-transitive graph can be represented as a coset graph for the group $G$ . This representation is extended to a construction of $G$ -arc-transitive coset graphs $\Cos(G,H,J)$ with finite valency and finite edge-multiplicity, where $H, J$ are stabilisers in $G$ of a vertex and incident edge, respectively. Given a group $G=ła,z\r$ with $|z|=2$ and $|a|$ finite, the coset graph $\Cos(G,ła\r,łz\r)$ is shown, under suitable finiteness assumptions, to have exactly two different arc-transitive embeddings as a $G$ -arc-transitive map $(V,E,F)$ , namely, a {\it $G$ -rotary} map if $|az|$ is finite, and a {\it $G$ -bi-rotary} map if $|zz^a|$ is finite. The $G$ -rotary map can be represented as a coset geometry for $G$ , extending the notion of a coset graph. However the $G$ -bi-rotary map does not have such a representation, and the face boundary cycles must be specified in addition to incidences between faces and edges. We also give a coset geometry construction of a flag-regular map $(V,E,F)$ . In all of these constructions we prove that the face boundary cycles are regular cycles which are simple cycles precisely when the given group acts faithfully on $V\cup F$ .

Random generation of direct sums of finite non-degenerate subspaces

Let $V$ be a $d$ -dimensional vector space over a finite field $\mathbb{F}$ equipped with a non-degenerate hermitian, alternating, or quadratic form. Suppose $|\mathbb{F}|=q^2$ if $V$ is hermitian, and $|\mathbb{F}|=q$ otherwise. Given integers $e, e'$ such that $e+e'\leqslant d$ , we estimate the proportion of pairs $(U, U')$ , where $U$ is a non-degenerate $e$ -subspace of $V$ and $U'$ is a non-degenerate $e'$ -subspace of $V$ , such that $U\cap U'=0$ and $U\oplus U'$ is non-degenerate (the sum $U\oplus U'$ is direct and usually not perpendicular). The proportion is shown to be positive and at least $1-c/q>0$ for some constant $c$ . For example, $c=7/4$ suffices in both the unitary and symplectic cases. The arguments in the orthogonal case are delicate and assume that $\dim(U)$ and $\dim(U')$ are even, an assumption relevant for an algorithmic application (which we discuss) for recognising finite classical groups. We also describe how recognising a classical groups $G$ relies on a connection between certain pairs $(U,U')$ of non-degenerate subspaces and certain pairs $(g,g')\in G^2$ of group elements where $U={\rm im}(g-1)$ and $U'={\rm im}(g'-1)$ .

The probability of spanning a classical space by two non-degenerate subspaces of complementary dimension

Let $n,n'$ be positive integers and let $V$ be an $(n+n')$ -dimensional vector space over a finite field $\mathbb{F}$ equipped with a non-degenerate alternating, hermitian or quadratic form. We estimate the proportion of pairs $(U, U')$ , where $U$ is a non-degenerate $n$ -subspace and $U'$ is a non-degenerate $n'$ -subspace of $V$ , such that $U+ U'=V$ (usually such spaces $U$ and $U'$ are not perpendicular). The proportion is shown to be at least $1-c/|\mathbb{F}|$ for some constant $c\leqslant 2$ in the symplectic or unitary cases, and $c<3$ in the orthogonal case.

preprint2021arXiv

Finite totally $k$ -closed groups

For a positive integer $k$ , a group $G$ is said to be totally $k$ -closed if in each of its faithful permutation representations, say on a set $Ω$ , $G$ is the largest subgroup of $\operatorname{Sym}(Ω)$ which leaves invariant each of the $G$ -orbits in the induced action on $Ω\times\dots\times Ω=Ω^k$ . We prove that every abelian group $G$ is totally $(n(G)+1)$ -closed, but is not totally $n(G)$ -closed, where $n(G)$ is the number of invariant factors in the invariant factor decomposition of $G$ . In particular, we prove that for each $k\geq2$ and each prime $p$ , there are infinitely many finite abelian $p$ -groups which are totally $k$ -closed but not totally $(k-1)$ -closed. This result in the special case $k=2$ is due to Abdollahi and Arezoomand. We pose several open questions about total $k$ -closure.

preprint2021arXiv

Normal edge-transitive Cayley graphs and Frattini-like subgroups

For a finite group $G$ and an inverse-closed generating set $C$ of $G$ , let $Aut(G;C)$ consist of those automorphisms of $G$ which leave $C$ invariant. We define an $Aut(G;C)$ -invariant normal subgroup $Φ(G;C)$ of $G$ which has the property that, for any $Aut(G;C)$ -invariant normal set of generators for $G$ , if we remove from it all the elements of $Φ(G;C)$ , then the remaining set is still an $Aut(G;C)$ -invariant normal generating set for $G$ . The subgroup $Φ(G;C)$ contains the Frattini subgroup $Φ(G)$ but the inclusion may be proper. The Cayley graph $Cay(G,C)$ is normal edge-transitive if $Aut(G;C)$ acts transitively on the pairs $\{c,c^{-1}\}$ from $C$ . We show that, for a normal edge-transitive Cayley graph $Cay(G,C)$ , its quotient modulo $Φ(G;C)$ is the unique largest normal quotient which is isomorphic to a subdirect product of normal edge-transitive graphs of characteristically simple groups. In particular, we may therefore view normal edge-transitive Cayley graphs of characteristically simple groups as building blocks for normal edge-transitive Cayley graphs whenever the subgroup $Φ(G;C)$ is trivial. We explore several questions which these results raise, some concerned with the set of all inverse-closed generating sets for groups in a given family. In particular we use this theory to classify all $4$ -valent normal edge-transitive Cayley graphs for dihedral groups; this involves a new construction of an infinite family of examples, and disproves a conjecture of Talebi.

preprint2021arXiv

Orbits of Sylow subgroups of finite permutation groups

We say that a finite group $G$ acting on a set $Ω$ has Property $(*)_p$ for a prime $p$ if $P_ω$ is a Sylow $p$ -subgroup of $G_ω$ for all $ω\inΩ$ and Sylow $p$ -subgroups $P$ of $G$ . Property $(*)_p$ arose in the recent work of Tornier (2018) on local Sylow $p$ -subgroups of Burger-Mozes groups, and he determined the values of $p$ for which the alternating group $A_n$ and symmetric group $S_n$ acting on $n$ points has Property $(*)_p$ . In this paper, we extend this result to finite $2$ -transitive groups and we give a structural characterisation result for the finite primitive groups that satisfy Property $(*)_p$ for an allowable prime $p$ .

A path-deformation framework for determining weighted genome rearrangement distance

Measuring the distance between two bacterial genomes under the inversion process is usually done by assuming all inversions to occur with equal probability. Recently, an approach to calculating inversion distance using group theory was introduced, and is effective for the model in which only very short inversions occur. In this paper, we show how to use the group-theoretic framework to establish minimal distance for any weighting on the set of inversions, generalizing previous approaches. To do this we use the theory of rewriting systems for groups, and exploit the Knuth--Bendix algorithm, the first time this theory has been introduced into genome rearrangement problems. The central idea of the approach is to use existing group theoretic methods to find an initial path between two genomes in genome space (for instance using only short inversions), and then to deform this path to optimality using a confluent system of rewriting rules generated by the Knuth--Bendix algorithm.

Conjugacy class sizes in arithmetic progression

Let ${\rm cs}(G)$ denote the set of conjugacy class sizes of a group $G$ , and let ${\rm cs}^*(G)={\rm cs}(G)\setminus\{1\}$ be the sizes of non-central classes. We prove three results. We classify all finite groups $G$ with ${\rm cs}(G)=\{a, a+d, \dots ,a+rd\}$ an arithmetic progression with $r\geqslant 2$ . (We show that ${\rm cs}(G)=\{1,2,3\}$ .) Our most substantial result classifies all $G$ with ${\rm cs}^*(G)=\{2,4,6\}$ . Finally, we classify all groups $G$ whose largest two non-central conjugacy class sizes are coprime. (Here it is not obvious but it is true that ${\rm cs}^*(G)$ has two elements, and so is an arithmetic progression.)

Delandtsheer--Doyen parameters for block-transitive point-imprimitive 2-designs

Delandtsheer and Doyen bounded, in terms of the block size, the number of points of a point-imprimitive, block-transitive 2-design. To do this they introduced two integer parameters, m and n, now called Delandtsheer--Doyen parameters, linking the block size with the parameters of an associated imprimitivity system on points. We show that the Delandtsheer--Doyen parameters provide upper bounds on the permutation ranks of the groups induced on the imprimitivity system and on a class of the system. We explore extreme cases where these bounds are attained, give a new construction for a family of designs achieving these bounds, and pose several open questions concerning the Delandtsheer--Doyen parameters.

Generating infinite digraphs by derangements

A set $\mathcal{S}$ of derangements (fixed-point-free permutations) of a set $V$ generates a digraph with vertex set $V$ and arcs $(x,x^σ)$ for $x\in V$ and $σ\in\mathcal{S}$ . We address the problem of characterising those infinite (simple loopless) digraphs which are generated by finite sets of derangements. The case of finite digraphs was addressed in earlier work by the second and third authors. A criterion is given for derangement generation which resembles the criterion given by De Bruijn and Erdős for vertex colourings of graphs in that the property for an infinite digraph is determined by properties of its finite sub-digraphs. The derangement generation property for a digraph is linked with the existence of a finite $1$ -factor cover for an associated bipartite (undirected) graph.

On $k$ -connected-homogeneous graphs

A graph $Γ$ is $k$ -connected-homogeneous ( $k$ -CH) if $k$ is a positive integer and any isomorphism between connected induced subgraphs of order at most $k$ extends to an automorphism of $Γ$ , and connected-homogeneous (CH) if this property holds for all $k$ . Locally finite, locally connected graphs often fail to be 4-CH because of a combinatorial obstruction called the unique $x$ property; we prove that this property holds for locally strongly regular graphs under various purely combinatorial assumptions. We then classify the locally finite, locally connected 4-CH graphs. We also classify the locally finite, locally disconnected 4-CH graphs containing 3-cycles and induced 4-cycles, and prove that, with the possible exception of locally disconnected graphs containing 3-cycles but no induced 4-cycles, every finite 7-CH graph is CH.

On flag-transitive 2-(v,k,2) designs

This paper is devoted to the classification of flag-transitive 2-(v,k,2) designs. We show that apart from two known symmetric 2-(16,6,2) designs, every flag-transitive subgroup G of the automorphism group of a nontrivial 2-(v,k,2) design is primitive of affine or almost simple type. Moreover, we classify the 2-(v,k,2) designs admitting a flag transitive almost simple group G with socle PSL(n,q) for some n \geq 3. Alongside this analysis, we give a construction for a flag-transitive 2-(v,k-1,k-2) design from a given flag-transitive 2-(v,k,1) design which induces a 2-transitive action on a line. Taking the design of points and lines of the projective space PG(n-1,3) as input to this construction yields a G-flag-transitive 2-(v,3,2) design where G has socle PSL(n,3) and v=(3^n-1)/2. Apart from these designs, our PSL-classification yields exactly one other example, namely the complement of the Fano plane.

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}$ .

A normal quotient analysis for some families of oriented four-valent graphs

We analyse the normal quotient structure of several infinite families of finite connected edge-transitive, four-valent oriented graphs. These families were singled out by Marusic and others to illustrate various different internal structures for these graphs in terms of their alternating cycles (cycles in which consecutive edges have opposite orientations). Studying the normal quotients gives fresh insights into these oriented graphs: in particular we discovered some unexpected `cross-overs' between these graph families when we formed normal quotients. We determine which of these oriented graphs are `basic', in the sense that their only proper normal quotients are degenerate. Moreover, we show that the three types of edge-orientations studied are the only orientations, of the underlying undirected graphs in these families, which are invariant under a group action which is both vertex-transitive and edge-transitive.

Affine primitive symmetric graphs of diameter two

Let $n$ be a positive integer, $q$ be a prime power, and $V$ be a vector space of dimension $n$ over $\mathbb{F}_q$ . Let $G := V \rtimes G_0$ , where $G_0$ is an irreducible subgroup of ${\rm GL}(V)$ which is maximal by inclusion with respect to being intransitive on the set of nonzero vectors. We are interested in the class of all diameter two graphs $Γ$ that admit such a group $G$ as an arc-transitive, vertex-quasiprimitive subgroup of automorphisms. In particular, we consider those graphs for which $G_0$ is a subgroup of either ${\rm ΓL}(n,q)$ or ${\rm ΓSp}(n,q)$ and is maximal in one of the Aschbacher classes $\mathcal{C}_i$ , where $i \in \{2,4,5,6,7,8\}$ . We are able to determine all graphs $Γ$ which arise from $G_0 \leq {\rm ΓL}(n,q)$ with $i \in \{2,4,8\}$ , and from $G_0 \leq {\rm ΓSp}(n,q)$ with $i \in \{2,8\}$ . For the remaining classes we give necessary conditions in order for $Γ$ to have diameter two, and in some special subcases determine all $G$ -symmetric diameter two graphs.

Conway's groupoid and its relatives

In 1997, John Conway constructed a $6$ -fold transitive subset $M_{13}$ of permutations on a set of size $13$ for which the subset fixing any given point was isomorphic to the Mathieu group $M_{12}$ . The construction was via a "moving-counter puzzle" on the projective plane ${\rm PG}(2,3)$ . We discuss consequences and generalisations of Conway's construction. In particular we explore how various designs and hypergraphs can be used instead of ${\rm PG}(2,3)$ to obtain interesting analogues of $M_{13}$ ; we refer to these analogues as Conway groupoids. A number of open questions are presented.

Finite edge-transitive oriented graphs of valency four with cyclic normal quotients

We study finite four-valent graphs Gamma admitting an edge-transitive group G of automorphisms such that G determines and preserves an edge-orientation on Gamma, and such that at least one G-normal quotient is a cycle (a quotient modulo the orbits of a normal subgroup of G). We show on the one hand that the number of distinct cyclic G-normal quotients can be unboundedly large. On the other hand existence of independent cyclic G-normal quotients (that is, they are not extendable to a common cyclic G-normal quotient) places severe restrictions on the graph Gamma and we classify all examples. We show there are five infinite families of such pairs (Gamma, G), and in particular that all such graphs have at least one normal quotient which is an unoriented cycle. We compare this new approach with existing treatments for the sub-class of weak metacirculant graphs with these properties, finding that only two infinite families of examples occur in common from both analyses. Several open problems are posed.

On the Complexity of Multiplication in the Iwahori--Hecke Algebra of the Symmetric Group

We present new efficient data structures for elements of Coxeter groups of type $A_m$ and their associated Iwahori--Hecke algebras $H(A_m)$ . Usually, elements of $H(A_m)$ are represented as simple coefficient list of length $M = (m+1)!$ with respect to the standard basis, indexed by the elements of the Coxeter group. In the new data structure, elements of $H(A_m)$ are represented as nested coefficient lists. While the cost of addition is the same in both data structures, the new data structure leads to a huge improvement in the cost of multiplication in~ $H(A_m)$ .

Point-primitive, line-transitive generalised quadrangles of holomorph type

Let $G$ be a group of collineations of a finite thick generalised quadrangle $Γ$ . Suppose that $G$ acts primitively on the point set $\mathcal{P}$ of $Γ$ , and transitively on the lines of $Γ$ . We show that the primitive action of $G$ on $\mathcal{P}$ cannot be of holomorph simple or holomorph compound type. In joint work with Glasby, we have previously classified the examples $Γ$ for which the action of $G$ on $\mathcal{P}$ is of affine type. The problem of classifying generalised quadrangles with a point-primitive, line-transitive collineation group is therefore reduced to the case where there is a unique minimal normal subgroup $M$ and $M$ is non-Abelian.

Primitive prime divisors and the $n$ -th cyclotomic polynomial

Primitive prime divisors play an important role in group theory and number theory. We study a certain number theoretic quantity, called $Φ^*_n(q)$ , which is closely related to the cyclotomic polynomial $Φ_n(x)$ and to primitive prime divisors of $q^n-1$ . Our definition of $Φ^*_n(q)$ is novel, and we prove it is equivalent to the definition given by Hering. Given positive constants $c$ and $k$ , we give an algorithm for determining all pairs $(n,q)$ with $Φ^*_n(q)\le cn^k$ . This algorithm is used to extend (and correct) a result of Hering which is useful for classifying certain families of subgroups of finite linear groups.

Constructing flag-transitive, point-imprimitive designs

We give a construction of a family of designs with a specified point-partition, and determine the subgroup of automorphisms leaving invariant the point-partition. We give necessary and sufficient conditions for a design in the family to possess a flag-transitive group of automorphisms preserving the specified point-partition. We give examples of flag-transitive designs in the family, including a new symmetric $2$ - $(1408,336,80)$ design with automorphism group $2^{12}:((3\cdot\mathrm{M}_{22}):2)$ , and a construction of one of the families of the symplectic designs (the designs $S^-(n)$ ) exhibiting a flag-transitive, point-imprimitive automorphism group.

Conway groupoids, regular two-graphs and supersimple designs

A $2-(n,4,λ)$ design $(Ω, \mathcal{B})$ is said to be supersimple if distinct lines intersect in at most two points. From such a design, one can construct a certain subset of Sym $(Ω)$ called a "Conway groupoid". The construction generalizes Conway's construction of the groupoid $M_{13}$ . It turns out that several infinite families of groupoids arise in this way, some associated with 3-transposition groups, which have two additional properties. Firstly the set of collinear point-triples forms a regular two-graph, and secondly the symmetric difference of two intersecting lines is again a line. In this paper, we show each of these properties corresponds to a group-theoretic property on the groupoid and we classify the Conway groupoids and the supersimple designs for which both of these two additional properties hold.

Decomposing modular tensor products, and periodicity of `Jordan partitions'

Let $J_r$ denote an $r\times r$ matrix over a finite field $F$ with minimal and characteristic polynomials $(t-1)^r$ . Suppose $r\leq s$ . It is not hard to show that the Jordan canonical form of $J_r\otimes J_s$ is similar to $J_{λ_1}\oplus\cdots\oplus J_{λ_r}$ where $λ_1\geq\cdots\geqλ_r>0$ and $\sum_{i=1}^rλ_i=rs$ . The partition $λ(r,s,p):=(λ_1,\dots,λ_r)$ of $rs$ , which depends only on $r,s$ and the characteristic $p$ of $F$ , has many applications including to the study of algebraic groups. We prove new periodicity and duality results for $λ(r,s,p)$ that depend on the smallest $p$ -power exceeding $r$ . This generalizes results of J. A. Green, B. Srinivasan, and others which depend on the smallest $p$ -power exceeding the (potentially large) integer $s$ . We show that for fixed $r$ we can construct a finite table allowing the computation of $λ(r,s,p)$ for all $s$ with $s\geq r$ , and all primes $p$ . This generalizes work of K-i. Iima and R. Iwamatsu.

Finite 2-geodesic transitive graphs of prime valency

We classify non-complete prime valency graphs satisfying the property that their automorphism group is transitive on both the set of arcs and the set of $2$ -geodesics. We prove that either $Γ$ is 2-arc transitive or the valency $p$ satisfies $p\equiv 1\pmod 4$ , and for each such prime there is a unique graph with this property: it is a non-bipartite antipodal double cover of the complete graph $K_{p+1}$ with automorphism group $PSL(2,p)\times Z_2$ and diameter 3.

Finite edge-transitive oriented graphs of valency four: a global approach

We develop a new framework for analysing finite connected, oriented graphs of valency 4, which admit a vertex-transitive and edge-transitive group of automorphisms preserving the edge orientation. We identify a sub-family of "basic" graphs such that each graph of this type is a normal cover of at least one basic graph. The basic graphs either admit an edge-transitive group of automorphisms that is quasiprimitive or biquasiprimitive on vertices, or admit an (oriented or unoriented) cycle as a normal quotient. We anticipate that each of these additional properties will facilitate effective further analysis, and we demonstrate that this is so for the quasiprimitive basic graphs. Here we obtain strong restirictions on the group involved, and construct several infinite families of such graphs which, to our knowledge, are different from any recorded in the literature so far. Several open problems are posed in the paper.

Identifying long cycles in finite alternating and symmetric groups acting on subsets

Let $H$ be a permutation group on a set $Λ$ , which is permutationally isomorphic to a finite alternating or symmetric group $A_n$ or $S_n$ acting on the $k$ -element subsets of points from $\{1,\ldots,n\}$ , for some arbitrary but fixed $k$ . Suppose moreover that no isomorphism with this action is known. We show that key elements of $H$ needed to construct such an isomorphism $φ$ , such as those whose image under $φ$ is an $n$ -cycle or $(n-1)$ -cycle, can be recognised with high probability by the lengths of just four of their cycles in $Λ$ .

Inclusions of innately transitive groups into wreath products in product action with applications to $2$ -arc-transitive graphs

We study $(G,2)$ -arc-transitive graphs for innately transitive permutation groups $G$ such that $G$ can be embedded into a wreath product $\symΓ\wr\sy\ell$ acting in product action on $Γ^\ell$ . We find two such connected graphs: the first is Sylvester's double six graph with 36 vertices, while the second is a graph with $120^2$ vertices whose automorphism group is $\aut\sp 44$. We prove that under certain conditions no more such graphs exist.

Increasing the minimum distance of codes by twisting

Twisted permutation codes, introduced recently by the second and third authors, are frequency permutation arrays. They are similar to repetition permutation codes, in that they are obtained by a repetition construction applied to a smaller code. It was previously shown that the minimum distance of a twisted permutation code is at least the minimum distance of a corresponding repetition permutation code, but in some instances can be larger. We construct two new infinite families of twisted permutation codes with minimum distances strictly greater than those for the corresponding repetition permutation codes.

Pairwise transitive 2-designs

We classify the pairwise transitive 2-designs, that is, 2-designs such that a group of automorphisms is transitive on the following five sets of ordered pairs: point-pairs, incident point-block pairs, non-incident point-block pairs, intersecting block-pairs and non-intersecting block-pairs. These 2-designs fall into two classes: the symmetric ones and the quasisymmetric ones. The symmetric examples include the symmetric designs from projective geometry, the 11-point biplane, the Higman-Sims design, and designs of points and quadratic forms on symplectic spaces. The quasisymmetric examples arise from affine geometry and the point-line geometry of projective spaces, as well as several sporadic examples.

Some infinite permutation groups and related finite linear groups

This article began as a study of the structure of infinite permutation groups G in which point stabilisers are finite and all infinite normal subgroups are transitive. That led to two variations. One is the generalisation in which point stabilisers are merely assumed to satisfy min-N, the minimal condition on normal subgroups. The groups G are then of two kinds. Either they have a maximal finite normal subgroup, modulo which they have either one or two minimal non-trivial normal subgroups, or they have a regular normal subgroup M which is a divisible abelian p-group of finite rank. In the latter case the point stabilisers are finite and act irreducibly on a p-adic vector space associated with M. This leads to our second variation, which is a study of the finite linear groups that can arise.