Showing 1–50 of 159 results for author: Praeger, C E

Maps, simple groups, and arc-transitive graphs

Authors: Martin W. Liebeck, Cheryl E. Praeger

Abstract: We determine all factorisations $X=AB$, where $X$ is a finite almost simple group and $A,B$ are core-free subgroups such that $A\cap B$ is cyclic or dihedral. As a main application, we classify the graphs $Γ$ admitting an almost simple arc-transitive group $X$ of automorphisms, such that $Γ$ has a 2-cell embedding as a map on a closed surface admitting a core-free arc-transitive subgroup $G$ of… ▽ More We determine all factorisations $X=AB$, where $X$ is a finite almost simple group and $A,B$ are core-free subgroups such that $A\cap B$ is cyclic or dihedral. As a main application, we classify the graphs $Γ$ admitting an almost simple arc-transitive group $X$ of automorphisms, such that $Γ$ has a 2-cell embedding as a map on a closed surface admitting a core-free arc-transitive subgroup $G$ of $X$. We prove that apart from the case where $X$ and $G$ have socles $A_n$ and $A_{n-1}$ respectively, the only such graphs are the complete graphs $K_n$ with $n$ a prime power, the Johnson graphs $J(n,2)$ with $n-1$ a prime power, and 14 further graphs. In the exceptional case, we construct infinitely many graph embeddings. △ Less

Submitted 23 May, 2024; originally announced May 2024.

Comments: 48 pages (including 6 pages of results tables at the end)

MSC Class: 20B25; 20D06; 20D08; 05C25

Higher-dimensional grid-imprimitive block-transitive designs

Authors: Seyed Hassan Alavi, Carmen Amarra, Ashraf Daneshkhah, Alice Devillers, Cheryl E. Praeger

Abstract: It was shown in 1989 by Delandtsheer and Doyen that, for a $2$-design with $v$ points and block size $k$, a block-transitive group of automorphisms can be point-imprimitive (that is, leave invariant a nontrivial partition of the point set) only if $v$ is small enough relative to $k$. Recently, exploiting a construction of block-transitive point-imprimitive $2$-designs given by Cameron and the last… ▽ More It was shown in 1989 by Delandtsheer and Doyen that, for a $2$-design with $v$ points and block size $k$, a block-transitive group of automorphisms can be point-imprimitive (that is, leave invariant a nontrivial partition of the point set) only if $v$ is small enough relative to $k$. Recently, exploiting a construction of block-transitive point-imprimitive $2$-designs given by Cameron and the last author, four of the authors studied $2$-designs admitting a block-transitive group that preserves a two-dimensional grid structure on the point set. Here we consider the case where there a block-transitive group preserves a multidimensional grid structure on points. We provide necessary and sufficient conditions for such $2$-designs to exist in terms of the parameters of the grid, and certain `array parameters' which describe a subset of points (which will be a block of the design). Using this criterion, we construct explicit examples of $2$-designs for grids of dimensions three and four, and pose several open questions. △ Less

Submitted 17 April, 2024; originally announced April 2024.

MSC Class: 05B05; 05B25; 20B25

Chain-imprimitive, flag-transitive 2-designs

Authors: Carmen Amarra, Alice Devillers, Cheryl E. Praeger

Abstract: We consider $2$-designs which admit a group of automorphisms that is flag-transitive and leaves invariant a chain of nontrivial point-partitions. We build on our recent work on $2$-designs which are block-transitive but not necessarily flag-transitive. In particular we use the concept of the ``array'' of a point subset with respect to the chain of point-partitions; the array describes the distribu… ▽ More We consider $2$-designs which admit a group of automorphisms that is flag-transitive and leaves invariant a chain of nontrivial point-partitions. We build on our recent work on $2$-designs which are block-transitive but not necessarily flag-transitive. In particular we use the concept of the ``array'' of a point subset with respect to the chain of point-partitions; the array describes the distribution of the points in the subset among the classes of each partition. We obtain necessary and sufficient conditions on the array in order for the subset to be a block of such a design. By explicit construction we show that for any $s \geq 2$, there are infinitely many $2$-designs admitting a flag-transitive group that preserves an invariant chain of point-partitions of length $s$. Moreover an exhaustive computer search, using {\sc Magma}, seeking designs with $e_1e_2e_3$ points (where each $e_i\leq 50$) and a partition chain of length $s=3$, produced $57$ such flag-transitive designs, among which only three designs arise from our construction -- so there is still much to learn. △ Less

Submitted 24 January, 2024; originally announced January 2024.

Basic Tetravalent Oriented Graphs with Cyclic Normal Quotients

Authors: Nemanja Poznanovic, Cheryl E. Praeger

Abstract: Let $\mathcal{OG}(4)$ denote the family of all graph-group pairs $(Γ, G)$ where $Γ$ is finite, 4-valent, connected, and $G$-oriented ($G$-half-arc-transitive). A subfamily of $\mathcal{OG}(4)$ has recently been identified as `basic' in the sense that all graphs in this family are normal covers of at least one basic member. In this paper we provide a description of such basic pairs which have at le… ▽ More Let $\mathcal{OG}(4)$ denote the family of all graph-group pairs $(Γ, G)$ where $Γ$ is finite, 4-valent, connected, and $G$-oriented ($G$-half-arc-transitive). A subfamily of $\mathcal{OG}(4)$ has recently been identified as `basic' in the sense that all graphs in this family are normal covers of at least one basic member. In this paper we provide a description of such basic pairs which have at least one $G$-normal quotient which is isomorphic to a cycle graph. In doing so, we produce many new infinite families of examples and solve several problems posed in the recent literature on this topic. This result completes a research project aiming to provide a description of all basic pairs in $\mathcal{OG}(4)$. △ Less

Submitted 16 January, 2024; originally announced January 2024.

Bipartite $q$-Kneser graphs and two-generated irreducible linear groups

Authors: S. P. Glasby, Alice C. Niemeyer, Cheryl E. Praeger

Abstract: Let $V:=(\mathbb{F}_q)^d$ be a $d$-dimensional vector space over the field $\mathbb{F}_q$ of order $q$. Fix positive integers $e_1,e_2$ satisfying $e_1+e_2=d$. Motivated by analysing a fundamental algorithm in computational group theory for recognising classical groups, we consider a certain quantity $P(e_1,e_2)$ which arises in both graph theory and group representation theory: $P(e_1,e_2)$ is th… ▽ More Let $V:=(\mathbb{F}_q)^d$ be a $d$-dimensional vector space over the field $\mathbb{F}_q$ of order $q$. Fix positive integers $e_1,e_2$ satisfying $e_1+e_2=d$. Motivated by analysing a fundamental algorithm in computational group theory for recognising classical groups, we consider a certain quantity $P(e_1,e_2)$ which arises in both graph theory and group representation theory: $P(e_1,e_2)$ is the proportion of $3$-walks in the `bipartite $q$-Kneser graph' $Γ_{e_1,e_2}$ that are closed $3$-arcs. We prove that, for a group $G$ satisfying ${\rm SL}_d(q)\leqslant G\leqslant{\rm GL}_d(q)$, the proportion of certain element-pairs in $G$ called `$(e_1,e_2)$-stingray duos' which generate an irreducible subgroup is also equal to $P(e_1,e_2)$. We give an exact formula for $P(e_1,e_2)$, and prove that $1-q^{-1}-q^{-2}< P(e_1,e_2)< 1-q^{-1}-q^{-2}+2q^{-3}-2q^{-5}$ for $2\leqslant e_2\leqslant e_1$ and $q\geqslant2$.These bounds have implications for the complexity analysis of the state-of-the-art algorithms to recognise classical groups, which we discuss in the final section. △ Less

