Showing 1–50 of 117 results for author: Spiga, P

IBIS primitive groups of almost simple type

Authors: Fabio Mastrogiacomo, Pablo Spiga

Abstract: Let $G$ be a finite permutation group on $Ω$. An ordered sequence $(ω_1\ldots,ω_\ell)$ of elements of $Ω$ is an irredundant base for $G$ if the pointwise stabilizer is trivial and no point is fixed by the stabilizer of its predecessors. The minimal cardinality of a base is said to be the base size of $G$. If all irredundant bases of $G$ have the same cardinality, $G$ is said to be an IBIS group.… ▽ More Let $G$ be a finite permutation group on $Ω$. An ordered sequence $(ω_1\ldots,ω_\ell)$ of elements of $Ω$ is an irredundant base for $G$ if the pointwise stabilizer is trivial and no point is fixed by the stabilizer of its predecessors. The minimal cardinality of a base is said to be the base size of $G$. If all irredundant bases of $G$ have the same cardinality, $G$ is said to be an IBIS group. In this paper, we classify the finite almost simple primitive IBIS groups whose base size is at least $6$. △ Less

Submitted 19 June, 2024; originally announced June 2024.

Comments: 43 pages

On the number of generators of groups acting arc-transitively on graphs

Authors: Marco Barbieri, Pablo Spiga

Abstract: Given a finite connected graph $Γ$ and a group $G$ acting transitively on the vertices of $Γ$, we prove that the number of vertices of $Γ$ and the cardinality of $G$ are bounded above by a function depending only on the cardinality of $Γ$ and on the exponent of $G$. We also prove that the number of generators of a group $G$ acting transitively on the arcs of a finite graph $Γ$ cannot be bounded by… ▽ More Given a finite connected graph $Γ$ and a group $G$ acting transitively on the vertices of $Γ$, we prove that the number of vertices of $Γ$ and the cardinality of $G$ are bounded above by a function depending only on the cardinality of $Γ$ and on the exponent of $G$. We also prove that the number of generators of a group $G$ acting transitively on the arcs of a finite graph $Γ$ cannot be bounded by a function of the valency alone. △ Less

Submitted 22 May, 2024; originally announced May 2024.

MSC Class: 20B25; 05C25

Asymptotic enumeration of Haar graphical representations

Authors: Yunsong Gan, Pablo Spiga, Binzhou Xia

Abstract: This paper represents a significant leap forward in the problem of enumerating vertex-transitive graphs. Recent breakthroughs on symmetry of Cayley (di)graphs show that almost all finite Cayley (di)graphs have the smallest possible automorphism group. Extending the scope of these results, we enumerate (di)graphs admitting a fixed semiregular group of automorphisms with m orbits. Moreover, we consi… ▽ More This paper represents a significant leap forward in the problem of enumerating vertex-transitive graphs. Recent breakthroughs on symmetry of Cayley (di)graphs show that almost all finite Cayley (di)graphs have the smallest possible automorphism group. Extending the scope of these results, we enumerate (di)graphs admitting a fixed semiregular group of automorphisms with m orbits. Moreover, we consider the more intricate inquiry of prohibiting arcs within each orbit, where the special case m = 2 is known as the problem of finding Haar graphical representations (HGRs). We significantly advance the understanding of HGRs by proving that the proportion of HGRs among Haar graphs of a finite nonabelian group approaches 1 as the group order grows. As a corollary, we obtain an improved bound on the proportion of DRRs among Cayley digraphs in the solution of Morris and the second author to the Babai-Godsil conjecture. △ Less

Submitted 15 May, 2024; originally announced May 2024.

Groups with elements of order 8 do not have the DCI property

Authors: Ted Dobson, Joy Morris, Pablo Spiga

Abstract: Let $k$ be odd, and $n$ an odd multiple of $3$. We prove that $C_k \rtimes C_8$ and $(C_n \times C_3)\rtimes C_8$ do not have the Directed Cayley Isomorphism (DCI) property. When $k$ is also prime, $C_k \rtimes C_8$ had previously been proved to have the Cayley Isomorphism (CI) property. To the best of our knowledge, the groups $C_p \rtimes C_8$ (where $p$ is an odd prime) are only the second know… ▽ More Let $k$ be odd, and $n$ an odd multiple of $3$. We prove that $C_k \rtimes C_8$ and $(C_n \times C_3)\rtimes C_8$ do not have the Directed Cayley Isomorphism (DCI) property. When $k$ is also prime, $C_k \rtimes C_8$ had previously been proved to have the Cayley Isomorphism (CI) property. To the best of our knowledge, the groups $C_p \rtimes C_8$ (where $p$ is an odd prime) are only the second known infinite family of groups that have the CI property but do not have the DCI property. This also shows that no group with an element of order $8$ has the DCI property. △ Less

Submitted 22 April, 2024; originally announced April 2024.

Comments: 4 pages

MSC Class: 05C25; 05E18

Haar graphical representations of finite groups and an application to poset representations

Authors: Joy Morris, Pablo Spiga

Abstract: Let $R$ be a group and let $S$ be a subset of $R$. The Haar graph $\mathrm{Haar}(R,S)$ of $R$ with connection set $S$ is the graph having vertex set $R\times\{-1,1\}$, where two distinct vertices $(x,-1)$ and $(y,1)$ are declared to be adjacent if and only if $yx^{-1}\in S$. The name Haar graph was coined by Tomaž Pisanski in one of the first investigations on this class of graphs. For every… ▽ More Let $R$ be a group and let $S$ be a subset of $R$. The Haar graph $\mathrm{Haar}(R,S)$ of $R$ with connection set $S$ is the graph having vertex set $R\times\{-1,1\}$, where two distinct vertices $(x,-1)$ and $(y,1)$ are declared to be adjacent if and only if $yx^{-1}\in S$. The name Haar graph was coined by Tomaž Pisanski in one of the first investigations on this class of graphs. For every $g\in R$, the map** $ρ_g:(x,\varepsilon)\mapsto (xg,\varepsilon)$, $\forall (x,\varepsilon)\in R\times\{-1,1\}$, is an automorphism of $\mathrm{Haar}(R,S)$. In particular, the set $\hat{R}:=\{ρ_g\mid g\in R\}$ is a subgroup of the automorphism group of $\mathrm{Haar}(R,S)$ isomorphic to $R$. In the case that the automorphism group of $\mathrm{Haar}(R,S)$ equals $\hat{R}$, the Haar graph $\mathrm{Haar}(R,S)$ is said to be a Haar graphical representation of the group $R$. Answering a question of Feng, Kovács, Wang, and Yang, we classify the finite groups admitting a Haar graphical representation. Specifically, we show that every finite group admits a Haar graphical representation, with abelian groups and ten other small groups as the only exceptions. Our work on Haar graphs allows us to improve a 1980 result of Babai concerning representations of groups on posets, achieving the best possible result in this direction. An improvement to Babai's related result on representations of groups on distributive lattices follows. △ Less

