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

Michael Giudici

Michael Giudici contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GRmath.CO

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
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

9 published item(s)

preprint2024arXiv

Spreading primitive groups of diagonal type do not exist

The synchronisation hierarchy of finite permutation groups consists of classes of groups lying between 2-transitive groups and primitive groups. This includes the class of spreading groups, which are defined in terms of sets and multisets of permuted points, and which are known to be primitive of almost simple, affine or diagonal type. In this paper, we prove that in fact no spreading group of diagonal type exists. As part of our proof, we show that all non-abelian finite simple groups, other than six sporadic groups, have a transitive action in which a proper normal subgroup of a point stabiliser is supplemented by all corresponding two-point stabilisers.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

A generalization of Szep's conjecture for almost simple groups

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)$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Arc-transitive bicirculants

In this paper, we characterise the family of finite arc-transitive bicirculants. We show that every finite arc-transitive bicirculant is a normal $r$-cover of an arc-transitive graph that lies in one of eight infinite families or is one of seven sporadic arc-transitive graphs. Moreover, each of these "basic" graphs is either an arc-transitive bicirculant or an arc-transitive circulant, and each graph in the latter case has an arc-transitive bicirculant normal $r$-cover for some integer $r$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Locally s-arc-transitive graphs arising from product action

We study locally $s$-arc-transitive graphs arising from the quasiprimitive product action (PA). We prove that, for any locally $(G,2)$-arc-transitive graph with $G$ acting quasiprimitively with type PA on both $G$-orbits of vertices, the group $G$ does not act primitively on either orbit. Moreover, we construct the first examples of locally $s$-arc-transitive graphs of PA type that are not standard double covers of $s$-arc-transitive graphs of PA type, answering the existence question for these graphs.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Synchronising primitive groups of diagonal type exist

Every synchronising permutation group is primitive and of one of three types: affine, almost simple, or diagonal. We exhibit the first known example of a synchronising diagonal type group. More precisely, we show that $\mathrm{PSL}(2,q)\times \mathrm{PSL}(2,q)$ acting in its diagonal action on $\mathrm{PSL}(2,q)$ is separating, and hence synchronising, for $q=13$ and $q=17$. Furthermore, we show that such groups are non-spreading for all prime powers $q$.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Orbits of Sylow subgroups of finite permutation groups

We say that a finite group $G$ acting on a set $Ω$ has Property $(*)_p$ for a prime $p$ if $P_ω$ is a Sylow $p$-subgroup of $G_ω$ for all $ω\inΩ$ and Sylow $p$-subgroups $P$ of $G$. Property $(*)_p$ arose in the recent work of Tornier (2018) on local Sylow $p$-subgroups of Burger-Mozes groups, and he determined the values of $p$ for which the alternating group $A_n$ and symmetric group $S_n$ acting on $n$ points has Property $(*)_p$. In this paper, we extend this result to finite $2$-transitive groups and we give a structural characterisation result for the finite primitive groups that satisfy Property $(*)_p$ for an allowable prime $p$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Finite transitive permutation groups with only small normaliser orbits

We study finite transitive permutation groups $G\leqslant\operatorname{Sym}(Ω)$ such that all orbits of the conjugation action on $G$ of the normaliser of $G$ in $\operatorname{Sym}(Ω)$ have size bounded by some constant. Our results extend recent results, due to the first author, on finite abstract groups $G$ such that all orbits of the natural action of the automorphism group $\operatorname{Aut}(G)$ on $G$ have size bounded by some constant.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Groups generated by derangements

We examine the subgroup $D(G)$ of a transitive permutation group $G$ which is generated by the derangements in $G$. Our main results bound the index of this subgroup: we conjecture that, if $G$ has degree $n$ and is not a Frobenius group, then $|G:D(G)|\leqslant\sqrt{n}-1$; we prove this except when $G$ is a primitive affine group. For affine groups, we translate our conjecture into an equivalent form regarding $|H:R(H)|$, where $H$ is a linear group on a finite vector space and $R(H)$ is the subgroup of $H$ generated by elements having eigenvalue~$1$. If $G$ is a Frobenius group, then $D(G)$ is the Frobenius kernel, and so $G/D(G)$ is isomorphic to a Frobenius complement. We give some examples where $D(G)\ne G$, and examine the group-theoretic structure of $G/D(G)$; in particular, we construct groups $G$ in which $G/D(G)$ is not a Frobenius complement.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

On the Saxl graph of a permutation group

Let $G$ be a permutation group on a set $Ω$. A subset of $Ω$ is a base for $G$ if its pointwise stabiliser in $G$ is trivial. In this paper we introduce and study an associated graph $Σ(G)$, which we call the Saxl graph of $G$. The vertices of $Σ(G)$ are the points of $Ω$, and two vertices are adjacent if they form a base for $G$. This graph encodes some interesting properties of the permutation group. We investigate the connectivity of $Σ(G)$ for a finite transitive group $G$, as well as its diameter, Hamiltonicity, clique and independence numbers, and we present several open problems. For instance, we conjecture that if $G$ is a primitive group with a base of size $2$, then the diameter of $Σ(G)$ is at most $2$. Using a probabilistic approach, we establish the conjecture for some families of almost simple groups. For example, the conjecture holds when $G=S_n$ or $A_n$ (with $n>12$) and the point stabiliser of $G$ is a primitive subgroup. In contrast, we can construct imprimitive groups whose Saxl graph is disconnected with arbitrarily many connected components, or connected with arbitrarily large diameter.

0 citations0 reviewsNo code linkedOpen access