Submitted 9 December, 2023; originally announced December 2023.

Comments: 23 pages, 1 figure

MSC Class: 05C50; 20C30; 20-08; 05C35

Using mixed dihedral groups to construct normal Cayley graphs, and a new bipartite $2$-arc-transitive graph which is not a Cayley graph

Authors: Daniel R. Hawtin, Cheryl E. Praeger, **-Xin Zhou

Abstract: A \emph{mixed dihedral group} is a group $H$ with two disjoint subgroups $X$ and $Y$, each elementary abelian of order $2^n$, such that $H$ is generated by $X\cup Y$, and $H/H'\cong X\times Y$. In this paper we give a sufficient condition such that the automorphism group of the Cayley graph $\Cay(H,(X\cup Y)\setminus\{1\})$ is equal to $H: A(H,X,Y)$, where $A(H,X,Y)$ is the setwise stabiliser in… ▽ More A \emph{mixed dihedral group} is a group $H$ with two disjoint subgroups $X$ and $Y$, each elementary abelian of order $2^n$, such that $H$ is generated by $X\cup Y$, and $H/H'\cong X\times Y$. In this paper we give a sufficient condition such that the automorphism group of the Cayley graph $\Cay(H,(X\cup Y)\setminus\{1\})$ is equal to $H: A(H,X,Y)$, where $A(H,X,Y)$ is the setwise stabiliser in $\Aut(H)$ of $X\cup Y$. We use this criterion to resolve a questions of Li, Ma and Pan from 2009, by constructing a $2$-arc transitive normal cover of order $2^{53}$ of the complete bipartite graph $\K_{16,16}$ and prove that it is \emph{not} a Cayley graph. △ Less

Submitted 20 April, 2023; originally announced April 2023.

Comments: arXiv admin note: text overlap with arXiv:2303.00305, arXiv:2211.16809

MSC Class: 05C38; 20B25

Block-transitive 2-designs with a chain of imprimitive partitions

Authors: Carmen Amarra, Alice Devillers, Cheryl E. Praeger

Abstract: More than $30$ years ago, Delandtsheer and Doyen showed that the automorphism group of a block-transitive $2$-design, with blocks of size $k$, could leave invariant a nontrivial point-partition, but only if the number of points was bounded in terms of $k$. Since then examples have been found where there are two nontrivial point partitions, either forming a chain of partitions, or forming a grid st… ▽ More More than $30$ years ago, Delandtsheer and Doyen showed that the automorphism group of a block-transitive $2$-design, with blocks of size $k$, could leave invariant a nontrivial point-partition, but only if the number of points was bounded in terms of $k$. Since then examples have been found where there are two nontrivial point partitions, either forming a chain of partitions, or forming a grid structure on the point set. We show, by construction of infinite families of designs, that there is no limit on the length of a chain of invariant point partitions for a block-transitive $2$-design. We introduce the notion of an `array' of a set of points which describes how the set interacts with parts of the various partitions, and we obtain necessary and sufficient conditions in terms of the `array' of a point set, relative to a partition chain, for it to be a block of such a design. △ Less

Submitted 24 August, 2023; v1 submitted 21 March, 2023; originally announced March 2023.

A family of $2$-groups and an associated family of semisymmetric, locally $2$-arc-transitive graphs

Authors: Daniel R. Hawtin, **-Xin Zhou, Cheryl E. Praeger

Abstract: A mixed dihedral group is a group $H$ with two disjoint subgroups $X$ and $Y$, each elementary abelian of order $2^n$, such that $H$ is generated by $X\cup Y$, and $H/H'\cong X\times Y$. In this paper, for each $n\geq 2$, we construct a mixed dihedral $2$-group $H$ of nilpotency class $3$ and order $2^a$ where $a=(n^3+n^2+4n)/2$, and a corresponding graph $Σ$, which is the clique graph of a Cayley… ▽ More A mixed dihedral group is a group $H$ with two disjoint subgroups $X$ and $Y$, each elementary abelian of order $2^n$, such that $H$ is generated by $X\cup Y$, and $H/H'\cong X\times Y$. In this paper, for each $n\geq 2$, we construct a mixed dihedral $2$-group $H$ of nilpotency class $3$ and order $2^a$ where $a=(n^3+n^2+4n)/2$, and a corresponding graph $Σ$, which is the clique graph of a Cayley graph of $H$. We prove that $Σ$ is semisymmetric, that is, ${\rm Aut}(Σ)$ acts transitively on the edges, but intransitively on the vertices, of $Σ$. These graphs are the first known semisymmetric graphs constructed from groups that are not $2$-generated (indeed $H$ requires $2n$ generators). Additionally, we prove that $Σ$ is locally $2$-arc-transitive, and is a normal cover of the `basic' locally $2$-arc-transitive graph ${\rm K}_{2^n,2^n}$. As such, the construction of this family of graphs contributes to the investigation of normal covers of prime-power order of basic locally $2$-arc-transitive graphs -- the `local' analogue of a question posed by C.~H.~Li. △ Less

Submitted 1 March, 2023; originally announced March 2023.

Comments: 26 pages

MSC Class: 05C38; 20B25

Rank three innately transitive permutation groups and related $2$-transitive groups

Authors: Anton A. Baykalov, Alice Devillers, Cheryl E. Praeger

Abstract: The sets of primitive, quasiprimitive, and innately transitive permutation groups may each be regarded as the building blocks of finite transitive permutation groups, and are analogues of composition factors for abstract finite groups. This paper extends classifications of finite primitive and quasiprimitive groups of rank at most $3$ to a classification for the finite innately transitive groups.… ▽ More The sets of primitive, quasiprimitive, and innately transitive permutation groups may each be regarded as the building blocks of finite transitive permutation groups, and are analogues of composition factors for abstract finite groups. This paper extends classifications of finite primitive and quasiprimitive groups of rank at most $3$ to a classification for the finite innately transitive groups. The new examples comprise three infinite families and three sporadic examples. A necessary step in this classification was the determination of certain configurations in finite almost simple $2$-transitive groups called special pairs. △ Less

Submitted 5 December, 2022; originally announced December 2022.

MSC Class: 20B10; 05B30; 51E30

Journal ref: Innov. Incidence Geom. 20 (2023) 135-175

A characterisation of edge-affine $2$-arc-transitive covers of $\K_{2^n,2^n}$

Authors: Daniel R. Hawtin, Cheryl E. Praeger, **-Xin Zhou

Abstract: We introduce the notion of an \emph{$n$-dimensional mixed dihedral group}, a general class of groups for which we give a graph theoretic characterisation. In particular, if $H$ is an $n$-dimensional mixed dihedral group then the we construct an edge-transitive Cayley graph $Γ$ of $H$ such that the clique graph $Σ$ of $Γ$ is a $2$-arc-transitive normal cover of $\K_{2^n,2^n}$, with a subgroup of… ▽ More We introduce the notion of an \emph{$n$-dimensional mixed dihedral group}, a general class of groups for which we give a graph theoretic characterisation. In particular, if $H$ is an $n$-dimensional mixed dihedral group then the we construct an edge-transitive Cayley graph $Γ$ of $H$ such that the clique graph $Σ$ of $Γ$ is a $2$-arc-transitive normal cover of $\K_{2^n,2^n}$, with a subgroup of $\Aut(Σ)$ inducing a particular \emph{edge-affine} action on $\K_{2^n,2^n}$. Conversely, we prove that if $Σ$ is a $2$-arc-transitive normal cover of $\K_{2^n,2^n}$, with a subgroup of $\Aut(Σ)$ inducing an \emph{edge-affine} action on $\K_{2^n,2^n}$, then the line graph $Γ$ of $Σ$ is a Cayley graph of an $n$-dimensional mixed dihedral group. Furthermore, we give an explicit construction of a family of $n$-dimensional mixed dihedral groups. This family addresses a problem proposed by Li concerning normal covers of prime power order of the `basic' $2$-arc-transitive graphs. In particular, we construct, for each $n\geq 2$, a $2$-arc-transitive normal cover of $2$-power order of the `basic' graph $\K_{2^n,2^n}$. △ Less