Submitted 19 April, 2024; originally announced April 2024.

On the structure of the character degree graphs having diameter three

Authors: Silvio Dolfi, Roghayeh Hafezieh, Pablo Spiga

Abstract: The structure of the character degree graphs $Δ(G)$, i.e. the prime graphs on the set $\mathrm{cd}(G)$ of the irreducible character degrees of a finite group $G$, such that $G$ is solvable and $Δ(G)$ has diameter three, remains an intriguing area of study. However, a comprehensive understanding of these structures remains elusive. In this paper, we prove some properties and provide an infinite ser… ▽ More The structure of the character degree graphs $Δ(G)$, i.e. the prime graphs on the set $\mathrm{cd}(G)$ of the irreducible character degrees of a finite group $G$, such that $G$ is solvable and $Δ(G)$ has diameter three, remains an intriguing area of study. However, a comprehensive understanding of these structures remains elusive. In this paper, we prove some properties and provide an infinite series of examples of this class of graphs, building on the ideas of Mark Lewis. △ Less

Submitted 29 February, 2024; originally announced February 2024.

Groups having minimal covering number 2 of diagonal type

Authors: Marco Fusari, Andrea Previtali, Pablo Spiga

Abstract: Garonzi and Lucchini~\cite{GL} explored finite groups $G$ possessing a normal $2$-covering, where no proper quotient of $G$ exhibits such a covering. Their investigation offered a comprehensive overview of these groups, delineating that such groups fall into distinct categories: almost simple, affine, product action, or diagonal. In this paper, we focus on the family falling under the diagonal t… ▽ More Garonzi and Lucchini~\cite{GL} explored finite groups $G$ possessing a normal $2$-covering, where no proper quotient of $G$ exhibits such a covering. Their investigation offered a comprehensive overview of these groups, delineating that such groups fall into distinct categories: almost simple, affine, product action, or diagonal. In this paper, we focus on the family falling under the diagonal type. Specifically, we present a thorough classification of finite diagonal groups possessing a normal $2$-covering, with the attribute that no proper quotient of $G$ has such a covering. △ Less

Submitted 22 February, 2024; originally announced February 2024.

Comments: 9 pages

On the proportion of derangements and on suborbits in finite transitive groups

Authors: Marco Barbieri, Pablo Spiga

Abstract: We find a lower bound on the proportion of derangements in a finite transitive group that depends on the minimal nontrivial subdegree. As a consequence, we prove that, if $Γ$ is a $G$-vertex-transitive digraph of valency $d\ge 1$, then the proportion of derangements in $G$ is greater than $1/2d$. We find a lower bound on the proportion of derangements in a finite transitive group that depends on the minimal nontrivial subdegree. As a consequence, we prove that, if $Γ$ is a $G$-vertex-transitive digraph of valency $d\ge 1$, then the proportion of derangements in $G$ is greater than $1/2d$. △ Less

Submitted 7 February, 2024; originally announced February 2024.

Comments: 7 pages

MSC Class: 20B25; 20B35

Cliques in derangement graphs for innately transitive groups

Authors: Marco Fusari, Andrea Previtali, Pablo Spiga

Abstract: Given a permutation group $G$, the derangement graph of $G$ is the Cayley graph with connection set the derangements of $G$. The group $G$ is said to be innately transitive if $G$ has a transitive minimal normal subgroup. Clearly, every primitive group is innately transitive. We show that, besides an infinite family of explicit exceptions, there exists a function $f:\mathbb{N}\to \mathbb{N}$ such… ▽ More Given a permutation group $G$, the derangement graph of $G$ is the Cayley graph with connection set the derangements of $G$. The group $G$ is said to be innately transitive if $G$ has a transitive minimal normal subgroup. Clearly, every primitive group is innately transitive. We show that, besides an infinite family of explicit exceptions, there exists a function $f:\mathbb{N}\to \mathbb{N}$ such that, if $G$ is innately transitive of degree $n$ and the derangement graph of $G$ has no clique of size $k$, then $n\le f(k)$. Motivation for this work arises from investigations on Erdős-Ko-Rado type theorems for permutation groups. △ Less

Submitted 23 April, 2024; v1 submitted 9 November, 2023; originally announced November 2023.

On the cardinality of irredundant and minimal bases of finite permutation groups

Authors: Francesca Dalla Volta, Fabio Mastrogiacomo, Pablo Spiga

Abstract: Given a finite permutation group $G$ with domain $Ω$, we associate two subsets of natural numbers to $G$, namely $\mathcal{I}(G,Ω)$ and $\mathcal{M}(G,Ω)$, which are the sets of cardinalities of all the irredundant and minimal bases of $G$, respectively. We prove that $\mathcal{I}(G)$ is an interval of natural numbers, whereas $\mathcal{M}(G,Ω)$ may not necessarily form an interval. Moreover, for… ▽ More Given a finite permutation group $G$ with domain $Ω$, we associate two subsets of natural numbers to $G$, namely $\mathcal{I}(G,Ω)$ and $\mathcal{M}(G,Ω)$, which are the sets of cardinalities of all the irredundant and minimal bases of $G$, respectively. We prove that $\mathcal{I}(G)$ is an interval of natural numbers, whereas $\mathcal{M}(G,Ω)$ may not necessarily form an interval. Moreover, for a given subset of natural numbers $X \subseteq \mathbb{N}$, we provide some conditions on $X$ that ensure the existence of both intransitive and transitive groups $G$ such that $\mathcal{I}(G,Ω) = X$ and $\mathcal{M}(G,Ω) = X$. △ Less

Submitted 8 November, 2023; originally announced November 2023.

Comments: 13 pages

On the diameter of Engel graphs

Authors: Andrea Lucchini, Pablo Spiga

Abstract: Given a finite group $G$, the Engel graph of $G$ is a directed graph $Γ(G)$ encoding pairs of elements satisfying some Engel word. Namely, $Γ(G)$ is the directed graph, where the vertices are the non-hypercentral elements of $G$ and where there is an arc from $x$ to $y$ if and only if $[x,_ n y] = 1$ for some $n \in \mathbb{N}$. From previous work, it is known that, except for a few exceptions,… ▽ More Given a finite group $G$, the Engel graph of $G$ is a directed graph $Γ(G)$ encoding pairs of elements satisfying some Engel word. Namely, $Γ(G)$ is the directed graph, where the vertices are the non-hypercentral elements of $G$ and where there is an arc from $x$ to $y$ if and only if $[x,_ n y] = 1$ for some $n \in \mathbb{N}$. From previous work, it is known that, except for a few exceptions, $Γ(G)$ is strongly connected. In this paper, we give an absolute upper bound on the diameter of $Γ(G)$, when $Γ(G)$ is strongly connected. △ Less

