BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Andrea Lucchini

Andrea Lucchini contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GRmath.CO

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
20works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

20 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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).$

0 citations0 reviewsNo code linkedOpen access
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_ε$.

0 citations0 reviewsNo code linkedOpen access
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).$

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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 &#34;swap conjecture&#34; 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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access