Submitted 30 November, 2022; originally announced November 2022.

MSC Class: 05C38; 20B25

On the proportion of elements of prime order in finite symmetric groups

Authors: Cheryl E. Praeger, Enoch Suleiman

Abstract: We give a short proof for an explicit upper bound on the proportion of permutations of a given prime order $p$, acting on a finite set of given size $n$, which is sharp for certain $n$ and $p$. Namely, we prove that if $n\equiv k\pmod{p}$ with $0\leq k\leq p-1$, then this proportion is at most $(p\cdot k!)^{-1}$ with equality if and only if $p\leq n<2n$. We give a short proof for an explicit upper bound on the proportion of permutations of a given prime order $p$, acting on a finite set of given size $n$, which is sharp for certain $n$ and $p$. Namely, we prove that if $n\equiv k\pmod{p}$ with $0\leq k\leq p-1$, then this proportion is at most $(p\cdot k!)^{-1}$ with equality if and only if $p\leq n<2n$. △ Less

Submitted 27 October, 2022; originally announced October 2022.

Comments: 7 pages

MSC Class: 20B30

Analysing flag-transitive point-imprimitive 2-designs

Authors: Alice Devillers, Cheryl E. Praeger

Abstract: 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… ▽ More 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$. △ Less

Submitted 26 August, 2022; originally announced August 2022.

MSC Class: 20B25; 05B05

Tournaments and Even Graphs are Equinumerous

Authors: Gordon F. Royle, Cheryl E. Praeger, S. P. Glasby, Saul D. Freedman, Alice Devillers

Abstract: A graph is called odd if there is an orientation of its edges and an automorphism that reverses the sense of an odd number of its edges, and even otherwise. Pontus von Brömssen (né Andersson) showed that the existence of such an automorphism is independent of the orientation, and considered the question of counting pairwise non-isomorphic even graphs. Based on computational evidence, he made the r… ▽ More A graph is called odd if there is an orientation of its edges and an automorphism that reverses the sense of an odd number of its edges, and even otherwise. Pontus von Brömssen (né Andersson) showed that the existence of such an automorphism is independent of the orientation, and considered the question of counting pairwise non-isomorphic even graphs. Based on computational evidence, he made the rather surprising conjecture that the number of pairwise non-isomorphic even graphs on $n$ vertices is equal to the number of pairwise non-isomorphic tournaments on $n$ vertices. We prove this conjecture using a counting argument with several applications of the Cauchy-Frobenius Theorem. △ Less

Submitted 18 November, 2022; v1 submitted 4 April, 2022; originally announced April 2022.

Comments: 9 pages. Corrected minor non-mathematical typos and slightly expanded the introduction

MSC Class: 05C30 (Primary) 05C75; 05A15 (secondary) ACM Class: G.2.1; G.2.2

Journal ref: J. Algebraic Combin. 57 (2023), 515-524

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

Authors: Cai Heng Li, Cheryl E. Praeger, Shu Jiao Song

Abstract: 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… ▽ More 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$. △ Less

Submitted 14 February, 2022; originally announced February 2022.

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

Authors: John Bamberg, Alice Devillers, Mark Ioppolo, Cheryl E. Praeger

Abstract: 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 codewo… ▽ More 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)$. △ Less

Submitted 13 February, 2022; originally announced February 2022.

MSC Class: 05C25; 05E18; 20B25; 94B25

Block-transitive two-designs based on grids

Authors: Seyed Hassan Alavi, Ashraf Daneshkhah, Alice Devillers, Cheryl E. Praeger

Abstract: 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… ▽ More 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. △ Less

Submitted 4 January, 2022; originally announced January 2022.

MSC Class: 05B05; 05B25; 20B25

Bounding $s$ for vertex-primitive $s$-arc-transitive digraphs of alternating and symmetric groups

Authors: Junyan Chen, Lei Chen, Michael Giudici, **g Jian Li, Cheryl E. Praeger, Binzhou Xia

Abstract: Determining an upper bound on $s$ for finite vertex-primitive $s$-arc-transitive digraphs has received considerable attention dating back to a question of Praeger in 1990. It was shown by Giudici and Xia that the smallest upper bound on $s$ is attained for some digraph admitting an almost simple $s$-arc-transitive group. In this paper, based on the work of Pan, Wu and Yin, we prove that… ▽ More Determining an upper bound on $s$ for finite vertex-primitive $s$-arc-transitive digraphs has received considerable attention dating back to a question of Praeger in 1990. It was shown by Giudici and Xia that the smallest upper bound on $s$ is attained for some digraph admitting an almost simple $s$-arc-transitive group. In this paper, based on the work of Pan, Wu and Yin, we prove that $s\leqslant 2$ in the case where the group is an alternating or symmetric group. △ Less

Submitted 22 February, 2024; v1 submitted 12 November, 2021; originally announced November 2021.

The graphs with a symmetrical Euler cycle

Authors: Jiyong Chen, Cai Heng Li, Cheryl E. Praeger, Shu-Jiao Song

Abstract: The edges surrounding a face of a map $M$ form a cycle $C$, called the boundary cycle of the face, and $C$ is often not a simple cycle. If the map $M$ is arc-transitive, then there is a cyclic subgroup of automorphisms of $M$ which leaves $C$ invariant and is bi-regular on the edges of the induced subgraph $[C]$; that is to say, $C$ is a symmetrical Euler cycle of $[C]$. In this paper we determine… ▽ More The edges surrounding a face of a map $M$ form a cycle $C$, called the boundary cycle of the face, and $C$ is often not a simple cycle. If the map $M$ is arc-transitive, then there is a cyclic subgroup of automorphisms of $M$ which leaves $C$ invariant and is bi-regular on the edges of the induced subgraph $[C]$; that is to say, $C$ is a symmetrical Euler cycle of $[C]$. In this paper we determine the family of graphs (which may have multiple edges) whose edge-sets can be sequenced to form a symmetrical Euler cycle. We first classify all graphs which have a cyclic subgroup of automorphisms acting bi-regularly on edges. We then apply this classification to obtain the graphs possessing a symmetrical Euler cycle, and therefore are the (only) candidates for the induced subgraphs of the boundary cycles of the faces of arc-transitive maps. △ Less

Submitted 3 November, 2021; originally announced November 2021.

Comments: 31 pages

MSC Class: 20B25; 05C25; 05C35

Totally $2$-closed finite groups with trivial Fitting subgroup

Authors: Majid Arezoomand, Mohammad A. Iranmanesh, Cheryl E. Praeger, Gareth Tracey