Submitted 8 November, 2023; originally announced November 2023.

Comments: 8 pages

A formula for the base size of the symmetric group in its action on subsets

Authors: Giovanni Mecenero, Pablo Spiga

Abstract: Given two positive integers $n$ and $k$, we obtain a formula for the base size of the symmetric group of degree $n$ in its action on $k$-subsets. Then, we use this formula to compute explicitly the base size for each $n$ and for each $k\le 14$. Given two positive integers $n$ and $k$, we obtain a formula for the base size of the symmetric group of degree $n$ in its action on $k$-subsets. Then, we use this formula to compute explicitly the base size for each $n$ and for each $k\le 14$. △ Less

Submitted 9 August, 2023; v1 submitted 4 August, 2023; originally announced August 2023.

Comments: 10 pages

On the maximum number of subgroups of a finite group

Authors: Marco Fusari, Pablo Spiga

Abstract: Given a finite group $R$, we let $\mathrm{Sub}(R)$ denote the collection of all subgroups of $R$. We show that $|\mathrm{Sub}(R)|< c\cdot |R|^{\frac{\log_2|R|}{4}}$, where $c<7.372$ is an explicit absolute constant. This result is asymptotically best possible. Indeed, as $|R|$ tends to infinity and $R$ is an elementary abelian $2$-group, the ratio… ▽ More Given a finite group $R$, we let $\mathrm{Sub}(R)$ denote the collection of all subgroups of $R$. We show that $|\mathrm{Sub}(R)|< c\cdot |R|^{\frac{\log_2|R|}{4}}$, where $c<7.372$ is an explicit absolute constant. This result is asymptotically best possible. Indeed, as $|R|$ tends to infinity and $R$ is an elementary abelian $2$-group, the ratio $$\frac{|\mathrm{Sub}(R)|}{|R|^{\frac{\log_2|R|}{4}}}$$ tends to $c$. △ Less

Submitted 14 September, 2023; v1 submitted 27 April, 2023; originally announced April 2023.

Comments: 22 pages

On the strong connectivity of the 2-Engel graphs of almost simple groups

Authors: F. Dalla Volta, F. Mastrogiacomo, P. Spiga

Abstract: The Engel graph of a finite group $G$ is a directed graph encoding the pairs of elements in $G$ satisfying some Engel word. Recent work of Lucchini and the third author shows that, except for a few well-understood cases, the Engel graphs of almost simple groups are strongly connected. In this paper, we give a refinement to this analysis. The Engel graph of a finite group $G$ is a directed graph encoding the pairs of elements in $G$ satisfying some Engel word. Recent work of Lucchini and the third author shows that, except for a few well-understood cases, the Engel graphs of almost simple groups are strongly connected. In this paper, we give a refinement to this analysis. △ Less

Submitted 19 April, 2023; originally announced April 2023.

On the order of semiregular automorphisms of cubic vertex-transitive graphs

Authors: Marco Barbieri, Valentina Grazian, Pablo Spiga

Abstract: We prove that, if $Γ$ is a finite connected cubic vertex-transitive graph, then either there exists a semiregular automorphism of $Γ$ of order at least $6$, or the number of vertices of $Γ$ is bounded above by an absolute constant. We prove that, if $Γ$ is a finite connected cubic vertex-transitive graph, then either there exists a semiregular automorphism of $Γ$ of order at least $6$, or the number of vertices of $Γ$ is bounded above by an absolute constant. △ Less

Submitted 31 January, 2023; originally announced February 2023.

Comments: 20 pages

MSC Class: 05C25; 20B25

Almost all Cayley maps are mapical regular representations

Authors: Dario Sterzi, Pablo Spiga

Abstract: Cayley maps are combinatorial structures built upon Cayley graphs on a group. As such the original group embeds in their group of automorphisms, and one can ask in which situation the two coincide (one then calls the Cayley map a mapical regular representation or MRR) and with what probability. The first question was answered by Jajcay. In this paper we tackle the probabilistic version, and prove… ▽ More Cayley maps are combinatorial structures built upon Cayley graphs on a group. As such the original group embeds in their group of automorphisms, and one can ask in which situation the two coincide (one then calls the Cayley map a mapical regular representation or MRR) and with what probability. The first question was answered by Jajcay. In this paper we tackle the probabilistic version, and prove that as groups get larger the proportion of MRRs among all Cayley Maps approaches 1. △ Less

Submitted 19 January, 2023; originally announced January 2023.

Comments: 7 pages

Finite groups in which there are only two possible cardinalities for an independent generating set

Authors: Andrea Lucchini, Pablo Spiga

Abstract: A generating set $S$ for a group $G$ is independent if the subgroup generated by $S\setminus \{s\}$ is properly contained in $G$, for all $s \in S.$ In this paper, we study a problem proposed by Peter Glasby: we investigate finite groups, where there are only two possible cardinalities for the independet generating sets. A generating set $S$ for a group $G$ is independent if the subgroup generated by $S\setminus \{s\}$ is properly contained in $G$, for all $s \in S.$ In this paper, we study a problem proposed by Peter Glasby: we investigate finite groups, where there are only two possible cardinalities for the independet generating sets. △ Less

Submitted 6 December, 2022; originally announced December 2022.

Comments: 9 pages

An explicit upper bound on the number of subgroups of a finite group

Authors: Pablo Spiga

Abstract: In this paper we prove that a finite group of order $r$ has at most $$ 7.3722\cdot r^{\frac{\log_2r}{4}+1.5315}$$ subgroups. In this paper we prove that a finite group of order $r$ has at most $$ 7.3722\cdot r^{\frac{\log_2r}{4}+1.5315}$$ subgroups. △ Less

Submitted 6 October, 2022; originally announced October 2022.

A generalization of Szep's conjecture for almost simple groups

Authors: Nick Gill, Michael Giudici, Pablo Spiga

Abstract: We prove a natural generalization of Szep's conjecture. Given an almost simple group $G$ with socle not isomorphic to an orthogonal group having Witt defect zero, we classify all possible group elements $x,y\in G\setminus\{1\}$ with $G={\bf N}_G (\langle x\rangle){\bf N}_G(\langle y\rangle)$, where we are denoting by ${\bf N}_G(\langle x\rangle)$ and by ${\bf N}_G(\langle y\rangle)$ the normalizer… ▽ More We prove a natural generalization of Szep's conjecture. Given an almost simple group $G$ with socle not isomorphic to an orthogonal group having Witt defect zero, we classify all possible group elements $x,y\in G\setminus\{1\}$ with $G={\bf N}_G (\langle x\rangle){\bf N}_G(\langle y\rangle)$, where we are denoting by ${\bf N}_G(\langle x\rangle)$ and by ${\bf N}_G(\langle y\rangle)$ the normalizers of the cyclic subgroups $\langle x\rangle$ and $\langle y\rangle$. As a consequence of this result, we classify all possible group elements $x,y\in G\setminus\{1\}$ with $G={\bf C}_G(x){\bf C}_G(y)$. △ Less

