arXiv subjects
Publications and source records attributed to Michael Giudici.
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 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$.
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.
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}$.
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 examine the subgroup $D(G)$ of a transitive permutation group $G$ which is generated by the derangements in $G$. Our main results bound the index of this subgroup: we conjecture that, if $G$ has degree $n$ and is not a Frobenius group, then $|G:D(G)|\leqslant\sqrt{n}-1$; we prove this except when $G$ is a primitive affine group. For affine groups, we translate our conjecture into an equivalent form regarding $|H:R(H)|$, where $H$ is a linear group on a finite vector space and $R(H)$ is the subgroup of $H$ generated by elements having eigenvalue~$1$. If $G$ is a Frobenius group, then $D(G)$ is the Frobenius kernel, and so $G/D(G)$ is isomorphic to a Frobenius complement. We give some examples where $D(G)\ne G$, and examine the group-theoretic structure of $G/D(G)$; in particular, we construct groups $G$ in which $G/D(G)$ is not a Frobenius complement.
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$.
A Cayley graph is said to be an NNN-graph if it is both normal and non-normal for isomorphic regular groups, and a group has the NNN-property if there exists an NNN-graph for it. In this paper we investigate the NNN-property of cyclic groups, and show that cyclic groups do not have the NNN-property.
We introduce the notion of a symmetric basis of a vector space equipped with a quadratic form, and provide a sufficient and necessary condition for the existence to such a basis. Symmetric bases are then used to study Cayley graphs of certain extraspecial 2-groups of order 2^{2r+1} (r\geq 1), which are further shown to be normal Cayley graphs and 2-arc-transitive covers of 2r-dimensional hypercubes.
We study $G$-vertex-primitive and $(G,s)$-arc-transitive digraphs for almost simple groups $G$ with socle $\mathrm{PSL}_n(q)$. It turns out that $s\leqslant2$ for such digraphs, which provides the first step in determining an upper bound on $s$ for all the vertex-primitive $s$-arc-transitive digraphs.
We prove that every finite arc-transitive graph of valency twice a prime admits a nontrivial semiregular automorphism, that is, a non-identity automorphism whose cycles all have the same length. This is a special case of the Polycirculant Conjecture, which states that all finite vertex-transitive digraphs admit such automorphisms.
Distance-regular graphs have many beautiful combinatorial properties. Distance-transitive graphs have very strong symmetries, and they are distance-regular, i.e. distance-transitivity implies distance-regularity. In this paper, we give similar results, i.e. for special $s$ and graphs with other restrictions we show that $s$-distance-transitivity implies distance-regularity.
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 instance, we conjecture that if $G$ is a primitive group with a base of size $2$, then the diameter of $Σ(G)$ is at most $2$. Using a probabilistic approach, we establish the conjecture for some families of almost simple groups. For example, the conjecture holds when $G=S_n$ or $A_n$ (with $n>12$) and the point stabiliser of $G$ is a primitive subgroup. In contrast, we can construct imprimitive groups whose Saxl graph is disconnected with arbitrarily many connected components, or connected with arbitrarily large diameter.
Dolfi, Guralnick, Praeger and Spiga asked if there exist infinitely many primitive groups of twisted wreath type with nontrivial coprime subdegrees. Here we settle this question in the affirmative. We construct infinite families of primitive twisted wreath permutation groups with nontrivial coprime subdegrees. In particular, we define a primitive twisted wreath group $G(m,q)$ constructed from the nonabelian simple group $\text{PSL}(2,q)$ and a primitive permutation group of diagonal type with socle $\text{PSL}(2,q)^m$, and determine all values of $m$ and $q$ for which $G(m,q)$ has nontrivial coprime subdegrees. In the case where $m=2$ and $q\notin\{7,11,29\}$ we obtain a full classification of all pairs of nontrivial coprime subdegrees.
Let $q$ be a power of a prime $p$ and let $G$ be a completely reducible subgroup of $\mathrm{GL}(d,q)$. We prove that the number of composition factors of $G$ that have prime order $p$ is at most $(\varepsilon_q d-1)/(p-1)$, where $\varepsilon_q$ is a function of $q$ satisfying $1\leqslant\varepsilon_q\leqslant 3/2$. For every $q$, we give examples showing this bound is sharp infinitely often.
We solve the long-standing existence problem of vertex-primitive 2-arc-transitive digraphs by constructing an infinite family of such digraphs.
We study vertex-quasiprimitive $2$-arc-transitive digraphs, reducing the problem of vertex-primitive $2$-arc-transitive digraphs to almost simple groups. This includes a complete classification of vertex-quasiprimitive $2$-arc-transitive digraphs where the action on vertices has O'Nan-Scott type SD or CD.
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.