Abstract: A group $G$ is said to be totally $2$-closed if in each of its faithful permutation representations, say on a set $Ω$, $G$ is the largest subgroup of $\mathrm{Sym}(Ω)$ which leaves invariant each of the $G$-orbits for the induced action on $Ω\times Ω$. We prove that there are precisely $47$ finite totally $2$-closed groups with trivial Fitting subgroup. Each of these groups is a direct product of… ▽ More A group $G$ is said to be totally $2$-closed if in each of its faithful permutation representations, say on a set $Ω$, $G$ is the largest subgroup of $\mathrm{Sym}(Ω)$ which leaves invariant each of the $G$-orbits for the induced action on $Ω\times Ω$. We prove that there are precisely $47$ finite totally $2$-closed groups with trivial Fitting subgroup. Each of these groups is a direct product of pairwise non-isomorphic sporadic simple groups, with the direct factors coming from the Janko groups $\mathrm{J}_1, \mathrm{J}_3$ and $\mathrm{J}_4$, together with $\mathrm{Ly}, \mathrm{Th}$ and the Monster $\mathbb{M}$. These are the first known examples of insoluble totally $2$-closed groups. As a by-product of our methods, we develop several tools for studying $2$-closures of transitive permutation groups -- a vital tool in the study of representations of finite groups as automorphism groups of digraphs. We also prove a dual to a 1939 theorem of Frucht from Algebraic Graph Theory. △ Less

Submitted 4 November, 2021; v1 submitted 3 November, 2021; originally announced November 2021.

Comments: 53 pages

MSC Class: 20B05; 20E42; 05C20

Random generation of direct sums of finite non-degenerate subspaces

Authors: S. P. Glasby, Alice C. Niemeyer, Cheryl E. Praeger

Abstract: 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-dege… ▽ More 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)$. △ Less

Submitted 22 May, 2022; v1 submitted 3 November, 2021; originally announced November 2021.

Comments: 24 pages, 2 tables, minor changes to Def 3.6(a,b). Proof of Lemma 3.7(a) and Prop 4.11 slightly shortened

MSC Class: 20F65; 20D05; 05-08; 20D06; 68W20

Sequences of linear codes where the rate times distance grows rapidly

Authors: Faezeh Alizadeh, S. P. Glasby, Cheryl E. Praeger

Abstract: For a linear code $C$ of length $n$ with dimension $k$ and minimum distance $d$, it is desirable that the quantity $kd/n$ is large. Given an arbitrary field $\mathbb{F}$, we introduce a novel, but elementary, construction that produces a recursively defined sequence of $\mathbb{F}$-linear codes $C_1,C_2, C_3, \dots$ with parameters $[n_i, k_i, d_i]$ such that $k_id_i/n_i$ grows quickly in the sens… ▽ More For a linear code $C$ of length $n$ with dimension $k$ and minimum distance $d$, it is desirable that the quantity $kd/n$ is large. Given an arbitrary field $\mathbb{F}$, we introduce a novel, but elementary, construction that produces a recursively defined sequence of $\mathbb{F}$-linear codes $C_1,C_2, C_3, \dots$ with parameters $[n_i, k_i, d_i]$ such that $k_id_i/n_i$ grows quickly in the sense that $k_id_i/n_i>\sqrt{k_i}-1>2i-1$. Another example of quick growth comes from a certain subsequence of Reed-Muller codes. Here the field is $\mathbb{F}=\mathbb{F}_2$ and $k_i d_i/n_i$ is asymptotic to $3n_i^{c}/\sqrt{π\log_2(n_i)}$ where $c=\log_2(3/2)\approx 0.585$. △ Less

Submitted 4 October, 2021; originally announced October 2021.

Comments: 13 pages

MSC Class: 94B65; 94B05; 94B15

Vertex-primitive s-arc-transitive digraphs admitting a Suzuki or Ree group

Authors: Lei Chen, Michael Giudici, Cheryl E Praeger

Abstract: The investigation of s-arc-transitivity of digraphs can be dated back to 1989 when the third author showed that s can be arbitrarily large if the action on vertices is imprimitive. However, the situation is completely different when the digraph is vertex-primitive and not a directed cycle. In 2017 the second author, Li and Xia constructed the first infinite family of G-vertex-primitive 2-arc-trans… ▽ More The investigation of s-arc-transitivity of digraphs can be dated back to 1989 when the third author showed that s can be arbitrarily large if the action on vertices is imprimitive. However, the situation is completely different when the digraph is vertex-primitive and not a directed cycle. In 2017 the second author, Li and Xia constructed the first infinite family of G-vertex-primitive 2-arc-transitive examples, and asked if there is an upper bound on s for G-vertex-primitive s-arc-transitive digraphs w=that are not directed. In 2018 the second author and Xia showed that if there is a largest such value of s then it will occur when G is almost simple. So far it has been shown that s\leq 2 for almost simple groups whose socle is an alternating group or a projective special linear group. The contribution of this paper is to prove that s\leq 1 in the case of the Suzuki and the small Ree groups. We give constructions with s=1 to show that the bound is sharp. △ Less

Submitted 11 April, 2023; v1 submitted 21 September, 2021; originally announced September 2021.

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

Authors: S. P. Glasby, Alice C. Niemeyer, Cheryl E. Praeger

Abstract: 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 perpend… ▽ More 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. △ Less

Submitted 15 May, 2022; v1 submitted 21 September, 2021; originally announced September 2021.

Comments: 35 pages, 5 tables, hyperlinks and backrefs. Changed 1/(2F) to 3/(2F) and added reference

MSC Class: 20P05; 15A63; 05-08

Circulant association schemes on triples

Authors: Prabir Bhattacharya, Cheryl E Praeger

Abstract: Association Schemes and coherent configurations (and the related Bose-Mesner algebra and coherent algebras) are well known in combinatorics with many applications. In the 1990s, Mesner and Bhattacharya introduced a three-dimensional generalisation of association schemes which they called an association scheme on triples (AST) and constructed examples of several families of ASTs. Many of their exam… ▽ More Association Schemes and coherent configurations (and the related Bose-Mesner algebra and coherent algebras) are well known in combinatorics with many applications. In the 1990s, Mesner and Bhattacharya introduced a three-dimensional generalisation of association schemes which they called an association scheme on triples (AST) and constructed examples of several families of ASTs. Many of their examples used 2-transitive permutation groups: the non-trivial ternary relations of the ASTs were sets of ordered triples of pairwise distinct points of the underlying set left invariant by the group; and the given permutation group was a subgroup of automorphisms of the AST. In this paper, we consider ASTs that do not necessarily admit 2-transitive groups as automorphism groups but instead a transitive cyclic subgroup of the symmetric group acts as automorphisms. Such ASTs are called circulant ASTs and the corresponding ternary relations are called circulant relations. We give a complete characterisation of circulant ASTs in terms of AST-regular partitions of the underlying set. We also show that a special type of circulant, that we call a thin circulant, plays a key role in describing the structure of circulant ASTs. We outline several open questions. △ Less

Submitted 7 April, 2021; originally announced April 2021.

Comments: This paper is dedicated to the memory of Vaughan Jones

MSC Class: 20B05; 05E18; 05E30

Normal edge-transitive Cayley graphs and Frattini-like subgroups

Authors: Behnam Khosravi, Cheryl E. Praeger

Abstract: 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… ▽ More 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. △ Less

Submitted 22 February, 2021; originally announced February 2021.

Comments: 16 pages

MSC Class: 05C25 (primary); 20B25 (secondary)

Orbits of Sylow subgroups of finite permutation groups

Authors: John Bamberg, Alexander Bors, Alice Devillers, Michael Giudici, Cheryl E. Praeger, Gordon F. Royle