Submitted 18 August, 2022; originally announced August 2022.

Comments: 36 pages

Normal $2$-coverings of the finite simple groups and their generalizations

Authors: Daniela Bubboloni, Pablo Spiga, Thomas Weigel

Abstract: Given a finite group $G$, we say that $G$ has weak normal covering number $γ_w(G)$ if $γ_w(G)$ is the smallest integer with $G$ admitting proper subgroups $H_1,\ldots,H_{γ_w(G)}$ such that each element of $G$ has a conjugate in $H_i$, for some $i\in \{1,\ldots,γ_w(G)\}$, via an element in the automorphism group of $G$. We prove that the weak normal covering number of every non-abelian simple gro… ▽ More Given a finite group $G$, we say that $G$ has weak normal covering number $γ_w(G)$ if $γ_w(G)$ is the smallest integer with $G$ admitting proper subgroups $H_1,\ldots,H_{γ_w(G)}$ such that each element of $G$ has a conjugate in $H_i$, for some $i\in \{1,\ldots,γ_w(G)\}$, via an element in the automorphism group of $G$. We prove that the weak normal covering number of every non-abelian simple group is at least $2$ and we classify the non-abelian simple groups attaining $2$. As an application, we classify the non-abelian simple groups having normal covering number $2$. We also show that the weak normal covering number of an almost simple group is at least two up to one exception. We determine the weak normal covering number and the normal covering number of the almost simple groups having socle a sporadic simple group. Using similar methods we find the clique number of the invariably generating graph of the almost simple groups having socle a sporadic simple group. △ Less

Submitted 18 August, 2022; originally announced August 2022.

Comments: 124 pages

A classification of finite primitive IBIS groups with alternating socle

Authors: Melissa Lee, Pablo Spiga

Abstract: Let $G$ be a finite permutation group on $Ω$. An ordered sequence $(ω_1,\ldots,ω_\ell)$ of elements of $Ω$ is an irredundant base for $G$ if the pointwise stabilizer is trivial and no point is fixed by the stabilizer of its predecessors. If all irredundant bases of $G$ have the same cardinality, $G$ is said to be an IBIS group. Lucchini, Morigi and Moscatiello have proved a theorem reducing the… ▽ More Let $G$ be a finite permutation group on $Ω$. An ordered sequence $(ω_1,\ldots,ω_\ell)$ of elements of $Ω$ is an irredundant base for $G$ if the pointwise stabilizer is trivial and no point is fixed by the stabilizer of its predecessors. If all irredundant bases of $G$ have the same cardinality, $G$ is said to be an IBIS group. Lucchini, Morigi and Moscatiello have proved a theorem reducing the problem of classifying finite primitive IBIS groups $G$ to the case that the socle of $G$ is either abelian or non-abelian simple. In this paper, we classify the finite primitive IBIS groups having socle an alternating group. Moreover, we propose a conjecture aiming to give a classification of all almost simple primitive IBIS groups. △ Less

Submitted 13 June, 2022; v1 submitted 3 June, 2022; originally announced June 2022.

Comments: 6 pages

The Engel graph of almost simple groups

Authors: Andrea Lucchini, Pablo Spiga

Abstract: Given a finite group $G$, the Engel graph of $G$ is a directed graph encoding pairs of elements satisfying some Engel word. From the work of Detomi, Lucchini and Nemmi, the strongly connectivity of the Engel graph of an arbitrary group $G$ is reduced to the understanding of the strongly connectivity of the Engel graph of non-abelian simple groups. In this paper, we investigate the strongly conne… ▽ More Given a finite group $G$, the Engel graph of $G$ is a directed graph encoding pairs of elements satisfying some Engel word. From the work of Detomi, Lucchini and Nemmi, the strongly connectivity of the Engel graph of an arbitrary group $G$ is reduced to the understanding of the strongly connectivity of the Engel graph of non-abelian simple groups. In this paper, we investigate the strongly connectivity of the Engel graph of finite non-abelian simple groups. △ Less

Submitted 30 May, 2022; originally announced May 2022.

On the number of fixed edges of automorphisms of vertex-transitive graphs of small valency

Authors: Marco Barbieri, Valentina Grazian, Pablo Spiga

Abstract: We prove that, if $Γ$ is a finite connected $3$-valent vertex-transitive, or $4$-valent vertex- and edge-transitive graph, then either $Γ$ is part of a well-understood family of graphs, or every non-identity automorphism of $Γ$ fixes at most $1/3$ of the edges. This answers a question proposed by Primož Potočnik and the third author. We prove that, if $Γ$ is a finite connected $3$-valent vertex-transitive, or $4$-valent vertex- and edge-transitive graph, then either $Γ$ is part of a well-understood family of graphs, or every non-identity automorphism of $Γ$ fixes at most $1/3$ of the edges. This answers a question proposed by Primož Potočnik and the third author. △ Less

Submitted 23 February, 2022; originally announced February 2022.

Comments: 14 pages

On the Cayleyness of Praeger-Xu graphs

Authors: Marco Barbieri, Valentina Grazian, Pablo Spiga

Abstract: We give a sufficient and necessary condition for a Praeger-Xu graph to be a Cayley graph. We give a sufficient and necessary condition for a Praeger-Xu graph to be a Cayley graph. △ Less

Submitted 10 February, 2022; originally announced February 2022.

MSC Class: 05C25; 20B25

Finite transitive groups having many suborbits of cardinality at most two and an application to the enumeration of Cayley graphs

Authors: Pablo Spiga

Abstract: Let $G$ be a finite transitive group on a set $Ω$, let $α\in Ω$ and let $G_α$ be the stabilizer of the point $α$ in $G$. In this paper, we are interested in the proportion $$\frac{|\{ω\in Ω\mid ω\textrm{ lies in a }G_α\textrm{-orbit of cardinality at most two}\}|}{|Ω|},$$ that is, the proportion of elements of $Ω$ lying in a suborbit of cardinality at most two. We show that, if this proportion is… ▽ More Let $G$ be a finite transitive group on a set $Ω$, let $α\in Ω$ and let $G_α$ be the stabilizer of the point $α$ in $G$. In this paper, we are interested in the proportion $$\frac{|\{ω\in Ω\mid ω\textrm{ lies in a }G_α\textrm{-orbit of cardinality at most two}\}|}{|Ω|},$$ that is, the proportion of elements of $Ω$ lying in a suborbit of cardinality at most two. We show that, if this proportion is greater than $5/6$, then each element of $Ω$ lies in a suborbit of cardinality at most two and hence $G$ is classified by a result of Bergman and Lenstra. We also classify the permutation groups attaining the bound $5/6$. We use these results to answer a question concerning the enumeration of Cayley graphs. Given a transitive group $G$ containing a regular subgroup $R$, we determine an upper bound on the number of Cayley graphs on $R$ containing $G$ in their automorphism groups. △ Less

