BZPEER

preprint2022arXiv

A generalization of a question asked by B. H. Neumann

Let $w \in F_2$ be a word and let $m$ and $n$ be two positive integers. We say that a finite group $G$ has the $w_{m,n}$ -property if however a set $M$ of $m$ elements and a set $N$ of $n$ elements of the group is chosen, there exist at least one element of $x \in M$ and at least one element of $y \in M$ such that $w(x,y)=1.$ Assume that there exists a constant $γ< 1$ such that whenever $w$ is not an identity in a finite group $X$ , then the probability that $w(x_1,x_2)=1$ in $X$ is at most $γ.$ If $m\leq n$ and $G$ satisfies the $w_{m,n}$ -property, then either $w$ is an identity in $G$ or $|G|$ is bounded in terms of $γ, m$ and $n$ . We apply this result to the 2-Engel word.

preprint2022arXiv

Minimal invariable generating sets

A subset $S$ of a group $G$ invariably generates $G$ if, when each element of $S$ is replaced by an arbitrary conjugate, the resulting set generates $G.$ An invariable generating set $X$ of $G$ is called minimal if no proper subset of $X$ invariably generates $G.$ We will address several questions related to the behaviour of minimal invariable generating sets of a finite group.

preprint2022arXiv

Strongly generating elements in finite and profinite groups

Given a finite group $G$ and an element $g\in G$ , we may compare the expected number $e(G)$ of elements needed to generate $G$ and the expected number $e(G,g)$ of elements of $G$ needed to generate $G$ together with $g.$ We address the following question: how large can the difference $e(G)-e(G,g)$ be?

preprint2022arXiv

The Engel graph of a finite group

For a finite group $G,$ we investigate the direct graph $Γ(G),$ whose vertices are the non-hypercentral elements of $G$ and where there is an edge $x\mapsto y$ if and only if $[x,_ny]=1$ for some $n \in \mathbb N.$ We prove that $Γ(G)$ is always weakly connected and is strongly connected if $G/Z_{\infty}(G)$ is neither Frobenius nor almost simple.

preprint2022arXiv

The Engel graph of almost simple groups

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.

preprint2021arXiv

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

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.

preprint2021arXiv

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