Abstract: 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$ actin… ▽ More 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$. △ Less

Submitted 8 February, 2021; v1 submitted 31 January, 2021; originally announced February 2021.

Comments: minor corrections

MSC Class: 20B05; 20B15

Subgroups of Classical Groups that are Transitive on Subspaces

Authors: Michael Giudici, S. P. Glasby, Cheryl E. Praeger

Abstract: For each finite classical group $G$, we classify the subgroups of $G$ which act transitively on a $G$-invariant set of subspaces of the natural module, where the subspaces are either totally isotropic or nondegenerate. Our proof uses the classification of the maximal factorisations of almost simple groups. As a first application of these results we classify all point-transitive subgroups of automo… ▽ More For each finite classical group $G$, we classify the subgroups of $G$ which act transitively on a $G$-invariant set of subspaces of the natural module, where the subspaces are either totally isotropic or nondegenerate. Our proof uses the classification of the maximal factorisations of almost simple groups. As a first application of these results we classify all point-transitive subgroups of automorphisms of finite thick generalised quadrangles. △ Less

Submitted 13 December, 2020; originally announced December 2020.

Comments: 62 pages, 34 tables

MSC Class: primary 20G40; 20B10; secondary 57S17; 05B25

Point-primitive generalised hexagons and octagons and projective linear groups

Authors: S. P. Glasby, E. Pierro, Cheryl E. Praeger

Abstract: We discuss recent progress on the problem of classifying point-primitive generalised polygons. In the case of generalised hexagons and generalised octagons, this has reduced the problem to primitive actions of almost simple groups of Lie type. To illustrate how the natural geometry of these groups may be used in this study, we show that if $\mathcal{S}$ is a finite thick generalised hexagon or oct… ▽ More We discuss recent progress on the problem of classifying point-primitive generalised polygons. In the case of generalised hexagons and generalised octagons, this has reduced the problem to primitive actions of almost simple groups of Lie type. To illustrate how the natural geometry of these groups may be used in this study, we show that if $\mathcal{S}$ is a finite thick generalised hexagon or octagon with $G \leqslant{\rm Aut}(\mathcal{S})$ acting point-primitively and the socle of $G$ isomorphic to ${\rm PSL}_n(q)$ where $n \geqslant 2$, then the stabiliser of a point acts irreducibly on the natural module. We describe a strategy to prove that such a generalised hexagon or octagon $\mathcal{S}$ does not exist. △ Less

Submitted 7 December, 2020; originally announced December 2020.

Comments: 7 pages; Submitted to Ars Math Combinatoria 16 July 1999

MSC Class: 51E12; secondary 20B15; 05B25

Finite totally $k$-closed groups

Authors: Dmitry Churikov, Cheryl E. Praeger

Abstract: 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)$-close… ▽ More 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. △ Less

Submitted 12 February, 2021; v1 submitted 3 December, 2020; originally announced December 2020.

MSC Class: 20B25; 05E18

Diagonal groups and arcs over groups

Authors: R. A. Bailey, Peter J. Cameron, Michael Kinyon, Cheryl E. Praeger

Abstract: In an earlier paper by three of the present authors and Csaba Schneider, it was shown that, for $m\ge2$, a set of $m+1$ partitions of a set $Ω$, any $m$ of which are the minimal non-trivial elements of a Cartesian lattice, either form a Latin square (if $m=2$), or generate a join-semilattice of dimension $m$ associated with a diagonal group over a base group $G$. In this paper we investigate wha… ▽ More In an earlier paper by three of the present authors and Csaba Schneider, it was shown that, for $m\ge2$, a set of $m+1$ partitions of a set $Ω$, any $m$ of which are the minimal non-trivial elements of a Cartesian lattice, either form a Latin square (if $m=2$), or generate a join-semilattice of dimension $m$ associated with a diagonal group over a base group $G$. In this paper we investigate what happens if we have $m+r$ partitions with $r\geq 2$, any $m$ of which are minimal elements of a Cartesian lattice. If $m=2$, this is just a set of mutually orthogonal Latin squares. We consider the case where all these squares are isotopic to Cayley tables of groups, and give an example to show the groups need not be all isomorphic. For $m>2$, things are more restricted. Any $m+1$ of the partitions generate a join-semilattice admitting a diagonal group over a group $G$. It may be that the groups are all isomorphic, though we cannot prove this. Under an extra hypothesis, we show that $G$ must be abelian and must have three fixed-point-free automorphisms whose product is the identity. Under this hypothesis, such a structure gives an orthogonal array, and conversely in some cases. If the group is cyclic of prime order $p$, then the structure corresponds exactly to an arc of cardinality $m+r$ in the $(m-1)$-dimensional projective space over the field with $p$ elements, so all known results about arcs are applicable. More generally, arcs over a finite field of order $q$ give examples where $G$ is the elementary abelian group of order $q$. These examples can be lifted to non-elementary abelian groups using $p$-adic techniques. △ Less

Submitted 1 April, 2021; v1 submitted 30 October, 2020; originally announced October 2020.

MSC Class: 05B15

Journal ref: Des. Codes Cryptogr. 90 (2022), no. 9, 2069-2080

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

Authors: Carmen Amarra, Alice Devillers, Cheryl E. Praeger

Abstract: 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 t… ▽ More 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. △ Less

Submitted 1 September, 2020; originally announced September 2020.

Comments: 12 pages. The research in this paper forms part of Australian Research Council Discovery Project DP200100080. It is also an outcome of the February 2019 Research Retreat of the Centre for the Mathematics of Symmetry and Computation, at the University of Western Australia

MSC Class: 20B25 (Primary); 05B99 (Secondary)

A path-deformation framework for determining weighted genome rearrangement distance

Authors: Sangeeta Bhatia, Attila Egri-Nagy, Stuart Serdoz, Cheryl E. Praeger, Volker Gebhardt, Andrew Francis

Abstract: 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 m… ▽ More 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. △ Less

Submitted 12 August, 2020; originally announced August 2020.

Comments: 15 pages, 4 figures. To appear in Frontiers in Genetics: Evolution and Population Genetics, in a special issue on Algebraic and Geometric Phylogenetics

The geometry of diagonal groups

Authors: R. A. Bailey, Peter J. Cameron, Cheryl E. Praeger, Csaba Schneider

Abstract: Diagonal groups are one of the classes of finite primitive permutation groups occurring in the conclusion of the O'Nan-Scott theorem. Several of the other classes have been described as the automorphism groups of geometric or combinatorial structures such as affine spaces or Cartesian decompositions, but such structures for diagonal groups have not been studied. The main purpose of this paper is… ▽ More Diagonal groups are one of the classes of finite primitive permutation groups occurring in the conclusion of the O'Nan-Scott theorem. Several of the other classes have been described as the automorphism groups of geometric or combinatorial structures such as affine spaces or Cartesian decompositions, but such structures for diagonal groups have not been studied. The main purpose of this paper is to describe and characterise such structures, which we call diagonal semilattices. Unlike the diagonal groups in the O'Nan-Scott theorem, which are defined over finite characteristically simple groups, our construction works over any group, finite or infinite. A diagonal semilattice depends on a dimension m and a group T. For m=2, it is a Latin square, the Cayley table of T, though in fact any Latin square satisfies our axioms. However, for m>=3, the group T emerges naturally and uniquely from the axioms. (The situation somewhat resembles projective geometry, where projective planes exist in profusion but higher-dimensional structures are coordinatised by an algebraic object, a division ring.) A diagonal semilattice is contained in the partition lattice on a set, and we provide an introduction to the calculus of partitions. Many of the concepts and constructions come from experimental design in statistics. We also determine when a diagonal group can be primitive, or quasiprimitive (these conditions are equivalent for diagonal groups). Associated with the diagonal semilattice is a graph, the diagonal graph, which has the same automorphism group except in four small cases with m<=3. The class of diagonal graphs includes some well-known families, Latin-square graphs and folded cubes. We obtain partial results on the chromatic number of a diagonal graph, and mention an application to synchronization. △ Less