Submitted 28 September, 2021; originally announced September 2021.

Comments: 13 pages

On $n$-partite digraphical representations of finite groups

Authors: Jia-Li Du, Yan-Quan Feng, Pablo Spiga

Abstract: A group $G$ admits an \textbf{\em $n$-partite digraphical representation} if there exists a regular $n$-partite digraph $Γ$ such that the automorphism group $\mathrm{Aut}(Γ)$ of $Γ$ satisfies the following properties: $\mathrm{Aut}(Γ)$ is isomorphic to $G$, $\mathrm{Aut}(Γ)$ acts semiregularly on the vertices of $Γ$ and the orbits of $\mathrm{Aut}(Γ)$ on the vertex set of $Γ$ form a partition into… ▽ More A group $G$ admits an \textbf{\em $n$-partite digraphical representation} if there exists a regular $n$-partite digraph $Γ$ such that the automorphism group $\mathrm{Aut}(Γ)$ of $Γ$ satisfies the following properties: $\mathrm{Aut}(Γ)$ is isomorphic to $G$, $\mathrm{Aut}(Γ)$ acts semiregularly on the vertices of $Γ$ and the orbits of $\mathrm{Aut}(Γ)$ on the vertex set of $Γ$ form a partition into $n$ parts giving a structure of $n$-partite digraph to $Γ$. In this paper, for every positive integer $n$, we classify the finite groups admitting an $n$-partite digraphical representation. △ Less

Submitted 29 July, 2021; originally announced July 2021.

Comments: 9 pages

Cherlin's conjecture on finite primitive binary permutation groups

Authors: Nick Gill, Martin W. Liebeck, Pablo Spiga

Abstract: A permutation group is {\it binary} if its orbits on $k$-tuples, for any integer $k\geq 2$, can be deduced from its orbits on $2$-tuples. Cherlin conjectured that a finite primitive binary permutation group $G$ must lie in one of three known families. In this paper we complete the proof of this conjecture. To do this we study the case where the group $G$ is almost simple of Lie type. A permutation group is {\it binary} if its orbits on $k$-tuples, for any integer $k\geq 2$, can be deduced from its orbits on $2$-tuples. Cherlin conjectured that a finite primitive binary permutation group $G$ must lie in one of three known families. In this paper we complete the proof of this conjecture. To do this we study the case where the group $G$ is almost simple of Lie type. △ Less

Submitted 9 July, 2021; v1 submitted 9 June, 2021; originally announced June 2021.

Comments: 158 pages

MSC Class: 20B05; 20D06 (Primary) 03C13 (Secondary)

Hypermaps over non-abelian simple groups and strongly symmetric generating sets

Authors: Andrea Lucchini, Pablo Spiga

Abstract: A generating pair $x, y$ for a group $G$ is said to be \textbf{\textit{symmetric}} if there exists an automorphism $\varphi_{x,y}$ of $G$ inverting both $x$ and $y$, that is, $x^{\varphi_{x,y}}=x^{-1}$ and $y^{\varphi_{x,y}}=y^{-1}$. Similarly, a group $G$ is said to be \textbf{\textit{strongly symmetric}} if $G$ can be generated with two elements and if all generating pairs of $G$ are symmetric.… ▽ More A generating pair $x, y$ for a group $G$ is said to be \textbf{\textit{symmetric}} if there exists an automorphism $\varphi_{x,y}$ of $G$ inverting both $x$ and $y$, that is, $x^{\varphi_{x,y}}=x^{-1}$ and $y^{\varphi_{x,y}}=y^{-1}$. Similarly, a group $G$ is said to be \textbf{\textit{strongly symmetric}} if $G$ can be generated with two elements and if all generating pairs of $G$ are symmetric. In this paper we classify the finite strongly symmetric non-abelian simple groups. Combinatorially, these are the finite non-abelian simple groups $G$ such that every orientably regular hypermap with monodromy group $G$ is reflexible. △ Less

Submitted 5 March, 2021; originally announced March 2021.

Comments: 6 pages

A generalization of Sims conjecture for finite primitive groups and two point stabilizers in primitive groups

Authors: Pablo Spiga

Abstract: In this paper we propose a refinement of Sims conjecture concerning the cardinality of the point stabilizers in finite primitive groups and we make some progress towards this refinement. In this process, when dealing with primitive groups of diagonal type, we construct a finite primitive group $G$ on $Ω$ and two distinct points $α,β\in Ω$ with $G_{αβ}\unlhd G_α$ and $G_{αβ}\ne 1$, where $G_α$ is… ▽ More In this paper we propose a refinement of Sims conjecture concerning the cardinality of the point stabilizers in finite primitive groups and we make some progress towards this refinement. In this process, when dealing with primitive groups of diagonal type, we construct a finite primitive group $G$ on $Ω$ and two distinct points $α,β\in Ω$ with $G_{αβ}\unlhd G_α$ and $G_{αβ}\ne 1$, where $G_α$ is the stabilizer of $α$ in $G$ and $G_{αβ}$ is the stabilizer of $α$ and $β$ in $G$. In particular, this example gives an answer to a question raised independently by Peter Cameron and by Alexander Fomin. △ Less

Submitted 26 February, 2021; originally announced February 2021.

On the base size of the symmetric and the alternating group acting on partitions

Authors: Joy Morris, Pablo Spiga

Abstract: Given three positive integers $n,a,b$ with $n=ab$, we determine the base size of the symmetric group and of the alternating group of degree $n$ in their action on the set of partitions into $b$ parts having cardinality $a$. Given three positive integers $n,a,b$ with $n=ab$, we determine the base size of the symmetric group and of the alternating group of degree $n$ in their action on the set of partitions into $b$ parts having cardinality $a$. △ Less

Submitted 20 February, 2021; originally announced February 2021.

Independent sets of generators of prime power order

Authors: Andrea Lucchini, Pablo Spiga

