arXiv Science⌕ Search

arXiv subjects

Pablo Spiga

Publications and source records attributed to Pablo Spiga.

At least 19 recordsLinked to original sources
arXiv2026

Sharp bounds for intervals in finite subgroup lattices

Let H be a subgroup of a finite group G, and put n = [G:H] > 1. If p is the least prime divisor of n, we prove that the number of subgroups K with H <= K <= G is less than c(p) n^((log_p n)/4). Here c(p) is the product of (1 - p^(-j))^(-1) over all positive integers j, multiplied by the sum of p^(-z^2) over all integers z. The exponent and the constant are simultaneously optimal, already for elementary abelian p-groups of even rank. In particular, for arbitrary n > 1, the number of intermediate subgroups is less than 7.371968802 n^((log_2 n)/4). This removes the polynomial factor from the best previously known relative bound and extends the sharp absolute subgroup-counting theorem to arbitrary subgroup intervals. The group-theoretic argument is elementary. Its main ingredient is a weighted packing inequality for relative generating tuples, obtained from an escape tree on the coset space G/H.

math.GR↗
arXiv2026

The base size of vertex-transitive cubic graphs

We prove that if $\Gamma$ is a finite connected vertex-transitive cubic graph, then either $|V\Gamma| \le 90$, or $\Gamma$ is a split Praeger--Xu graph, or there exist two vertices $\alpha$ and $\beta$ such that the identity is the only automorphism of $\Gamma$ fixing both $\alpha$ and $\beta$.

math.CO↗
arXiv2026

On the base size of a finite group on its action on the lattice of subgroups

Given a finite group $R$, we investigate the base size of the action of the automorphism group of $R$ on the lattice of subgroups of $R$. Our main result shows that this base size is $1$ if and only if $R$ is cyclic. Our motivation arises from a conjecture of Babai on the problem of representing groups as automorphism groups of lattices with a bounded number of orbits.

math.GR↗
arXiv2026

Some remarks on the orbit dimension of transitive groups and on the metric dimension of Johnson graphs

The orbit dimension $\sigma(G)$ (also called the separation number or rigidity index) of a permutation group $G$ with domain $\Omega$ is the minimum cardinality of a subset $S \subseteq \Omega$ such that, for any two distinct elements $\omega,\omega'\in \Omega$, there exists $\alpha\in S$ for which $\omega$ and $\omega'$ lie in distinct orbits of the stabilizer $G_\alpha$. In this paper, we first observe that if $G$ is transitive, then $\sigma(G)\le |\Omega|-r+1$, where $r$ is the rank of $G$, and we obtain strong structural information on the groups for which equality holds. Next, we investigate the orbit dimension in the case where $G$ is the symmetric group of degree $n$, acting on the set of $k$-subsets of $\{1,\ldots,n\}$. In this case, this invariant equals the metric dimension of Johnson graphs.

math.CO↗
arXiv2026

CI-groups for ternary structures

We explicitly determine all CI-groups with respect to ternary relational structures that have the form $C \times D$, where $C$ is cyclic and $D$ is either a dicyclic group whose order is not divisible by $3$ or a dihedral group. Such groups are also CI-groups with respect to graphs and digraphs.

math.CO↗
arXiv2025

On the density of Sylow numbers

Let $p$ be a prime number. We say that a positive integer $n$ is a Sylow $p$-number if there exists a finite group having exactly $n$ Sylow $p$-subgroups. When $p=2$, every odd integer is a Sylow $2$-number. In contrast, when $p$ is odd, there exist two positive constants $c_p$ and $c_p^\prime$ such that, denoting by $\beta(p,x)$ the number of Sylow $p$-numbers less than or equal to $x$, \[c_p\,x(\log x)^{\frac{1}{p-1}-1} \leq \beta(p,x)\leq c_p^\prime\,x(\log x)^{\frac{1}{p-1}-1}. \] Moreover if $\beta_s(p,x)$ is the number of positive integers $n\le x$ such that $n$ is the Sylow $p$-number of some finite solvable group then $$\beta_s(p,x)\sim c_p\,x(\log x)^{\,\frac{1}{p-1}-1} \qquad\text{as } x\to\infty.$$ In particular, when $p$ is odd, the natural density of Sylow $p$-numbers is $0$.

math.GR↗
arXiv2025

Finite simple groups have many classes of prime order elements

Let $T$ be a finite non-abelian simple group. Giudici, Morgan and Praeger have shown that the order of $T$ is bounded above by a function depending on the maximum number of $\mathrm{Aut}(T)$-classes of elements of $T$ of prime-power order. In this note, we strengthen this result by showing, in particular, that prime-power can be replaced by prime.

math.GR↗
arXiv2025

Normal 2-coverings in affine groups of small dimension

A finite group $G$ admits a normal $2$-covering if there exist two proper subgroups $H$ and $K$ with $G=\bigcup_{g\in G}H^g\cup\bigcup_{g\in G}K^g$. For determining inductively the finite groups admitting a normal $2$-covering, it is important to determine all finite groups $G$ possessing a normal $2$-covering, where no proper quotient of $G$ admits such a covering. Using terminology arising from the O'Nan-Scott theorem, Garonzi and Lucchini have shown that these groups fall into four natural classes: product action, almost simple, affine and diagonal. In this paper, we start a preliminary investigation of the affine case.