A generating pair $x, y$ for a group $G$ is said to be \textbf{\textit{symmetric}} if there exists an automorphism $φ_{x,y}$ of $G$ inverting both $x$ and $y$ , that is, $x^{φ_{x,y}}=x^{-1}$ and $y^{φ_{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.

preprint2021arXiv

Independent sets of generators of prime power order

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.

preprint2021arXiv

Primitive permutation IBIS groups

Let $G$ be a finite permutation group on $Ω$ . An ordered sequence of elements of $Ω$ , $(ω_1,\dots, ω_t)$ , is an irredundant base for $G$ if the pointwise stabilizer $G_{(ω_1,\dots, ω_t)}$ is trivial and no point is fixed by the stabilizer of its predecessors. If all irredundant bases of $G$ have the same size we say that $G$ is an IBIS group. In this paper we show that if a primitive permutation group is IBIS, then it must be almost simple, of affine-type, or of diagonal type. Moreover we prove that a diagonal-type primitive permutation groups is IBIS if and only if it is isomorphic to $PSL(2,2^f)\times PSL(2,2^f)$ for some $f\geq 2,$ in its diagonal action of degree $2^f(2^{2f}-1).$

preprint2020arXiv

An upper bound on the Chebotarev invariant of a finite group

A subset $\{g_1, \ldots , g_d\}$ of a finite group $G$ invariably generates $G$ if the set $\{g_1^{x_1}, \ldots, g_d^{x_d}\}$ generates $G$ for every choice of $x_i \in G$ . The Chebotarev invariant $C(G)$ of $G$ is the expected value of the random variable $n$ that is minimal subject to the requirement that $n$ randomly chosen elements of $G$ invariably generate $G$ . The first author recently showed that $C(G)\le β\sqrt{|G|}$ for some absolute constant $β$ . In this paper we show that, when $G$ is soluble, then $β$ is at most $5/3$ . We also show that this is best possible. Furthermore, we show that, in general, for each $ε>0$ there exists a constant $c_ε$ such that $C(G)\le (1+ε)\sqrt{|G|}+c_ε$ .

preprint2020arXiv

Applying the Kövári-Sós-Turán theorem to a question in group theory

Let $m\leq n$ be positive integers and $\mathfrak X$ a class of groups which is closed for subgroups, quotient groups and extensions. Suppose that a finite group $G$ satisfies the condition that for every two subsets $M$ and $N$ of cardinalities $m$ and $n,$ respectively, there exist $x \in M$ and $y \in N$ such that $\langle x, y \rangle\in \mathfrak X.$ Then either $G\in \mathfrak X$ or $|G|\leq \left(\frac{180}{53}\right)^m(n-1).$

preprint2020arXiv

Connectivity of generating graphs of nilpotent groups

Let $G$ be $2$ -generated group. The generating graph of $Γ(G)$ is the graph whose vertices are the elements of $G$ and where two vertices $g$ and $h$ are adjacent if $G=\langle g,h\rangle$ . This graph encodes the combinatorial structure of the distribution of generating pairs across $G$ . In this paper we study several natural graph theoretic properties related to the connectedness of $Γ(G)$ in the case where $G$ is a finite nilpotent group. For example, we prove that if $G$ is nilpotent, then the graph obtained from $Γ(G)$ by removing its isolated vertices is maximally connected and, if $|G| \geq 3$ , also Hamiltonian. We pose several questions.

preprint2020arXiv

Genus, thickness and crossing number of graphs encoding the generating properties of finite groups

Assume that $G$ is a finite group and let $a$ and $b$ be non-negative integers. We define an undirected graph $Γ_{a,b}(G)$ whose vertices correspond to the elements of $G^a\cup G^b$ and in which two tuples $(x_1,\dots,x_a)$ and $(y_1,\dots,y_b)$ are adjacent if and only $\langle x_1,\dots,x_a,y_1,\dots,y_b \rangle =G.$ Our aim is to estimate the genus, the thickness and the crossing number of the graph $Γ_{a,b}(G)$ when $a$ and $b$ are positive integers.

preprint2020arXiv

Graphs encoding the generating properties of a finite group

Assume that $G$ is a finite group. For every $a, b \in\mathbb N,$ we define a graph $Γ_{a,b}(G)$ whose vertices correspond to the elements of $G^a\cup G^b$ and in which two tuples $(x_1,\dots,x_a)$ and $(y_1,\dots,y_b)$ are adjacent if and only if $\langle x_1,\dots,x_a,y_1,\dots,y_b \rangle =G.$ We study several properties of these graphs (isolated vertices, loops, connectivity, diameter of the connected components) and we investigate the relations between their properties and the group structure, with the aim of understanding which information about $G$ are encoded by these graphs.

preprint2020arXiv

Profinite groups in which the probabilistic zeta function has no negative coefficients

To a finitely generated profinite group $G$ , a formal Dirichlet series $P_G(s)=\sum_{n \in \mathbb N} {a_n(G)}/{n^s}$ is associated, where $a_n(G)=\sum_{|G:H|=n}μ(H, G)$ and $μ(H,G)$ denotes the Möbius function of the lattice of open subgroups of $G.$ Its formal inverse $P_G^{-1}(s)$ is the probabilistic zeta function of $G$ . When $G$ is prosoluble, every coefficient of $(P_G(s))^{-1}$ is nonnegative. In this paper we discuss the general case and we produce % existence of a non-prosoluble example and We construct a non-prosoluble finitely generated group $G$ with the same property.

preprint2020arXiv

The generating graph of a profinite group

Let $G$ be 2-generated group. The generating graph $Γ(G)$ of $G$ is the graph whose vertices are the elements of $G$ and where two vertices $g$ and $h$ are adjacent if $G = \langle g, h \rangle.$ This definition can be extended to a 2-generated profinite group $G,$ considering in this case topological generation. We prove that the set $V(G)$ of non-isolated vertices of $Γ(G)$ is closed in $G$ and that, if $G$ is prosoluble, then the graph $Δ(G)$ obtained from $Γ(G)$ by removing its isolated vertices is connected with diameter at most 3. However we construct an example of a 2-generated profinite group $G$ with the property that $Δ(G)$ has $2^{\aleph_0}$ connected components. This implies that the so called "swap conjecture" does not hold for finitely generated profinite groups. We also prove that if an element of $V(G)$ has finite degree in the graph $Γ(G),$ then $G$ is finite.

preprint2020arXiv

The genus of the subgroup graph of a finite group

For a finite group $G$ denote by $γ(L(G))$ the genus of the subgroup graph of $G.$ We prove that $γ(L(G))$ tends to infinity as either the rank of $G$ or the number of prime divisors of $|G|$ tends to infinity.

preprint2020arXiv

The independence graph of a finite group

Given a finite group $G,$ we denote by $Δ(G)$ the graph whose vertices are the elements $G$ and where two vertices $x$ and $y$ are adjacent if there exists a minimal generating set of $G$ containing $x$ and $y.$ We prove that $Δ(G)$ is connected and classify the groups $G$ for which $Δ(G)$ is a planar graph.

preprint2020arXiv

The non- $\mathfrak F$ -graph of a finite group

Given a formation $\mathfrak F$ , we consider the graph whose vertices are the elements of $G$ and where two vertices $g,h\in G$ are adjacent if and only if $\langle g,h \rangle \notin\mathfrak F$ . We are interested in the two following questions. Is the set of the isolated vertices of this graph a subgroup of $G$ ? Is the subgraph obtained by deleting the isolated vertices a connected graph?

preprint2018arXiv

Generating maximal subgroups of finite almost simple groups

For a finite group $G$ , let $d(G)$ denote the minimal number of elements required to generate $G$ . In this paper, given a finite almost simple group $G$ and any maximal subgroup $H$ of $G$ , we determine a precise upper bound for $d(H)$ . In particular, we show that $d(H)\leq 5$ , and that $d(H)\geq 4$ if and only if $H$ occurs in a known list. This improves a result of Burness, Liebeck and Shalev. The method involves the theory of crowns in finite groups.

preprint2016arXiv

A bound on the expected number of random elements to generate a finite group all of whose Sylow subgroups are d-generated

Assume that all the Sylow subgroups of a finite group $G$ can be generated by $d$ elements. Then the expected number of elements of $G$ which have to be drawn at random, with replacement, before a set of generators is found, is at most $d+η$ with $η\sim 2.875065.$

preprint2016arXiv

The Chebotarev invariant of a finite group: a conjecture of Kowalski and Zywina

A subset $\{g_1, \ldots , g_d\}$ of a finite group $G$ invariably generates $G$ if $\{g_1^{x_1}, \ldots , g_d^{x_d}\}$ generates $G$ for every choice of $x_i \in G$ . The Chebotarev invariant $C(G)$ of $G$ is the expected value of the random variable $n$ that is minimal subject to the requirement that $n$ randomly chosen elements of $G$ invariably generate $G$ . Confirming a conjecture of Kowalski and Zywina, we prove that there exists an absolute constant $β$ such that $C(G) \leq β\sqrt{|G|}$ for all finite groups $G.$

preprint2015arXiv

Maximal subgroups of finite soluble groups in general position

For a finite group $G$ we investigate the difference between the maximum size MaxDim $(G)$ of an "independent" family of maximal subgroups of $G$ and maximum size $m(G)$ of an irredundant sequence of generators of $G$ . We prove that MaxDim $(G)=m(G)$ if the derived subgroup of $G$ is nilpotent. However MaxDim $(G)-m(G)$ can be arbitrarily large: for any odd prime $p,$ we construct a finite soluble group with Fitting length 2 satisfying $m(G)=3$ and MaxDim $(G)=p.$

preprint2014arXiv

Coprime invariable generation and minimal-exponent groups

A finite group $G$ is \emph{coprimely-invariably generated} if there exists a set of generators $\{g_1, ..., g_u\}$ of $G$ with the property that the orders $|g_1|, ..., |g_u|$ are pairwise coprime and that for all $x_1, ..., x_u \in G$ the set $\{g_1^{x_1}, ..., g_u^{x_u}\}$ generates $G$ . We show that if $G$ is coprimely-invariably generated, then $G$ can be generated with three elements, or two if $G$ is soluble, and that $G$ has zero presentation rank. As a corollary, we show that if $G$ is any finite group such that no proper subgroup has the same exponent as $G$ , then $G$ has zero presentation rank. Furthermore, we show that every finite simple group is coprimely-invariably generated. Along the way, we show that for each finite simple group $S$ , and for each partition $π_1, ..., π_u$ of the primes dividing $|S|$ , the product of the number $k_{π_i}(S)$ of conjugacy classes of $π_i$ -elements satisfies $\prod_{i=1}^u k_{π_i}(S) \leq \frac{|S|}{2| Out S|}.$

preprint2014arXiv

Invariable generation of prosoluble groups

A group $G$ is invariably generated by a subset $S$ of $G$ if $G= s^{g(s)} \mid s\in S$ for each choice of $g(s) \in G$ , $s \in S$ . Answering two questions posed by Kantor, Lubotzky and Shalev, we prove that the free prosoluble group of rank $d \ge 2$ cannot be invariably generated by a finite set of elements, while the free solvable profinite group of rank $d$ and derived length $l$ is invariably generated by precisely $l(d-1)+1$ elements.

preprint2014arXiv

Invariable generation with elements of coprime prime-power order

A finite group $G$ is coprimely-invariably generated if there exists a set of generators $\{g_1, \ldots, g_d\}$ of $G$ with the property that the orders $|g_1|, \ldots, |g_d|$ are pairwise coprime and that for all $x_1, \ldots, x_d \in G$ the set $\{g_1^{x_1}, \ldots, g_d^{x_d}\}$ generates $G$ . In the particular case when $|g_1|, \ldots, |g_d|$ can be chosen to be prime-powers we say that $G$ is prime-power coprimely-invariably generated. We will discuss these properties, proving also that the second one is stronger than the first, but that in the particular case of finite soluble groups they are equivalent.

preprint2014arXiv

Irredundant and minimal covers of finite groups

A cover of a finite non-cyclic group $G$ is a family $\mathcal{H}$ of proper subgroups of $G$ whose union equals $G$ . A cover of $G$ is called minimal if it has minimal size, and irredundant if it does not properly contain any other cover. We classify the finite non-cyclic groups all of whose irredundant covers are minimal.

preprint2013arXiv

A finiteness condition on the coefficients of the probabilistic zeta function

We discuss whether finiteness properties of a profinite group $G$ can be deduced from the coefficients of the probabilistic zeta function $P_G(s)$ . In particular we prove that if $P_G(s)$ is rational and all but finitely many non abelian composition factors of $G$ are isomorphic to $PSL(2,p)$ for some prime $p$ , then $G$ contains only finitely many maximal subgroups.

preprint2013arXiv

Covers and Normal Covers of Finite Groups

For a finite non cyclic group $G$ , let $γ(G)$ be the smallest integer $k$ such that $G$ contains $k$ proper subgroups $H_1,\dots,H_k$ with the property that every element of $G$ is contained in $H_i^g$ for some $i \in \{1,\dots,k\}$ and $g \in G.$ We prove that if $G$ is a noncyclic permutation group of degree $n,$ then $γ(G)\leq (n+2)/2.$ We then investigate the structure of the groups $G$ with $γ(G)=σ(G)$ (where $σ(G)$ is the size of a minimal cover of $G$ ) and of those with $γ(G)=2.$

preprint2013arXiv

Rationality of the probabilistic zeta function of finitely generated profinite groups

We discuss whether finiteness properties of a profinite group $G$ can be deduced from the probabilistic zeta function $P_G(s)$ . In particular we prove that if $P_G(s)$ is rational and all but finitely many nonabelian composition factors of $G$ are groups of Lie type in a fixed characteristic, then $G$ contains only finitely many maximal subgroups.

preprint2012arXiv

Direct products of finite groups as unions of proper subgroups

We determine all the ways in which a direct product of two finite groups can be expressed as the set-theoretical union of proper subgroups in a family of minimal cardinality.

preprint2011arXiv

Characterization of finitely generated infinitely iterated wreath products

Given a sequence of $(G_i)_{i \in \N}$ of finite transitive groups of degree $n_i$ , let $W_\infty$ be the inverse limit of the iterated permutational wreath products of the first m groups. We prove that $W_\infty$ is (topologically) finitely generated if and only if $\prod_{i=1}^{\infty} (G_i/G_i')$ is finitely generated and the growth of the minimal number of generators of $G_i$ is bounded by $d...n_1...n_{i-1}$ for a constant $d$ . Moreover we give a criterion to decide whether $W_\infty$ is positively finitely generated.

preprint2010arXiv

Rings as the unions of proper subrings

We describe all possible ways how a ring can be expressed as the union of three of its proper subrings. This is an analogue for rings of a 1926 theorem of Scorza about groups. We then determine the minimal number of proper subrings of the simple matrix ring $M_{n}(q)$ whose union is $M_{n}(q)$ .

Andrea Lucchini

Research overview

Is this your work?

33 publications

A generalization of a question asked by B. H. Neumann

Minimal invariable generating sets

Strongly generating elements in finite and profinite groups

The Engel graph of a finite group

The Engel graph of almost simple groups

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

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

Independent sets of generators of prime power order

Primitive permutation IBIS groups

An upper bound on the Chebotarev invariant of a finite group

Applying the Kövári-Sós-Turán theorem to a question in group theory

Connectivity of generating graphs of nilpotent groups

Genus, thickness and crossing number of graphs encoding the generating properties of finite groups

Graphs encoding the generating properties of a finite group

Profinite groups in which the probabilistic zeta function has no negative coefficients

The generating graph of a profinite group

The genus of the subgroup graph of a finite group

The independence graph of a finite group

The non- $\mathfrak F$ -graph of a finite group

Generating maximal subgroups of finite almost simple groups

A bound on the expected number of random elements to generate a finite group all of whose Sylow subgroups are d-generated

The Chebotarev invariant of a finite group: a conjecture of Kowalski and Zywina

Maximal subgroups of finite soluble groups in general position

Coprime invariable generation and minimal-exponent groups

Invariable generation of prosoluble groups

Invariable generation with elements of coprime prime-power order

Irredundant and minimal covers of finite groups

A finiteness condition on the coefficients of the probabilistic zeta function

Covers and Normal Covers of Finite Groups

Rationality of the probabilistic zeta function of finitely generated profinite groups

Direct products of finite groups as unions of proper subgroups

Characterization of finitely generated infinitely iterated wreath products

Rings as the unions of proper subrings

See the researcher in context

Building this map preview

Andrea Lucchini

Research overview

Is this your work?

33 publications

A generalization of a question asked by B. H. Neumann

Minimal invariable generating sets

Strongly generating elements in finite and profinite groups

The Engel graph of a finite group

The Engel graph of almost simple groups

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

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

Independent sets of generators of prime power order

Primitive permutation IBIS groups

An upper bound on the Chebotarev invariant of a finite group

Applying the Kövári-Sós-Turán theorem to a question in group theory

Connectivity of generating graphs of nilpotent groups

Genus, thickness and crossing number of graphs encoding the generating properties of finite groups

Graphs encoding the generating properties of a finite group

Profinite groups in which the probabilistic zeta function has no negative coefficients

The generating graph of a profinite group

The genus of the subgroup graph of a finite group

The independence graph of a finite group

The non-F\mathfrak FF-graph of a finite group

Generating maximal subgroups of finite almost simple groups

A bound on the expected number of random elements to generate a finite group all of whose Sylow subgroups are d-generated

The Chebotarev invariant of a finite group: a conjecture of Kowalski and Zywina

Maximal subgroups of finite soluble groups in general position

Coprime invariable generation and minimal-exponent groups

Invariable generation of prosoluble groups

Invariable generation with elements of coprime prime-power order

Irredundant and minimal covers of finite groups

A finiteness condition on the coefficients of the probabilistic zeta function

Covers and Normal Covers of Finite Groups

Rationality of the probabilistic zeta function of finitely generated profinite groups

Direct products of finite groups as unions of proper subgroups

Characterization of finitely generated infinitely iterated wreath products

Rings as the unions of proper subrings

See the researcher in context

Building this map preview

The non- $\mathfrak F$ -graph of a finite group