Abstract: A subset $X$ of a finite group $G$ is said to be prime-power-independent if each element in $X$ has prime power order and there is no proper subset $Y$ of $X$ with $\langle Y, Φ(G)\rangle = \langle X, Φ(G)\rangle$, where $Φ(G)$ is the Frattini subgroup of $G$. A group $G$ is $\mathcal{B}_{pp}$ if all prime-power-independent generating sets for $G$ have the same cardinality. We prove that, if $G$ i… ▽ More A subset $X$ of a finite group $G$ is said to be prime-power-independent if each element in $X$ has prime power order and there is no proper subset $Y$ of $X$ with $\langle Y, Φ(G)\rangle = \langle X, Φ(G)\rangle$, where $Φ(G)$ is the Frattini subgroup of $G$. A group $G$ is $\mathcal{B}_{pp}$ if all prime-power-independent generating sets for $G$ have the same cardinality. We prove that, if $G$ is $\mathcal{B}_{pp}$, then $G$ is solvable. Pivoting on some recent results of Krempa and Stocka, this yields a complete classification of $\mathcal{B}_{pp}$-groups. △ Less

Submitted 15 January, 2021; originally announced January 2021.

Comments: 9 pages

A subexponential bound on the cardinality of abelian quotients in finite transitive groups

Authors: Andrea Lucchini, Luca Sabatini, Pablo Spiga

Abstract: We show that, for every transitive group $G$ of degree $n\ge 2$, the largest abelian quotient of $G$ has cardinality at most $4^{n/\sqrt{\log_2 n}}$. This gives a positive answer to a 1989 outstanding question of László Kovács and Cheryl Praeger. We show that, for every transitive group $G$ of degree $n\ge 2$, the largest abelian quotient of $G$ has cardinality at most $4^{n/\sqrt{\log_2 n}}$. This gives a positive answer to a 1989 outstanding question of László Kovács and Cheryl Praeger. △ Less

Submitted 12 June, 2021; v1 submitted 14 December, 2020; originally announced December 2020.

Comments: 4 pages, Revised argument in section 3 (results unchanged)

MSC Class: primary 20B30; 20B35

Journal ref: Bull. Lond. Math. Soc. (2021)

On the rank of Suzuki polytopes: an answer to Hubard and Leemans

Authors: Pablo Spiga

Abstract: In this paper we show that the rank of every chiral polytope having a Suzuki group as automorphism group is $3$. This gives a positive answer to a conjecture of Isabel Hubard and Dimitri Leemans. In this paper we show that the rank of every chiral polytope having a Suzuki group as automorphism group is $3$. This gives a positive answer to a conjecture of Isabel Hubard and Dimitri Leemans. △ Less

Submitted 8 October, 2020; originally announced October 2020.

Comments: 4 pages

On triangles in derangement graphs

Authors: Andriaherimanana Sarobidy Razafimahatratra, Karen Meagher, Pablo Spiga

Abstract: Given a permutation group $G$, the derangement graph $Γ_G$ of $G$ is the Cayley graph with connection set the set of all derangements of $G$. We prove that, when $G$ is transitive of degree at least $3$, $Γ_G$ contains a triangle. The motivation for this work is the question of how large can be the ratio of the independence number of $Γ_G$ to the size of the stabilizer of a point in $G$. We give… ▽ More Given a permutation group $G$, the derangement graph $Γ_G$ of $G$ is the Cayley graph with connection set the set of all derangements of $G$. We prove that, when $G$ is transitive of degree at least $3$, $Γ_G$ contains a triangle. The motivation for this work is the question of how large can be the ratio of the independence number of $Γ_G$ to the size of the stabilizer of a point in $G$. We give examples of transitive groups where this ratio is maximum. △ Less

Submitted 2 September, 2020; originally announced September 2020.

Comments: 21 pages

Generalised dihedral CI-groups

Authors: Ted Dobson, Mikhail Muzychuk, Pablo Spiga

Abstract: In this paper, we find a strong new restriction on the structure of CI-groups. We show that, if $R$ is a generalised dihedral group and if $R$ is a CI-group, then for every odd prime $p$ the Sylow $p$-subgroup of $R$ has order $p$, or $9$. Consequently, any CI-group with quotient a generalised dihedral group has the same restriction, that for every odd prime $p$ the Sylow $p$-subgroup of the group… ▽ More In this paper, we find a strong new restriction on the structure of CI-groups. We show that, if $R$ is a generalised dihedral group and if $R$ is a CI-group, then for every odd prime $p$ the Sylow $p$-subgroup of $R$ has order $p$, or $9$. Consequently, any CI-group with quotient a generalised dihedral group has the same restriction, that for every odd prime $p$ the Sylow $p$-subgroup of the group has order $p$, or $9$. We also give a counter example to the conjecture that every BCI-group is a CI-group. △ Less

Submitted 4 August, 2020; v1 submitted 1 August, 2020; originally announced August 2020.

Comments: 16 pages

MSC Class: Primary 05E18; Secondary 05E30

On fixity of arc-transitive graphs

Authors: Florian Lehner, Primoz Potocnik, Pablo Spiga

Abstract: 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… ▽ More 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, where $L$ is a fixed quasiprimitive graph-restrictive permutation group. △ Less

Submitted 30 December, 2020; v1 submitted 25 May, 2020; originally announced May 2020.

Comments: 8 pages, accepted version

On the asymptotic enumeration of Cayley graphs

Authors: Joy Morris, Mariapia Moscatiello, Pablo Spiga

Abstract: In this paper we are interested in the asymptotic enumeration of Cayley graphs. It has previously been shown that almost every Cayley digraph has the smallest possible automorphism group: that is, it is a digraphical regular representation (DRR). In this paper, we approach the corresponding question for undirected Cayley graphs. The situation is complicated by the fact that there are two infinite… ▽ More In this paper we are interested in the asymptotic enumeration of Cayley graphs. It has previously been shown that almost every Cayley digraph has the smallest possible automorphism group: that is, it is a digraphical regular representation (DRR). In this paper, we approach the corresponding question for undirected Cayley graphs. The situation is complicated by the fact that there are two infinite families of groups that do not admit any graphical regular representation (GRR). The strategy for digraphs involved analysing separately the cases where the regular group $R$ has a nontrivial proper normal subgroup $N$ with the property that the automorphism group of the digraph fixes each $N$-coset setwise, and the cases where it does not. In this paper, we deal with undirected graphs in the case where the regular group has such a nontrivial proper normal subgroup. △ Less

Submitted 15 May, 2020; originally announced May 2020.

Comments: 27 pages

On the height and relational complexity of a finite permutation group

Authors: Nick Gill, Bianca Lodá, Pablo Spiga