Submitted 6 May, 2021; v1 submitted 21 July, 2020; originally announced July 2020.

MSC Class: 20B05

On flag-transitive imprimitive 2-designs

Authors: Alice Devillers, Cheryl E. Praeger

Abstract: In 1987, Huw Davies proved that, for a flag-transitive point-imprimitive $2$-$(v,k,λ)$ design, both the block-size $k$ and the number $v$ of points are bounded by functions of $λ$, but he did not make these bounds explicit. In this paper we derive explicit polynomial functions of $λ$ bounding $k$ and $v$. For $λ\leq 4$ we obtain a list of `numerically feasible' parameter sets $v, k, λ$ together wi… ▽ More In 1987, Huw Davies proved that, for a flag-transitive point-imprimitive $2$-$(v,k,λ)$ design, both the block-size $k$ and the number $v$ of points are bounded by functions of $λ$, but he did not make these bounds explicit. In this paper we derive explicit polynomial functions of $λ$ bounding $k$ and $v$. For $λ\leq 4$ we obtain a list of `numerically feasible' parameter sets $v, k, λ$ together with the number of parts and part-size of an invariant point-partition and the size of a nontrivial block-part intersection. Moreover from these parameter sets we determine all examples with fewer than $100$ points. There are exactly eleven such examples, and for one of these designs, a flag-regular, point-imprimitive $2-(36,8,4)$ design with automorphism group ${\rm Sym}(6)$, there seems to be no construction previously available in the literature. △ Less

Submitted 6 December, 2020; v1 submitted 21 July, 2020; originally announced July 2020.

Comments: 21 pages. Improved main theorem

MSC Class: 05B05

Symmetries of biplanes

Authors: Seyed Hassan Alavi, Ashraf Daneshkhah, Cheryl E Praeger

Abstract: In this paper, we first study biplanes $\mathcal{D}$ with parameters $(v,k,2)$, where the block size $k\in\{13,16\}$. These are the smallest parameter values for which a classification is not available. We show that if $k=13$, then either $\mathcal{D}$ is the Aschbacher biplane or its dual, or $Aut(\mathcal{D})$ is a subgroup of the cyclic group of order $3$. In the case where $k=16$, we prove tha… ▽ More In this paper, we first study biplanes $\mathcal{D}$ with parameters $(v,k,2)$, where the block size $k\in\{13,16\}$. These are the smallest parameter values for which a classification is not available. We show that if $k=13$, then either $\mathcal{D}$ is the Aschbacher biplane or its dual, or $Aut(\mathcal{D})$ is a subgroup of the cyclic group of order $3$. In the case where $k=16$, we prove that $|Aut(\mathcal{D})|$ divides $2^{7}\cdot 3^{2}\cdot 5\cdot 7\cdot 11\cdot 13$. We also provide an example of a biplane with parameters $(16,6,2)$ with a flag-transitive and point-primitive subgroup of automorphisms preserving a homogeneous cartesian decomposition. This motivated us to study biplanes with point-primitive automorphism groups preserving a cartesian decomposition. We prove that such an automorphism group is either of affine type (as in the example), or twisted wreath type. △ Less

Submitted 9 April, 2020; originally announced April 2020.

Comments: 24 pages

MSC Class: 05B05; 05B25; 20B25

Conjugacy class sizes in arithmetic progression

Authors: Mariagrazia Bianchi, Cheryl E. Praeger, S. P. Glasby

Abstract: 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… ▽ More 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.) △ Less

Submitted 6 June, 2020; v1 submitted 8 March, 2020; originally announced March 2020.

Comments: 13 pages; v4 correct typo: C_B(A) changed to C_A(B) on p3. Also last paragraph of Introduction modified slightly

MSC Class: 20E-45; 20D-60

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

Authors: Alice Devillers, Hongxue Liang, Cheryl E. Praeger, Binzhou Xia

Abstract: 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) fo… ▽ More 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. △ Less

Submitted 14 January, 2020; originally announced January 2020.

MSC Class: 05B05; 05B25; 20B25

Most permutations power to a cycle of small prime length

Authors: S. P. Glasby, Cheryl E. Praeger, W. R. Unger

Abstract: We prove that most permutations of degree $n$ have some power which is a cycle of prime length approximately $\log n$. Explicitly, we show that for $n$ sufficiently large, the proportion of such elements is at least $1-5/\log\log n$ with the prime between $\log n$ and $(\log n)^{\log\log n}$. The proportion of even permutations with this property is at least $1-7/\log\log n$. We prove that most permutations of degree $n$ have some power which is a cycle of prime length approximately $\log n$. Explicitly, we show that for $n$ sufficiently large, the proportion of such elements is at least $1-5/\log\log n$ with the prime between $\log n$ and $(\log n)^{\log\log n}$. The proportion of even permutations with this property is at least $1-7/\log\log n$. △ Less

Submitted 5 May, 2021; v1 submitted 28 November, 2019; originally announced November 2019.

Comments: 11 pages. Corrected some imprecise wording

MSC Class: 05A05; 68Q17; 11N05

Journal ref: Proceedings of the Edinburgh Mathematical Society 64 (2021) 234-246

Documentation for the GAP code file OrbOrd.txt

Authors: Alexander Bors, Michael Giudici, Cheryl E. Praeger

Abstract: We give a comprehensive description of the functions and variables defined in the authors' GAP code file OrbOrd.txt, which serve mainly to compute (bounds on) the number of $\operatorname{Aut}(S)$-orbits on $S$, or the set or number of element orders in $S$ for nonabelian finite simple groups of Lie type $S$. We give a comprehensive description of the functions and variables defined in the authors' GAP code file OrbOrd.txt, which serve mainly to compute (bounds on) the number of $\operatorname{Aut}(S)$-orbits on $S$, or the set or number of element orders in $S$ for nonabelian finite simple groups of Lie type $S$. △ Less

Submitted 28 October, 2019; originally announced October 2019.

Comments: 46 pages

MSC Class: 20D60 (Primary); 20D05; 20D45 (Secondary)

Automorphism orbits and element orders in finite groups: almost-solubility and the Monster

Authors: Alexander Bors, Michael Giudici, Cheryl E. Praeger

Abstract: For a finite group $G$, we denote by $ω(G)$ the number of $\operatorname{Aut}(G)$-orbits on $G$, and by $\operatorname{o}(G)$ the number of distinct element orders in $G$. In this paper, we are primarily concerned with the two quantities $\mathfrak{d}(G):=ω(G)-\operatorname{o}(G)$ and $\mathfrak{q}(G):=ω(G)/\operatorname{o}(G)$, each of which may be viewed as a measure for how far $G$ is from bein… ▽ More For a finite group $G$, we denote by $ω(G)$ the number of $\operatorname{Aut}(G)$-orbits on $G$, and by $\operatorname{o}(G)$ the number of distinct element orders in $G$. In this paper, we are primarily concerned with the two quantities $\mathfrak{d}(G):=ω(G)-\operatorname{o}(G)$ and $\mathfrak{q}(G):=ω(G)/\operatorname{o}(G)$, each of which may be viewed as a measure for how far $G$ is from being an AT-group in the sense of Zhang (that is, a group with $ω(G)=\operatorname{o}(G)$). We show that the index $|G:\operatorname{Rad}(G)|$ of the soluble radical $\operatorname{Rad}(G)$ of $G$ can be bounded from above both by a function in $\mathfrak{d}(G)$ and by a function in $\mathfrak{q}(G)$ and $\operatorname{o}(\operatorname{Rad}(G))$. We also obtain a curious quantitative characterisation of the Fischer-Griess Monster group $\operatorname{M}$. △ Less

