Michael Giudici
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Previous Organizations / Institutes
The organizations / institutes from the scholar's other articles in the past ten years
Research Subjects
Michael Giudici has a total of 137 co-authors. Here are the top co-authors by number of shared publications:
- Cheryl E. Praeger
The University of Western Australia
57 shared publications - Alice Devillers
Centre for the Mathematics of Symmetry and Computation, The University of Western Australia, Crawley, Australia
15 shared publications Cai Heng Li
15 shared publications- John Bamberg
Department of Mathematics and Statistics, The University of Western Australia, Crawley, Australia
14 shared publications - Gordon F. Royle
The University of Western Australia
11 shared publications - Cai Heng Li
School of Mathematics and Statistics, Yunnan University, Kunming, Yunnan 650091, PR China
9 shared publications
Latest Publications
- Open Access
- 29 September 2026
- Published by Cambridge University Press (CUP) in Forum of Mathematics, Sigma
- Vol. 14
Prime power coverings of groups and field extensions
For a finite group A with normal subgroup G , a subgroup U of G is an A -prime-power-covering subgroup if U meets every A -conjugacy-class of elements of G of prime-power order. It is conjectured that $|G:U|$ StartAbsoluteValue upper G colon upper U EndAbsoluteValue is bounded by some function of $|A:G|$ StartAbsoluteValue upper A colon upper G EndAbsoluteValue . We prove the conjecture in the case that the action of G on the set of right cosets of U in G is innately transitive. This includes the special case where U is a maximal subgroup of G . It turns out that each prime-power-covering subgroup U for which this G -action is innately transitive must be a maximal subgroup of G . We derive the following number-theoretic consequence: if K is a finite Galois extension of a global field k and L is a finite innate extension of K such that K and L are weakly Kronecker equivalent over k , then the extension $L/K$ upper L divided by upper K must be atomic of degree bounded in terms of $[K:k]$ left bracket upper K colon k right bracket . Our proofs use both a recently proved bound on the order of a finite nonabelian simple group in terms of the number of its classes of elements of prime-power order (depending on the Finite Simple Group Classification) and also new Galois-theoretic concepts for field extensions.- 29 September 2026
- Published by Cambridge University Press (CUP) in Forum of Mathematics, Sigma
- Vol. 14
Open AccessPrime power coverings of groups and field extensions
For a finite group A with normal subgroup G , a subgroup U of G is an A -prime-power-covering subgroup if U meets every A -conjugacy-class of elements of G of prime-power order. It is conjectured that $|G:U|$ StartAbsoluteValue upper G colon upper U EndAbsoluteValue is bounded by some function of $|A:G|$ StartAbsoluteValue upper A colon upper G EndAbsoluteValue . We prove the conjecture in the case that the action of G on the set of right cosets of U in G is innately transitive. This includes the special case where U is a maximal subgroup of G . It turns out that each prime-power-covering subgroup U for which this G -action is innately transitive must be a maximal subgroup of G . We derive the following number-theoretic consequence: if K is a finite Galois extension of a global field k and L is a finite innate extension of K such that K and L are weakly Kronecker equivalent over k , then the extension $L/K$ upper L divided by upper K must be atomic of degree bounded in terms of $[K:k]$ left bracket upper K colon k right bracket . Our proofs use both a recently proved bound on the order of a finite nonabelian simple group in terms of the number of its classes of elements of prime-power order (depending on the Finite Simple Group Classification) and also new Galois-theoretic concepts for field extensions. - Open Access
Linear dimension of group actions
Two fundamental ways to represent a group are as permutations and as matrices. In this paper, we study linear representations of groups that intertwine with a permutation representation. Recently, D'Alconzo and Di Scala investigated how small the matrices in such a linear representation can be. The minimal dimension of such a representation is the \emph{linear dimension of the group action} and this has applications in cryptography and cryptosystems. We develop the idea of linear dimension from an algebraic point of view by using the theory of permutation modules. We give structural results about representations of minimal dimension and investigate the implications of faithfulness, transitivity and primitivity on the linear dimension. Furthermore, we compute the linear dimension of several classes of finite primitive permutation groups. We also study wreath products, allowing us to determine the linear dimension of imprimitive group actions. Finally, we give the linear dimension of almost simple finite $2$-transitive groups, some of which may be used for further applications in cryptography. Our results also open up many new questions about linear representations of group actions.
Open AccessLinear dimension of group actions
Two fundamental ways to represent a group are as permutations and as matrices. In this paper, we study linear representations of groups that intertwine with a permutation representation. Recently, D'Alconzo and Di Scala investigated how small the matrices in such a linear representation can be. The minimal dimension of such a representation is the \emph{linear dimension of the group action} and this has applications in cryptography and cryptosystems. We develop the idea of linear dimension from an algebraic point of view by using the theory of permutation modules. We give structural results about representations of minimal dimension and investigate the implications of faithfulness, transitivity and primitivity on the linear dimension. Furthermore, we compute the linear dimension of several classes of finite primitive permutation groups. We also study wreath products, allowing us to determine the linear dimension of imprimitive group actions. Finally, we give the linear dimension of almost simple finite $2$-transitive groups, some of which may be used for further applications in cryptography. Our results also open up many new questions about linear representations of group actions.
- Open Access
- 26 May 2025
- Published by Mathematical Sciences Publishers in Pacific Journal of Mathematics
- Vol. 336 (1-2) , 137-160
Finite simple groups have many classes of p-elements
For an element x of a finite group T , the Aut(T)-class of x is {x σ | σ ∈ Aut(T)}. We prove that the order |T | of a finite nonabelian simple group T is bounded above by a function of the parameter m(T), where m(T) is the maximum, over all primes p, of the number of Aut(T)-classes of elements of T of p-power order. This bound is a substantial generalisation of the results of Pyber (1992) and of Héthelyi and Külshammer (2005), and it has implications for relative Brauer groups of finite extensions of global fields.
- 26 May 2025
- Published by Mathematical Sciences Publishers in Pacific Journal of Mathematics
- Vol. 336 (1-2) , 137-160
Open AccessFinite simple groups have many classes of p-elements
For an element x of a finite group T , the Aut(T)-class of x is {x σ | σ ∈ Aut(T)}. We prove that the order |T | of a finite nonabelian simple group T is bounded above by a function of the parameter m(T), where m(T) is the maximum, over all primes p, of the number of Aut(T)-classes of elements of T of p-power order. This bound is a substantial generalisation of the results of Pyber (1992) and of Héthelyi and Külshammer (2005), and it has implications for relative Brauer groups of finite extensions of global fields.
- Open Access
- 17 January 2025
- Published by The Electronic Journal of Combinatorics in The Electronic Journal of Combinatorics
- Vol. 32 (1) , P1.43
Low Rank Groups of Lie Type Acting Point- and Line-Primitively on Finite Generalised Quadrangles
Suppose we have a finite thick generalised quadrangle whose automorphism group $G$ acts primitively on both the set of points and the set of lines. Then $G$ must be almost simple. In this paper, we show that $\operatorname{soc}(G)$ cannot be isomorphic to $\operatorname{Sz}(2^{2m+1})$ or $\operatorname{Ree}(3^{2m+1})$ where $m$ is a positive integer.- 17 January 2025
- Published by The Electronic Journal of Combinatorics in The Electronic Journal of Combinatorics
- Vol. 32 (1) , P1.43
Open AccessLow Rank Groups of Lie Type Acting Point- and Line-Primitively on Finite Generalised Quadrangles
Suppose we have a finite thick generalised quadrangle whose automorphism group $G$ acts primitively on both the set of points and the set of lines. Then $G$ must be almost simple. In this paper, we show that $\operatorname{soc}(G)$ cannot be isomorphic to $\operatorname{Sz}(2^{2m+1})$ or $\operatorname{Ree}(3^{2m+1})$ where $m$ is a positive integer. - Open Access
- 7 January 2025
- Published by University of Primorska Press in Ars Mathematica Contemporanea
Bounding s for vertex-primitive s-arc-transitive digraphs of alternating and symmetric groups
AMC is a journal published by University of Primorska.
- 7 January 2025
- Published by University of Primorska Press in Ars Mathematica Contemporanea
Open AccessBounding s for vertex-primitive s-arc-transitive digraphs of alternating and symmetric groups
AMC is a journal published by University of Primorska.
- Open Access
- 3 October 2024
- Published by Springer Nature in Designs, Codes and Cryptography
- Vol. 93 (4) , 1127-1141
Tactical decompositions in finite polar spaces and non-spreading classical group actions
For finite classical groups acting naturally on the set of points of their ambient polar spaces, the symmetry properties of synchronising and separating are equivalent to natural and well-studied problems on the existence of certain configurations in finite geometry. The more general class of spreading permutation groups is harder to describe, and it is the purpose of this paper to explore this property for finite classical groups. In particular, we show that for most finite classical groups, their natural action on the points of its polar space is non-spreading. We develop and use a result on tactical decompositions (an AB-Lemma) that provides a useful technique for finding witnesses for non-spreading permutation groups. We also consider some of the other primitive actions of the classical groups.
- 3 October 2024
- Published by Springer Nature in Designs, Codes and Cryptography
- Vol. 93 (4) , 1127-1141
Open AccessTactical decompositions in finite polar spaces and non-spreading classical group actions
For finite classical groups acting naturally on the set of points of their ambient polar spaces, the symmetry properties of synchronising and separating are equivalent to natural and well-studied problems on the existence of certain configurations in finite geometry. The more general class of spreading permutation groups is harder to describe, and it is the purpose of this paper to explore this property for finite classical groups. In particular, we show that for most finite classical groups, their natural action on the points of its polar space is non-spreading. We develop and use a result on tactical decompositions (an AB-Lemma) that provides a useful technique for finding witnesses for non-spreading permutation groups. We also consider some of the other primitive actions of the classical groups.
- Open Access
Vertex-primitive s-arc-transitive digraphs of symplectic groups
A digraph is $s$-arc-transitive if its automorphism group is transitive on directed paths with $s$ edges, that is, on $s$-arcs. Although infinite families of finite $s$-arc transitive digraphs of arbitrary valency were constructed by the third author in 1989, existence of a vertex-primitive $2$-arc-transitive digraph was not known until an infinite family was constructed by the second author with Li and Xia in 2017. This led to a conjecture by the second author and Xia in 2018 that, for a finite vertex-primitive $s$-arc-transitive digraph, $s$ is at most $2$, together with their proof that it is sufficient to prove the conjecture for digraphs with an almost simple group of automorphisms. This paper confirms the conjecture for finite symplectic groups.Open AccessVertex-primitive s-arc-transitive digraphs of symplectic groups
A digraph is $s$-arc-transitive if its automorphism group is transitive on directed paths with $s$ edges, that is, on $s$-arcs. Although infinite families of finite $s$-arc transitive digraphs of arbitrary valency were constructed by the third author in 1989, existence of a vertex-primitive $2$-arc-transitive digraph was not known until an infinite family was constructed by the second author with Li and Xia in 2017. This led to a conjecture by the second author and Xia in 2018 that, for a finite vertex-primitive $s$-arc-transitive digraph, $s$ is at most $2$, together with their proof that it is sufficient to prove the conjecture for digraphs with an almost simple group of automorphisms. This paper confirms the conjecture for finite symplectic groups. - Open Access
- 26 April 2024
- Published by Cambridge University Press (CUP) in Proceedings of the Royal Society of Edinburgh: Section A Mathematics
- Vol. 156 (1) , 188-198
Spreading primitive groups of diagonal type do not exist
The synchronization 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 stabilizer is supplemented by all corresponding two-point stabilizers.- 26 April 2024
- Published by Cambridge University Press (CUP) in Proceedings of the Royal Society of Edinburgh: Section A Mathematics
- Vol. 156 (1) , 188-198
Open AccessSpreading primitive groups of diagonal type do not exist
The synchronization 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 stabilizer is supplemented by all corresponding two-point stabilizers. - Open Access
- 7 September 2023
- Published by Elsevier in Journal of Algebra
- Vol. 636, 804-868
Subgroups of classical groups that are transitive on subspaces
- 7 September 2023
- Published by Elsevier in Journal of Algebra
- Vol. 636, 804-868
Open AccessSubgroups of classical groups that are transitive on subspaces
- Open Access
- 19 July 2023
- Published by Springer Nature in Vietnam Journal of Mathematics
- Vol. 52 (2) , 325-359
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=\textbf{N}_G(\langle x\rangle )\textbf{N}_G(\langle y\rangle )$$ , where we are denoting by $$\textbf{N}_G(\langle x\rangle )$$ and by $$\textbf{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=\textbf{C}_G(x)\textbf{C}_G(y)$$ .- 19 July 2023
- Published by Springer Nature in Vietnam Journal of Mathematics
- Vol. 52 (2) , 325-359
Open AccessA 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=\textbf{N}_G(\langle x\rangle )\textbf{N}_G(\langle y\rangle )$$ , where we are denoting by $$\textbf{N}_G(\langle x\rangle )$$ and by $$\textbf{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=\textbf{C}_G(x)\textbf{C}_G(y)$$ .