Abstract: Let $G$ be a permutation group on a set $Ω$ of size $t$. We say that $Λ\subseteqΩ$ is an independent set if its pointwise stabilizer is not equal to the pointwise stabilizer of any proper subset of $Λ$. We define the height of $G$ to be the maximum size of an independent set, and we denote this quantity $\mathrm{H}(G)$. In this paper we study $\mathrm{H}(G)$ for the case when $G$ is primitive. O… ▽ More Let $G$ be a permutation group on a set $Ω$ of size $t$. We say that $Λ\subseteqΩ$ is an independent set if its pointwise stabilizer is not equal to the pointwise stabilizer of any proper subset of $Λ$. We define the height of $G$ to be the maximum size of an independent set, and we denote this quantity $\mathrm{H}(G)$. In this paper we study $\mathrm{H}(G)$ for the case when $G$ is primitive. Our main result asserts that either $\mathrm{H}(G)< 9\log t$, or else $G$ is in a particular well-studied family (the "primitive large--base groups"). An immediate corollary of this result is a characterization of primitive permutation groups with large "relational complexity", the latter quantity being a statistic introduced by Cherlin in his study of the model theory of permutation groups. We also study $\mathrm{I}(G)$, the maximum length of an irredundant base of $G$, in which case we prove that if $G$ is primitive, then either $\mathrm{I}(G)<7\log t$ or else, again, $G$ is in a particular family (which includes the primitive large--base groups as well as some others). △ Less

Submitted 25 March, 2021; v1 submitted 8 May, 2020; originally announced May 2020.

Comments: 26 pages; updated version based on reviewer's comments -- in particular Lemma 2.6 is new

MSC Class: 20B25; 20B15

On minimal degree of transitive permutation groups with stabiliser being a $2$-group

Authors: Primoz Potocnik, Pablo Spiga

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

Submitted 15 April, 2020; originally announced April 2020.

Comments: 9 pages, this was part of the original submission arXiv:1909.05456, which is now split into two parts

A conjecture on bipartite graphical regular representations

Authors: Jia-Li Du, Yan-Quan Feng, Pablo Spiga

Abstract: In this paper we are concerned with the classification of the finite groups admitting a bipartite DRR and a bipartite GRR. First, we find a natural obstruction in a finite group for not admitting a bipartite GRR. Then we give a complete classification of the finite groups satisfying this natural obstruction and hence not admitting a bipartite GRR. Based on these results and on some extensive com… ▽ More In this paper we are concerned with the classification of the finite groups admitting a bipartite DRR and a bipartite GRR. First, we find a natural obstruction in a finite group for not admitting a bipartite GRR. Then we give a complete classification of the finite groups satisfying this natural obstruction and hence not admitting a bipartite GRR. Based on these results and on some extensive computer computations, we state a conjecture aiming to give a complete classification of the finite groups admitting a bipartite GRR. Next, we prove the existence of bipartite DRRs for most of the finite groups not admitting a bipartite GRR found in this paper. Actually, we prove a much stronger result: we give an asymptotic enumeration of the bipartite DRRs over these groups. Again, based on these results and on some extensive computer computations, we state a conjecture aiming to give a complete classification of the finite groups admitting a bipartite DRR. △ Less

Submitted 14 January, 2020; v1 submitted 12 January, 2020; originally announced January 2020.

Comments: 19 pages

On the existence and the enumeration of bipartite regular representations of Cayley graphs over abelian groups

Authors: Jia-Li Du, Yan-Quan Feng, Pablo Spiga

Abstract: In this paper we are interested in the asymptotic enumeration of bipartite Cayley digraphs and Cayley graphs over abelian groups. Let $A$ be an abelian group and let $ι$ be the automorphism of $A$ defined by $a^ι=a^{-1}$, for every $a\in A$. A Cayley graph $\Cay(A, S)$ is said to have an automorphism group as small as possible if $\Aut(\Cay(A,S)) = \langle A,ι\rangle$. In this paper, we show that,… ▽ More In this paper we are interested in the asymptotic enumeration of bipartite Cayley digraphs and Cayley graphs over abelian groups. Let $A$ be an abelian group and let $ι$ be the automorphism of $A$ defined by $a^ι=a^{-1}$, for every $a\in A$. A Cayley graph $\Cay(A, S)$ is said to have an automorphism group as small as possible if $\Aut(\Cay(A,S)) = \langle A,ι\rangle$. In this paper, we show that, except for two infinite families, almost all bipartite Cayley graphs on abelian groups have automorphism group as small as possible. We also investigate the analogous question for bipartite Cayley digraphs. △ Less

Submitted 15 January, 2020; v1 submitted 12 January, 2020; originally announced January 2020.

Comments: 19pages

On Haar digraphical representations of groups

Authors: Jia-Li Du, Yan-Quan Feng, Pablo Spiga

Abstract: In this paper we extend the notion of digraphical regular representations in the context of Haar digraphs. Given a group $G$, a {\em Haar digraph} $Γ$ over $G$ is a bipartite digraph having a bipartition $\{X,Y\}$ such that $G$ is a group of automorphisms of $Γ$ acting regularly on $X$ and on $Y$. We say that $G$ admits a {\em Haar digraphical representation} (HDR for short), if there exists a Haa… ▽ More In this paper we extend the notion of digraphical regular representations in the context of Haar digraphs. Given a group $G$, a {\em Haar digraph} $Γ$ over $G$ is a bipartite digraph having a bipartition $\{X,Y\}$ such that $G$ is a group of automorphisms of $Γ$ acting regularly on $X$ and on $Y$. We say that $G$ admits a {\em Haar digraphical representation} (HDR for short), if there exists a Haar digraph over $G$ such that its automorphism group is isomorphic to $G$. In this paper, we classify finite groups admitting a HDR. △ Less

Submitted 13 January, 2020; v1 submitted 12 January, 2020; originally announced January 2020.

Comments: 8 pages

Constructing infinitely many half-arc-transitive covers of tetravalent graphs

Authors: Pablo Spiga, Binzhou Xia

Abstract: We prove that, given a finite graph $Σ$ satisfying some mild conditions, there exist infinitely many tetravalent half-arc-transitive normal covers of $Σ$. Applying this result, we establish the existence of infinite families of finite tetravalent half-arc-transitive graphs with certain vertex stabilizers, and classify the vertex stabilizers up to order $2^8$ of finite connected tetravalent half-ar… ▽ More We prove that, given a finite graph $Σ$ satisfying some mild conditions, there exist infinitely many tetravalent half-arc-transitive normal covers of $Σ$. Applying this result, we establish the existence of infinite families of finite tetravalent half-arc-transitive graphs with certain vertex stabilizers, and classify the vertex stabilizers up to order $2^8$ of finite connected tetravalent half-arc-transitive graphs. This sheds some new light on the longstanding problem of classifying the vertex stabilizers of finite tetravalent half-arc-transitive graphs. △ Less

Submitted 24 November, 2020; v1 submitted 23 December, 2019; originally announced December 2019.

Comments: 12 pages

MSC Class: 20B25; 05C20; 05C25

On the equivalence between a conjecture of Babai-Godsil and a conjecture of Xu concerning the enumeration of Cayley graphs