Submitted 3 November, 2020; v1 submitted 25 October, 2019; originally announced October 2019.

Comments: 98 pages; incorporated referee comments in v2; to appear in Mem. Amer. Math. Soc

MSC Class: 20D60 (Primary); 20D05; 20D45 (Secondary)

Generating infinite digraphs by derangements

Authors: Daniel Horsley, Moharram Iradmusa, Cheryl E. Praeger

Abstract: 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… ▽ More 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. △ Less

Submitted 28 August, 2020; v1 submitted 9 September, 2019; originally announced September 2019.

Comments: 14 pages, 4 figures

MSC Class: 05C25 (Primary); 05C20 (Secondary)

Partial linear spaces with a rank 3 affine primitive group of automorphisms

Authors: John Bamberg, Alice Devillers, Joanna B. Fawcett, Cheryl E. Praeger

Abstract: A partial linear space is a pair $(\mathcal{P},\mathcal{L})$ where $\mathcal{P}$ is a non-empty set of points and $\mathcal{L}$ is a collection of subsets of $\mathcal{P}$ called lines such that any two distinct points are contained in at most one line, and every line contains at least two points. A partial linear space is proper when it is not a linear space or a graph. A group of automorphisms… ▽ More A partial linear space is a pair $(\mathcal{P},\mathcal{L})$ where $\mathcal{P}$ is a non-empty set of points and $\mathcal{L}$ is a collection of subsets of $\mathcal{P}$ called lines such that any two distinct points are contained in at most one line, and every line contains at least two points. A partial linear space is proper when it is not a linear space or a graph. A group of automorphisms $G$ of a proper partial linear space acts transitively on ordered pairs of distinct collinear points and ordered pairs of distinct non-collinear points precisely when $G$ is transitive of rank 3 on points. In this paper, we classify the finite proper partial linear spaces that admit rank 3 affine primitive automorphism groups, except for certain families of small groups, including subgroups of $AΓL_1(q)$. Up to these exceptions, this completes the classification of the finite proper partial linear spaces admitting rank 3 primitive automorphism groups. We also provide a more detailed version of the classification of the rank 3 affine primitive permutation groups, which may be of independent interest. △ Less

Submitted 11 March, 2021; v1 submitted 29 August, 2019; originally announced August 2019.

Comments: In this version, we have removed the assumption $V\leq H$ from 18.1 (old 13.2) and we have a new elementary proof of 10.10 (old 13.1). We have also reorganised some of the sections and made minor revisions throughout. 69 pages, 1 figure

MSC Class: 51E30; 05E18; 20B15; 05B25; 20B25

Journal ref: J. London Math. Soc. 104 (2021), 1011-1084

Generalised shuffle groups

Authors: Carmen Amarra, Luke Morgan, Cheryl E. Praeger

Abstract: The mathematics of shuffling a deck of $2n$ cards with two "perfect shuffles" was brought into clarity by Diaconis, Graham and Kantor. Here we consider a generalisation of this problem, with a so-called "many handed dealer" shuffling $kn$ cards by cutting into $k$ piles with $n$ cards in each pile and using $k!$ shuffles. A conjecture of Medvedoff and Morrison suggests that all possible permutatio… ▽ More The mathematics of shuffling a deck of $2n$ cards with two "perfect shuffles" was brought into clarity by Diaconis, Graham and Kantor. Here we consider a generalisation of this problem, with a so-called "many handed dealer" shuffling $kn$ cards by cutting into $k$ piles with $n$ cards in each pile and using $k!$ shuffles. A conjecture of Medvedoff and Morrison suggests that all possible permutations of the deck of cards are achieved, so long as $k\neq 4$ and $n$ is not a power of $k$. We confirm this conjecture for three doubly infinite families of integers: all $(k,n)$ with $k>n$; all $(k, n)\in \{ (\ell^e, \ell^f )\mid \ell \geqslant 2, \ell^e>4, f \ \mbox{not a multiple of}\ e\}$; and all $(k,n)$ with $k=2^e\geqslant 4$ and $n$ not a power of $2$. We open up a more general study of shuffle groups, which admit an arbitrary subgroup of shuffles. △ Less

Submitted 14 August, 2019; originally announced August 2019.

MSC Class: 20B25; 05E18

Finite 2-arc-transitive strongly regular graphs and 3-geodesic-transitive graphs

Authors: Wei **, Cheryl E. Praeger

Abstract: We classify all the $2$-arc-transitive strongly regular graphs, and use this classification to study the family of finite $(G,3)$-geodesic-transitive graphs of girth $4$ or $5$ for some group $G$ of automorphisms. For this application we first give a reduction result on the latter family of graphs: let $N$ be a normal subgroup of $G$ which has at least $3$ orbits on vertices. We show that $Γ$ is a… ▽ More We classify all the $2$-arc-transitive strongly regular graphs, and use this classification to study the family of finite $(G,3)$-geodesic-transitive graphs of girth $4$ or $5$ for some group $G$ of automorphisms. For this application we first give a reduction result on the latter family of graphs: let $N$ be a normal subgroup of $G$ which has at least $3$ orbits on vertices. We show that $Γ$ is a cover of its quotient $Γ_N$ modulo the $N$-orbits, and that either $Γ_N$ is $(G/N,3)$-geodesic-transitive of the same girth as $Γ$, or $Γ_N$ is a $(G/N,2)$-arc-transitive strongly regular graph, or $Γ_N$ is a complete graph with $G/N$ acting 3-transitively on vertices. The classification of $2$-arc-transitive strongly regular graphs allows us to characterise the $(G,3)$-geodesic-transitive covers $Γ$ when $Γ_N$ is complete or strongly regular. △ Less

Submitted 2 April, 2019; originally announced April 2019.

On locally $n \times n$ grid graphs

Authors: Carmen Amarra, Wei **, Cheryl E. Praeger

Abstract: We investigate locally $n \times n$ grid graphs, that is, graphs in which the neighbourhood of any vertex is the Cartesian product of two complete graphs on $n$ vertices. We consider the subclass of these graphs for which each pair of vertices at distance two is joined by sufficiently many paths of length $2$. The number of such paths is known to be at most $2n$ by previous work of Blokhuis and Br… ▽ More We investigate locally $n \times n$ grid graphs, that is, graphs in which the neighbourhood of any vertex is the Cartesian product of two complete graphs on $n$ vertices. We consider the subclass of these graphs for which each pair of vertices at distance two is joined by sufficiently many paths of length $2$. The number of such paths is known to be at most $2n$ by previous work of Blokhuis and Brouwer. We show that if each distance two pair is joined by at least $n-1$ paths of length $2$ then the diameter is bounded by $O(\log(n))$, while if each pair is joined by at least $2(n-1)$ such paths then the diameter is at most $3$ and we give a tight upper bound on the order of the graphs. We show that graphs meeting this upper bound are distance-regular antipodal covers of complete graphs. We exhibit an infinite family of such graphs which are locally $n \times n$ grid for odd prime powers $n$, and apply these results to locally $5 \times 5$ grid graphs to obtain a classification for the case where either all $μ$-graphs have order at least $8$ or all $μ$-graphs have order $c$ for some constant $c$. △ Less