math.GR↗
arXiv2025

On the base size and minimal degree of transitive groups

Let $G$ be a permutation group, and denote with $\mu(G)$ and $b(G)$ its minimal degree and base size respectively. We show that for every $\varepsilon>0$, there exists a transitive permutation group $G$ of degree $n$ with \[ \mu(G)b(G) \geq n^{2-\varepsilon}. \] We also identify some classes of transitive and intransitive groups whose base size and minimal degree have a smaller upper bound, shared with primitive groups.

math.GR↗
arXiv2025

The maximal rank of a string group generated by involutions for alternating groups

A string group generated by involutions, or SGGI, is a pair $\Gamma=(G, S)$, where $G$ is a group and $S=\{\rho_0,\ldots, \rho_{r-1}\}$ is an ordered set of involutions generating $G$ and satisfying the commuting property: $$\forall i,j\in\{0,\ldots, r-1\}, \;|i-j|\ne 1\Rightarrow (\rho_i\rho_j)^2=1.$$ When $S$ is an independent set, the rank of $\Gamma$ is the cardinality of $S$. We determine an upper bound for the rank of an SGGI over the alternating group of degree $n$. Our bound is tight when $n\equiv 0,1,4\pmod 5$.

math.GR↗
arXiv2025

Normal subgroups and permutation characters: a correction to a proof of Klingen

Let $G$ be a finite group. For subgroups $U$ and $V$ let $1_U^G$ and $1_V^G$ be the permutation characters for the action of $G$ on the right cosets of $U$ and $V$, respectively. Let $N$ be a normal subgroup of $G$. Norbert Klingen, in his book, shows that if $1_U^G=1_V^G$, then $1_{NU}^G=1_{NV}^G$. We give a counterexample to an argument in his proof and we give a new proof of this statement.

math.GR↗
arXiv2025

Commutators between coprime order elements in non-abelian simple groups

Recent investigations on the set of commutators between the elements of a finite group having relatively prime orders have prompt us to propose a variant of the Ore conjecture: For every finite non-abelian simple group and for every $g\in G$, there exist $x,y\in G$ with $g=[y,x]$ and with the order of $x$ relatively prime to the order of $y$. In this note we present some evidence towards the veracity of this conjecture by proving it for alternating groups and some sporadic simple groups.

math.GR↗
arXiv2025

Kronecker classes and cliques in derangement graphs

Given a permutation group $G$, the derangement graph of $G$ is defined with vertex set $G$, where two elements $x$ and $y$ are adjacent if and only if $xy^{-1}$ is a derangement. We establish that, if $G$ is transitive with degree exceeding 30, then the derangement graph of $G$ contains a complete subgraph with four vertices. As a consequence, if $G$ is a normal subgroup of $A$ such that $|A : G| = 3$, and if $U$ is a subgroup of $G$ satisfying $G = \bigcup_{a \in A} U^a$, then $|G : U| \leq 10$. This result provides support for a conjecture by Neumann and Praeger concerning Kronecker classes.

math.CO↗
arXiv2024

Kronecker classes, normal coverings and chief factors of groups

For a group $G$, a subgroup $U \leq G$ and a group $\mathrm{Inn}(G) \leq A \leq \mathrm{Aut}(G)$, we say that $U$ is an $A$-covering group of $G$ if $G = \bigcup_{a\in A}U^a$. A theorem of Jordan (1872) implies that if $G$ is a finite group, $A = \mathrm{Inn}(G)$ and $U$ is an $A$-covering group of $G$, then $U = G$. Motivated by a question concerning Kronecker classes of field extensions, Neumann and Praeger (1988) conjectured that, more generally, there is an integer function $f$ such that if $G$ is a finite group and $U$ is an $A$-covering subgroup of $G$, then $|G:U| \leq f(|A:\mathrm{Inn}(G)|)$. A key piece of evidence for this conjecture is a theorem of Praeger (1994), which asserts that there is a two-variable integer function $g$ such that if $G$ is a finite group and $U$ is an $A$-covering subgroup of $G$, then $|G:U|\leq g(|A:\mathrm{Inn}(G)|,c)$ where $c$ is the number of $A$-chief factors of~$G$. Unfortunately, the proof of this result contains an error. In this paper, using a different argument, we give a correct proof of this theorem.

math.GR↗
arXiv2024

IBIS primitive groups of almost simple type

Let $G$ be a finite permutation group on $\Omega$. An ordered sequence $(\omega_1\ldots,\omega_\ell)$ of elements of $\Omega$ 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$.

math.GR↗
arXiv2024

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

Given a finite connected graph ${\Gamma}$ and a group $G$ acting transitively on the vertices of ${\Gamma}$, we prove that the number of vertices of ${\Gamma}$ and the cardinality of $G$ are bounded above by a function depending only on the cardinality of ${\Gamma}$ 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 ${\Gamma}$ cannot be bounded by a function of the valency alone.

math.GR↗