Authors: Pablo Spiga

Abstract: In this paper we show that two distinct conjectures, the first proposed by Babai and Godsil in $1982$ and the second proposed by Xu in $1998$, concerning the asymptotic enumeration of Cayley graphs are in fact equivalent. This result follows from a more general theorem concerning the asymptotic enumeration of a certain family of Cayley graphs. In this paper we show that two distinct conjectures, the first proposed by Babai and Godsil in $1982$ and the second proposed by Xu in $1998$, concerning the asymptotic enumeration of Cayley graphs are in fact equivalent. This result follows from a more general theorem concerning the asymptotic enumeration of a certain family of Cayley graphs. △ Less

Submitted 21 November, 2019; originally announced November 2019.

The Boolean intervals of Chevalley type are strongly non group-complemented

Authors: Sebastien Palcoux, Pablo Spiga

Abstract: Let G be a finite Chevalley group and B a Borel subgroup. Then the interval [B,G] in L(G) is Boolean. We prove, using Zsigmondy's theorem, that for any element P in the open interval (B,G), its lattice-complement P^c is not a group-complement. Let G be a finite Chevalley group and B a Borel subgroup. Then the interval [B,G] in L(G) is Boolean. We prove, using Zsigmondy's theorem, that for any element P in the open interval (B,G), its lattice-complement P^c is not a group-complement. △ Less

Submitted 14 November, 2019; originally announced November 2019.

Comments: 4 pages

MSC Class: 20D06; 05E15 (Primary) 06D05; 06C15 (Secondary)

Boolean lattices in finite alternating and symmetric groups

Authors: Andrea Lucchini, Mariapia Moscatiello, Sebastien Palcoux, Pablo Spiga

Abstract: Given a group $G$ and a subgroup $H$, we let $\mathcal{O}_G(H)$ denote the lattice of subgroups of $G$ containing $H$. This paper provides a classification of the subgroups $H$ of $G$ such that $\mathcal{O}_{G}(H)$ is Boolean of rank at least $3$, when $G$ is a finite alternating or symmetric group. Besides some sporadic examples and some twisted versions, there are two different types of such lat… ▽ More Given a group $G$ and a subgroup $H$, we let $\mathcal{O}_G(H)$ denote the lattice of subgroups of $G$ containing $H$. This paper provides a classification of the subgroups $H$ of $G$ such that $\mathcal{O}_{G}(H)$ is Boolean of rank at least $3$, when $G$ is a finite alternating or symmetric group. Besides some sporadic examples and some twisted versions, there are two different types of such lattices. One type arises by taking stabilizers of chains of regular partitions, and the other type arises by taking stabilizers of chains of regular product structures. As an application, we prove in this case a conjecture on Boolean overgroup lattices, related to the dual Ore's theorem and to a problem of Kenneth Brown. △ Less

Submitted 11 November, 2019; originally announced November 2019.

Comments: 25 pages, classification of Boolean lattices in symmetric and alternating groups

MSC Class: 20B25

Journal ref: Forum of Mathematics, Sigma 8 (2020) e55

A Transversal Property for Permutation Groups Motivated by Partial Transformations

Authors: João Araújo, João Pedro Araújo, Wolfram Bentz, Peter Cameron, Pablo Spiga

Abstract: In this paper we introduce the definition of $(k,l)$-universal transversal property, which is a refinement of the definition of $k$-universal transversal property, which in turn is a refinement of the classic definition of $k$-homogeneity for permutation groups. In particular, a group possesses the $(2,n)$-universal transversal property if and only if it is primitive; it possesses the $(2,2)$-univ… ▽ More In this paper we introduce the definition of $(k,l)$-universal transversal property, which is a refinement of the definition of $k$-universal transversal property, which in turn is a refinement of the classic definition of $k$-homogeneity for permutation groups. In particular, a group possesses the $(2,n)$-universal transversal property if and only if it is primitive; it possesses the $(2,2)$-universal transversal property if and only if it is $2$-homogeneous. Up to a few undecided cases, we give a classification of groups satisfying the $(k,l)$-universal transversal property, for $k\ge 3$. Then we apply this result for studying regular semigroups of partial transformations. △ Less

Submitted 5 November, 2019; originally announced November 2019.

On the number of fixed points of automorphisms of vertex-transitive graphs of bounded valency

Authors: Primoz Potocnik, Pablo Spiga

Abstract: The main result of this paper is that, if $Γ$ is a finite connected $4$-valent arc-transitive graph, then either $Γ$ is part of a well-understood family of graphs, or every non-identity automorphism of $Γ$ fixes at most $1/3$ of the vertices. As a corollary, we get a similar result for $3$-valent vertex-transitive graphs. Based on these results we propose a conjecture on the number of fixed points… ▽ More The main result of this paper is that, if $Γ$ is a finite connected $4$-valent arc-transitive graph, then either $Γ$ is part of a well-understood family of graphs, or every non-identity automorphism of $Γ$ fixes at most $1/3$ of the vertices. As a corollary, we get a similar result for $3$-valent vertex-transitive graphs. Based on these results we propose a conjecture on the number of fixed points of non-identity automorphisms of vertex-transitive graphs of bounded valency. △ Less

Submitted 15 April, 2020; v1 submitted 12 September, 2019; originally announced September 2019.

Comments: 23 pages The orginal version has been split into two parts. This part has more details on the graph theoretic application

Bounding the maximal size of independent generating sets of finite groups

Authors: Andrea Lucchini, Mariapia Moscatiello, Pablo Spiga

Abstract: Denote by $m(G)$ the largest size of a minimal generating set of a finite group $G$. We estimate $m(G)$ in terms of $\sum_{p\in π(G)}d_p(G),$ where we are denoting by $d_p(G)$ the minimal number of generators of a Sylow $p$-subgroup of $G$ and by $π(G)$ the set of prime numbers dividing the order of $G$. Denote by $m(G)$ the largest size of a minimal generating set of a finite group $G$. We estimate $m(G)$ in terms of $\sum_{p\in π(G)}d_p(G),$ where we are denoting by $d_p(G)$ the minimal number of generators of a Sylow $p$-subgroup of $G$ and by $π(G)$ the set of prime numbers dividing the order of $G$. △ Less

Submitted 3 August, 2019; originally announced August 2019.

Comments: 11 pages

A polynomial bound for the number of maximal systems of imprimitivity of a finite transitive permutation group

Authors: Andrea Lucchini, Mariapia Moscatiello, Pablo Spiga

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

Submitted 19 July, 2019; originally announced July 2019.

Comments: 8 pages, we answer a question of Peter Cameron on maximal systems of imprimitivity, see https://cameroncounts.wordpress.com/2016/11/28/road-closures-and-idempotent-generated-semigroups/