Submitted 11 September, 2023; v1 submitted 19 March, 2019; originally announced March 2019.

Irreducible linear subgroups generated by pairs of matrices with large irreducible submodules

Authors: Alice C. Niemeyer, Sabina B. Pannek, Cheryl E. Praeger

Abstract: We call an element of a finite general linear group $ \textrm{GL}(d,q) $ \emph{fat} if it leaves invariant, and acts irreducibly on, a subspace of dimension greater than $d/2$. Fatness of an element can be decided efficiently in practice by testing whether its characteristic polynomial has an irreducible factor of degree greater than $d/2$. We show that for groups $G$ with… ▽ More We call an element of a finite general linear group $ \textrm{GL}(d,q) $ \emph{fat} if it leaves invariant, and acts irreducibly on, a subspace of dimension greater than $d/2$. Fatness of an element can be decided efficiently in practice by testing whether its characteristic polynomial has an irreducible factor of degree greater than $d/2$. We show that for groups $G$ with $ \textrm{SL}(d,q) \leq G \leq \textrm{GL}(d,q) $ most pairs of fat elements from $G$ generate irreducible subgroups, namely we prove that the proportion of pairs of fat elements generating a reducible subgroup, in the set of all pairs in $ G \times G $, is less than $q^{-d+1}$. We also prove that the conditional probability to obtain a pair $(g_1,g_2)$ in $G \times G$ which generates a reducible subgroup, given that $g_1, g_2$ are fat elements, is less than $2q^{-d+1}$. Further, we show that any reducible subgroup generated by a pair of fat elements acts irreducibly on a subspace of dimension greater than $ d/2 $, and in the induced action the generating pair corresponds to a pair of fat elements. △ Less

Submitted 17 March, 2019; originally announced March 2019.

MSC Class: 20G40; 20P05

Journal ref: Arch. Math. (2012) 98: 105

Linear bounds for the normal covering number of the symmetric and alternating groups

Authors: Daniela Bubboloni, Cheryl E. Praeger, Pablo Spiga

Abstract: The normal covering number $γ(G)$ of a finite, non-cyclic group $G$ is the minimum number of proper subgroups such that each element of $G$ lies in some conjugate of one of these subgroups. We find lower bounds linear in $n$ for $γ(S_n)$, when $n$ is even, and for $γ(A_n)$, when $n$ is odd. The normal covering number $γ(G)$ of a finite, non-cyclic group $G$ is the minimum number of proper subgroups such that each element of $G$ lies in some conjugate of one of these subgroups. We find lower bounds linear in $n$ for $γ(S_n)$, when $n$ is even, and for $γ(A_n)$, when $n$ is odd. △ Less

Submitted 12 March, 2019; originally announced March 2019.

MSC Class: 20B30; 20F05

Journal ref: https://link.springer.com/article/10.1007/s00605-019-01287-5 (2020)

Four-Valent Oriented Graphs of Biquasiprimitive Type

Authors: Nemanja Poznanović, Cheryl E. Praeger

Abstract: Let $\mathcal{OG}(4)$ denote the family of all graph-group pairs $(Γ,G)$ where $Γ$ is 4-valent, connected and $G$-oriented ($G$-half-arc-transitive). Using a novel application of the structure theorem for biquasiprimitive permutation groups of the second author, we produce a description of all pairs $(Γ, G) \in\mathcal{OG}(4)$ for which every nontrivial normal subgroup of $G$ has at most two orbit… ▽ More Let $\mathcal{OG}(4)$ denote the family of all graph-group pairs $(Γ,G)$ where $Γ$ is 4-valent, connected and $G$-oriented ($G$-half-arc-transitive). Using a novel application of the structure theorem for biquasiprimitive permutation groups of the second author, we produce a description of all pairs $(Γ, G) \in\mathcal{OG}(4)$ for which every nontrivial normal subgroup of $G$ has at most two orbits on the vertices of $Γ$. In particular we show that $G$ has a unique minimal normal subgroup $N$ and that $N \cong T^k$ for a simple group $T$ and $k\in \{1,2,4,8\}$. This provides a crucial step towards a general description of the long-studied family $\mathcal{OG}(4)$ in terms of a normal quotient reduction. We also give several methods for constructing pairs $(Γ, G)$ of this type and provide many new infinite families of examples, covering each of the possible structures of the normal subgroup $N$. △ Less

Submitted 27 February, 2019; originally announced February 2019.

Involution centralisers in finite unitary groups of odd characteristic

Authors: S. P. Glasby, Cheryl E. Praeger, Colva M. Roney-Dougal

Abstract: We analyse the complexity of constructing involution centralisers in unitary groups over fields of odd order. In particular, we prove logarithmic bounds on the number of random elements required to generate a subgroup of the centraliser of a strong involution that contains the last term of its derived series. We use this to strengthen previous bounds on the complexity of recognition algorithms for… ▽ More We analyse the complexity of constructing involution centralisers in unitary groups over fields of odd order. In particular, we prove logarithmic bounds on the number of random elements required to generate a subgroup of the centraliser of a strong involution that contains the last term of its derived series. We use this to strengthen previous bounds on the complexity of recognition algorithms for unitary groups in odd characteristic. Our approach generalises and extends two previous papers by the second author and collaborators on strong involutions and regular semisimple elements of linear groups. △ Less

Submitted 20 September, 2019; v1 submitted 4 December, 2018; originally announced December 2018.

Comments: 48 pages. Revised after suggestions from Eamonn O'Brien and an anonymous referee. To appear J. Algebra

MSC Class: 20P05; 22E20; 60B20

Permutations with orders coprime to a given integer

Authors: John Bamberg, S. P. Glasby, Scott Harper, Cheryl E. Praeger

Abstract: Let $m$ be a positive integer and let $ρ(m,n)$ be the proportion of permutations of the symmetric group ${\rm Sym}(n)$ whose order is coprime to $m$. In 2002, Pouyanne proved that $ρ(n,m)n^{1-\frac{φ(m)}{m}}\sim κ_m$ where $κ_m$ is a complicated (unbounded) function of $m$. We show that there exists a positive constant $C(m)$ such that, for all $n \geqslant m$, \[C(m) \left(\frac{n}{m}\right)^{\fr… ▽ More Let $m$ be a positive integer and let $ρ(m,n)$ be the proportion of permutations of the symmetric group ${\rm Sym}(n)$ whose order is coprime to $m$. In 2002, Pouyanne proved that $ρ(n,m)n^{1-\frac{φ(m)}{m}}\sim κ_m$ where $κ_m$ is a complicated (unbounded) function of $m$. We show that there exists a positive constant $C(m)$ such that, for all $n \geqslant m$, \[C(m) \left(\frac{n}{m}\right)^{\frac{φ(m)}{m}-1} \leqslant ρ(n,m) \leqslant \left(\frac{n}{m}\right)^{\frac{φ(m)}{m}-1}\] where $φ$ is Euler's totient function. △ Less

Submitted 18 April, 2019; v1 submitted 27 July, 2018; originally announced July 2018.

Comments: 10 pages, 3 figures

MSC Class: 20B30; 05A15; 68W20