The minimal degree of a permutation group $G$ is defined as the minimal number of non-fixed points of a non-trivial element of $G$. In this paper we show that if $G$ is a transitive permutation group of degree $n$ having no non-trivial normal $2$-subgroups such that the stabiliser of a point is a $2$-group, then the minimal degree of $G$ is at least $\frac{2}{3}n$. The proof depends on the classification of finite simple groups.
Let $p$ be a prime and let $L$ be either the intransitive permutation group $C_p\times C_p$ of degree $2p$ or the transitive permutation group $C_p \wr C_2$ of degree $2p$. Let $Γ$ be a connected $G$-vertex-transitive and $G$-edge-transitive graph and let $v$ be a vertex of $Γ$. We show that if the permutation group induced by the vertex-stabiliser $G_v$ on the neighbourhood $Γ(v)$ is isomorphic to $L$ then either $|V(Γ)|\geq p|G_v|\log_p\left(|G_v|/2\right)$, or $|V(Γ)|$ is bounded by a constant depending only on $p$, or $Γ$ is a very-well understood graph. This generalises a few recent resul…
In this paper we study $G$-arc-transitive graphs $Δ$ where the permutation group $G_x^{Δ(x)}$ induced by the stabiliser $G_x$ of the vertex $x$ on the neighbourhood $Δ(x)$ satisfies the two conditions given in the introduction. We show that for such a $G$-arc-transitive graph $Δ$, if $(x,y)$ is an arc of $Δ$, then the subgroup $G_{x,y}^{[1]}$ of $G$ fixing pointwise $Δ(x)$ and $Δ(y)$ is a $p$-group for some prime $p$. Next we prove that every $G$-locally primitive (respectively quasiprimitive, semiprimitive) graph satisfies our two local hypotheses. Thus this provides a new Thompson-Wielandt-l…
In this paper we discuss a method for bounding the size of the stabiliser of a vertex in a $G$-vertex-transitive graph $Γ$. In the main result the group $G$ is quasiprimitive or biquasiprimitive on the vertices of $Γ$, and we obtain a genuine reduction to the case where $G$ is a nonabelian simple group. Using normal quotient techniques developed by the first author, the main theorem applies to general $G$-vertex-transitive graphs which are $G$-locally primitive (respectively, $G$-locally quasiprimitive), that is, the stabiliser $G_α$ of a vertex $α$ acts primitively (respectively quasiprimitiv…
Let $G$ be a permutation group on a set $Ω$ and recall that a base for $G$ is a subset of $Ω$ such that its pointwise stabiliser is trivial. In a recent paper, Burness and Giudici introduced the Saxl graph of $G$, denoted $Σ(G)$, with vertex set $Ω$ and two vertices adjacent if they form a base. If $G$ is transitive, then $Σ(G)$ is vertex-transitive and it is natural to consider its valency (which we refer to as the valency of $G$). In this paper we present a general method for computing the valency of any finite transitive group and we use it to calculate the exact valency of every primitive …
This paper begins the classification of all edge-primitive 3-arc-transitive graphs by classifying all such graphs where the automorphism group is an almost simple group with socle an alternating or sporadic group, and all such graphs where the automorphism group is an almost simple classical group with a vertex-stabiliser acting faithfully on the set of neighbours.
We consider a finite, connected and simple graph $Γ$ that admits a vertex-transitive group of automorphisms $G$. Under the assumption that, for all $x \in V(Γ)$, the local action $G_x^{Γ(x)}$ is the action of $\mathrm{Sym}(n)$ on ordered pairs, we show that the group $G_x^{[3]}$, the pointwise stabiliser of a ball of radius three around $x$, is trivial.
In this short note we present a simple combinatorial trick which can be effectively applied to show the non--existence of sharply transitive sets of permutations in certain finite permutation groups.
In this paper we consider connected locally $G$-arc-transitive graphs with vertices of valence 3 and 4, such that the kernel $G_{uv}^{[1]}$ of the action of an edge-stabiliser on the neighourhood $Γ(u) \cup Γ(v)$ is trivial. We find nineteen finitely presented groups with the property that any such group $G$ is a quotient of one of these groups. As an application, we enumerate all connected locally arc-transitive graphs of valence ${3,4}$ on at most 350 vertices whose automorphism group contains a locally arc-transitive subgroup $G$ with $G_{uv}^{[1]} = 1$.
Let $G$ be a transitive permutation group on a finite set $Ω$ and recall that a base for $G$ is a subset of $Ω$ with trivial pointwise stabiliser. The base size of $G$, denoted $b(G)$, is the minimal size of a base. If $b(G)=2$ then we can study the Saxl graph $Σ(G)$ of $G$, which has vertex set $Ω$ and two vertices are adjacent if they form a base. This is a vertex-transitive graph, which is conjectured to be connected with diameter at most $2$ when $G$ is primitive. In this paper, we combine probabilistic and computational methods to prove a strong form of this conjecture for all almost simp…
Given two positive integers n and c, we determine an upper bound, as a function of n and c, for the maximum order of a finite nilpotent transitive group of degree n and nilpotency class at most c.
In the first paper in this series we estimated the probability that a random permutation $π\in\mathcal{S}_n$ has a fixed set of a given size. In this paper, we elaborate on the same method to estimate the probability that $π$ has $m$ disjoint fixed sets of prescribed sizes $k_1,\dots,k_m$, where $k_1+\cdots+k_m=n$. We deduce an estimate for the proportion of permutations contained in a transitive subgroup other than $\mathcal{S}_n$ or $\mathcal{A}_n$. This theorem consists of two parts: an estimate for the proportion of permutations contained in an imprimitive transitive subgroup, and an estim…
Let $Γ$ be a finite $G$-vertex-transitive digraph. The in-local action of $(Γ,G)$ is the permutation group $L_-$ induced by the vertex-stabiliser on the set of in-neighbours of $v$. The out-local action $L_+$ is defined analogously. Note that $L_-$ and $L_+$ may not be isomorphic. We thus consider the problem of determining which pairs $(L_-,L_+)$ are possible. We prove some general results, but pay special attention to the case when $L_-$ and $L_+$ are both quasiprimitive. (Recall that a permutation group is quasiprimitive if each of its nontrivial normal subgroups is transitive.) Along the w…
A permutation group is called semiprimitive if each of its normal subgroups is either transitive or semiregular. Given nontrivial finite transitive permutation groups $L_1$ and $L_2$ with $L_1$ not semiprimitive, we construct an infinite family of rank two amalgams of permutation type $[L_1,L_2]$ and Borel subgroups of strictly increasing order. As an application, we show that there is no bound on the order of edge-stabilisers in locally $[L_1,L_2]$ graphs. We also consider the corresponding question for amalgams of rank $k\geq 3$. We completely resolve this by showing that the order of the Bo…
Let $G$ be a permutation group on a set $Ω$. A base for $G$ is a subset of $Ω$ whose pointwise stabiliser is trivial, and the base size of $G$ is the minimal cardinality of a base. If $G$ has base size $2$, then the corresponding Saxl graph $Σ(G)$ has vertex set $Ω$ and two vertices are adjacent if they form a base for $G$. A recent conjecture of Burness and Giudici states that if $G$ is a finite primitive permutation group with base size $2$, then $Σ(G)$ has the property that every two vertices have a common neighbour. We investigate this conjecture when $G$ is an affine group and a point sta…
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 latt…
We show that, there exists a constant $a$ such that, for every subgroup $H$ of a finite group $G$, the number of maximal subgroups of $G$ containing $H$ is bounded above by $a|G:H|^{3/2}$. In particular, a transitive permutation group of degree $n$ has at most $an^{3/2}$ maximal systems of imprimitivity. When $G$ is soluble, generalizing a classic result of Tim Wall, we prove a much stroger bound, that is, the number of maximal subgroups of $G$ containing $H$ is at most $|G:H|-1$.
We explicitly determine all of the transitive groups of degree p-squared, p a prime, whose Sylow p-subgroup is not the wreath product of two cyclic groups of order p. Furthermore, we provide a general description of the transitive groups of degree p-squared whose Sylow p-subgroup is such a wreath product, and explicitly determine most of them. As applications, we solve the Cayley Isomorphism problem for Cayley objects of an abelian group of order p-squared, explicitly determine the full automorphism group of Cayley graphs of abelian groups of order p-squared, and find all nonnormal Cayley grap…
Let $G$ be a finite primitive permutation group on a set $Ω$ with point stabiliser $H$. Recall that a subset of $Ω$ is a base for $G$ if its pointwise stabiliser is trivial. We define the base size of $G$, denoted $b(G,H)$, to be the minimal size of a base for $G$. Determining the base size of a group is a fundamental problem in permutation group theory, with a long history stretching back to the 19th century. Here one of our main motivations is a theorem of Seress from 1996, which states that $b(G,H) \leqslant 4$ if $G$ is soluble. In this paper we extend Seress' result by proving that $b(G,H…
Let $Γ$ be a connected $G$-vertex-transitive graph, let $v$ be a vertex of $Γ$ and let $G_v^{Γ(v)}$ be the permutation group induced by the action of the vertex-stabiliser $G_v$ on the neighbourhood $Γ(v)$. The graph $Γ$ is said to be $G$-\emph{locally primitive} if $G_v^{Γ(v)}$ is primitive. Richard Weiss conjectured in $1978$ that, there exists a function $f:\mathbb{N}\to \mathbb{N}$ such that, if $Γ$ is a connected $G$-vertex-transitive locally primitive graph of valency $d$ and $v$ is a vertex of $Γ$ with $|G_v|$ finite, then $|G_v|\leq f(d)$. As an application of the Local $C(G,T)$ Theore…
In this paper we investigate graphs that admit a group acting arc-transitively such that the local action is semiprimitive with a regular normal nilpotent subgroup. This type of semiprimitive group is a generalisation of an affine group. We show that if the graph has valency coprime to six, then there is a bound on the order of the vertex stabilisers depending on the valency alone. We also prove a detailed structure theorem for the vertex stabilisers in the remaining case. This is a contribution to an ongoing project to investigate the validity of the Potočnik-Spiga-Verret Conjecture.
The relative fixity of a permutation group is the maximum proportion of the points fixed by a non-trivial element of the group and the relative fixity of a graph is the relative fixity of its automorphism group, viewed as a permutation group on the vertex-set of the graph. We prove in this paper that the relative fixity of connected $2$-arc-transitive graphs of a fixed valence tends to $0$ as the number of vertices grows to infinity. We prove the same result for the class of arc-transitive graphs of a fixed prime valence, and more generally, for any class of arc-transitive locally-$L$ graphs, …
We improve the upper bounds (in terms of $n$) in [9] and [13] on the minimal number of elements required to generate a minimally transitive permutation group of degree $n$.
A linear group G on a finite vector space V, (that is, a subgroup of GL(V)) is called (1/2)-transitive if all the G-orbits on the set of nonzero vectors have the same size. We complete the classification of all the (1/2)-transitive linear groups. As a consequence we complete the determination of the finite (3/2)-transitive permutation groups -- the transitive groups for which a point-stabilizer has all its nontrivial orbits of the same size. We also determine the finite (k+1/2)-transitive permutation groups for integers k > 1.
In this article we look into characterizing primitive groups in the following way. Given a primitive group we single out a subset of its generators such that these generators alone (the so-called primitive generators) imply the group is primitive. The remaining generators ensure transitivity or comply with specific features of the group. We show that, other than the symmetric and alternating groups, there are infinitely many primitive groups with one primitive generator each. These primitive groups are certain Mathieu groups, certain projective general and projective special linear groups, and…
We investigate properties of finite transitive permutation groups $(G, Ω)$ in which all proper subgroups of $G$ act intransitively on $Ω.$ In particular, we are interested in reduction theorems for minimally transitive representations of solvable groups.
Let $Ω=\{1,2,...,n\}$ where $n \ge 2$. The {\em shape} of an ordered set partition $P=(P_1,..., P_k)$ of $Ω$ is the integer partition $λ=(λ_1,...,λ_k)$ defined by $λ_i = |P_i|$. Let G be a group of permutations acting on $Ω$. For a fixed partition $λ$ of n, we say that G is {\em $λ$-transitive} if G has only one orbit when acting on partitions P of shape $\la$. A corresponding definition can also be given when G is just a set. For example, if $λ=(n-t,1,...,1)$, then a $λ$-transitive group is the same as a t-transitive permutation group and if $λ=(n-t,t)$, then we recover the t-homogeneous perm…
It is proved in [21] that there is a constant $c$ such that each transitive permutation group of degree $d\ge 2$ can be generated by $\lfloor cd/\sqrt{\log{d}}\rfloor$ elements. In this paper, we explicitly estimate $c$.
Let $G$ be a permutation group on a set $Ω$. A subset of $Ω$ is a base for $G$ if its pointwise stabiliser in $G$ is trivial. In this paper we introduce and study an associated graph $Σ(G)$, which we call the Saxl graph of $G$. The vertices of $Σ(G)$ are the points of $Ω$, and two vertices are adjacent if they form a base for $G$. This graph encodes some interesting properties of the permutation group. We investigate the connectivity of $Σ(G)$ for a finite transitive group $G$, as well as its diameter, Hamiltonicity, clique and independence numbers, and we present several open problems. For in…
In this paper, we classify finite quasiprimitive permutation groups with a metacyclic transitive subgroup, solving a problem initiated by Wielandt in 1949. It also involves the classification of factorizations of almost simple groups with a metacyclic factor.
We determine the semi-regular subgroups of the 2-transitive permutation groups PGL(2,n), PSL(2,n), PGU(3,n), PSU(3,n), Sz(n) and Ree(n) with n a suitable power of a prime number p.
Let $G$ be a finite permutation group on a finite set $Ω$. The notion of $G$ being quasi-transitive on $Ω$ was defined by Alan Camina \cite{Camina}; in that paper conditions were established that ensured a quasi-transitive group on a finite set $Ω$ was transitive on $Ω$. The aim of this paper is to validate the conjecture made in \cite{Camina}: given any group $G$, if $G$ is quasi-transitive on a finite set $Ω$ then $G$ is transitive on $Ω$.
We prove an upper bound for the number of cyclic transitive subgroups in a finite permutation group and clarify the structure of the groups for which this bound becomes sharp. We also give an application in the theory of number fields.
Our aim is to describe the theory of Cartesian decompositions preserved by some member of a large family of finite transitive permutation groups called innatelytransitive groups.
Let $Γ$ be a finite connected $G$-vertex-transitive graph and let $v$ be a vertex of $Γ$. If the permutation group induced by the action of the vertex-stabiliser $G_v$ on the neighbourhood $Γ(v)$ is permutation isomorphic to $L$, then $(Γ,G)$ is said to be locally-$L$. A permutation group $L$ is graph-restrictive if there exists a constant $c(L)$ such that, for every locally-$L$ pair $(Γ,G)$ and a vertex $v$ of $Γ$, the inequality $|G_v|\leq c(L)$ holds. We show that an intransitive group is graph-restrictive if and only if it is semiregular.
In this paper, we study intersecting sets in primitive and quasiprimitive permutation groups. Let $G \leqslant \mathrm{Sym}(Ω)$ be a transitive permutation group, and ${S}$ an intersecting set. Previous results show that if $G$ is either 2-transitive or a Frobenius group, then $|{S}|\leqslant|G_ω|$ (for some $ω\in Ω$). Furthermore, for some 2-transitive groups, $|{S}|=|G_ω|$ if and only if ${S}$ is a coset of a stabilizer. In this paper, we prove that these statements are far from the truth for general transitive groups. In particular, we show that in the case of primitive groups, there is eve…
It is known that there are precisely three transitive permutation groups of degree $6$ that admit an invariant partition with three parts of size $2$ such that the kernel of the action on the parts has order $4$; these groups are called $A_4(6)$, $S_4(6d)$ and $S_4(6c)$. For each $L\in \{A_4(6), S_4(6d), S_4(6c)\}$, we construct an infinite family of finite connected $6$-valent graphs $\{Γ_n\}_{n\in \mathbb{N}}$ and arc-transitive groups $G_n \le \rm{Aut}(Γ_n)$ such that the permutation group induced by the action of the vertex-stabiliser $(G_n)_v$ on the neighbourhood of a vertex $v$ is permu…
Let $Γ$ be a connected $G$-vertex-transitive graph, let $v$ be a vertex of $Γ$ and let $L=G_v^{Γ(v)}$ be the permutation group induced by the action of the vertex-stabiliser $G_v$ on the neighbourhood $Γ(v)$. Then $(Γ,G)$ is said to be \emph{locally-$L$}. A transitive permutation group $L$ is \emph{graph-restrictive} if there exists a constant $c(L)$ such that, for every locally-$L$ pair $(Γ,G)$ and an arc $(u,v)$ of $Γ$, the inequality $|G_{uv}|\leq c(L)$ holds. Using this terminology, the Weiss Conjecture says that primitive groups are graph-restrictive. We propose a very strong generalisati…
We study Cartesian decompositions of sets that are acted upon intransitively by innately transitive permutation groups. We prove that such groups have at most three orbits on such a decomposition. A consequence of this result is that if $G$ is an innately transitive subgroup of a wreath product in product action then the natural projection of $G$ into the top group has at most 2 orbits.
The purpose of this paper is to prove that if $G$ is a transitive permutation group of degree $n\geq 2$, then $G$ can be generated by $\lfloor cn/\sqrt{\log{n}}\rfloor$ elements, where $c:=\sqrt{3}/2$. Owing to the transitive group $D_8\circ D_8$ of degree $8$, this upper bound is best possible. Our new result improves a 2018 paper by the author, and makes use of the recent classification of transitive groups of degree $48$.
In this paper we analyze the structure of transitive permutation groups that have trivial four point stabilizers, but some nontrivial three point stabilizer. In particular we give a complete, detailed classification when the group is simple or quasisimple. This paper is motivated by questions concerning the relationship between fixed points of automorphisms of Riemann surfaces and Weierstrass points and is a continuation of the authors' earlier work.
Let $G$ be a transitive permutation group of degree $n$. We say that $G$ is $2'$-elusive if $n$ is divisible by an odd prime, but $G$ does not contain a derangement of odd prime order. In this paper we study the structure of quasiprimitive and biquasiprimitive $2'$-elusive permutation groups, extending earlier work of Giudici and Xu on elusive groups. As an application, we use our results to investigate automorphisms of finite arc-transitive graphs of prime valency.
A permutation group is innately transitive if it has a transitive minimal normal subgroup, and this subgroup is called a plinth. In this paper we study three special types of inclusions of innately transitive permutation groups in wreath products in product action. This is achieved by studying the natural Cartesian decomposition of the underlying set that correspond to the product action of a wreath product. Previously we identified six classes of Cartesian decompositions that can be acted upon transitively by an innately transitive group with a non-abelian plinth. The inclusions studied in th…
The first main result of this paper is that a finite transitive nonabelian characteristically simple subgroup of a wreath product in product action must lie in the base group of the wreath product. This allows us to characterize nonabelian transitive characteristically simple subgroups $H$ of finite quasiprimitive permutation groups $G$. If the socle of $G$, denoted by $\mbox{soc}(G)$, is nonabelian, then $H$ lies in $\mbox{soc}(G)$. An explicit description is given for the possibilities of $H$ under the condition that $H$ does not contain a nontrivial normal subgroup of $\mbox{soc}(G)$.
We study finite transitive permutation groups $G\leqslant\operatorname{Sym}(Ω)$ such that all orbits of the conjugation action on $G$ of the normaliser of $G$ in $\operatorname{Sym}(Ω)$ have size bounded by some constant. Our results extend recent results, due to the first author, on finite abstract groups $G$ such that all orbits of the natural action of the automorphism group $\operatorname{Aut}(G)$ on $G$ have size bounded by some constant.
We use Müller and Nagy's method of contradicting subsets to give a new proof for the non-existence of sharply $2$-transitive subsets of the symplectic groups $\mathrm{Sp}(2d,2)$ in their doubly-transitive actions of degrees $2^{2d-1}\pm 2^{d-1}$. The original proof by Grundhöfer and Müller was rather complicated and used some results from modular representation theory, whereas our new proof requires only simple counting arguments.
We consider codes of length $m$ over an alphabet of size $q$ as subsets of the vertex set of the Hamming graph $Γ=H(m,q)$. A code for which there exists an automorphism group $X\leq Aut(Γ)$ that acts transitively on the code and on its set of neighbours is said to be neighbour transitive, and were introduced by the authors as a group theoretic analogue to the assumption that single errors are equally likely over a noisy channel. Examples of neighbour transitive codes include the Hamming codes, various Golay codes, certain Hadamard codes, the Nordstrom Robinson codes, certain permutation codes …
Each group G of nxn permutation matrices has a corresponding permutation polytope, P(G):=conv(G) in R^{nxn}. We relate the structure of P(G) to the transitivity of G. In particular, we show that if G has t nontrivial orbits, then min{2t,floor(n/2)} is a sharp upper bound on the diameter of the graph of P(G); so if G is transitive, the diameter is at most 2. We also show that P(G) achieves its maximal dimension of (n-1)^2 precisely when G is 2-transitive. We then extend results of I. Pak on mixing times for a random walk on P(G). Our work depends on a new result for permutation groups involving…
