Showing 1–31 of 31 results for author: Garonzi, M

Bounds in terms of the number of cyclic subgroups

Authors: Xiaofang Gao, Martino Garonzi

Abstract: A family of groups is called (maximal) cyclic bounded ((M)CB) if, for every natural number $n$, there are only finitely many groups in the family with at most $n$ (maximal) cyclic subgroups. We prove that the family of groups of prime power order is MCB. We also prove that the family of finite groups without cyclic coprime direct factors is CB. As a consequence, a natural number $n \geqslant 10$ i… ▽ More A family of groups is called (maximal) cyclic bounded ((M)CB) if, for every natural number $n$, there are only finitely many groups in the family with at most $n$ (maximal) cyclic subgroups. We prove that the family of groups of prime power order is MCB. We also prove that the family of finite groups without cyclic coprime direct factors is CB. As a consequence, a natural number $n \geqslant 10$ is prime if and only if there are only finitely many finite noncyclic groups with precisely $n$ cyclic subgroups. △ Less

Submitted 20 May, 2024; originally announced May 2024.

Comments: 8 pages

MSC Class: 20D10

On pyramidal groups whose number of involutions is a prime power

Authors: Xiaofang Gao, Martino Garonzi

Abstract: A Kirkman Triple System $Γ$ is called $m$-pyramidal if there exists a subgroup $G$ of the automorphism group of $Γ$ that fixes $m$ points and acts regularly on the other points. Such group $G$ admits a unique conjugacy class $C$ of involutions (elements of order $2$) and $|C|=m$. We call groups with this property $m$-pyramidal. We prove that, if $m$ is an odd prime power $p^k$, then every $m$-pyra… ▽ More A Kirkman Triple System $Γ$ is called $m$-pyramidal if there exists a subgroup $G$ of the automorphism group of $Γ$ that fixes $m$ points and acts regularly on the other points. Such group $G$ admits a unique conjugacy class $C$ of involutions (elements of order $2$) and $|C|=m$. We call groups with this property $m$-pyramidal. We prove that, if $m$ is an odd prime power $p^k$, then every $m$-pyramidal group is solvable if and only if either $m=9$ or $k$ is odd. The primitive permutation groups play an important role in the proof. We also determine the orders of the $m$-pyramidal groups when $m$ is a prime number. △ Less

Submitted 28 November, 2023; originally announced November 2023.

Comments: 19 pages

On finite groups with the Magnus Property

Authors: Martino Garonzi, Claude Marion

Abstract: We investigate finite groups with the Magnus Property, where a group is said to have the Magnus Property (MP) if whenever two elements have the same normal closure then they are conjugate or inverse conjugate. In particular we observe that a finite MP group is solvable, determine the finite primitive MP groups and determine all the possible orders of the chief factors of a finite MP group. We also… ▽ More We investigate finite groups with the Magnus Property, where a group is said to have the Magnus Property (MP) if whenever two elements have the same normal closure then they are conjugate or inverse conjugate. In particular we observe that a finite MP group is solvable, determine the finite primitive MP groups and determine all the possible orders of the chief factors of a finite MP group. We also determine the MP finite direct products of finite primitive groups, as well as the MP crown-based powers of a finite monolithic primitive group. △ Less

Submitted 30 October, 2023; originally announced October 2023.

The structure of $3$-pyramidal groups

Authors: Xiaofang Gao, Martino Garonzi

Abstract: A combinatorial block design $D$ is called $3$-pyramidal if there exists a subgroup $G$ of $\mbox{Aut}(D)$ fixing $3$ points and acting regularly on the other points. If this happens, we say that the design is $3$-pyramidal under $G$. In case $D$ is a Kirkman triple system, it is known that such a group $G$ has precisely $3$ involutions, all conjugate to each other. In this paper, we obtain a clas… ▽ More A combinatorial block design $D$ is called $3$-pyramidal if there exists a subgroup $G$ of $\mbox{Aut}(D)$ fixing $3$ points and acting regularly on the other points. If this happens, we say that the design is $3$-pyramidal under $G$. In case $D$ is a Kirkman triple system, it is known that such a group $G$ has precisely $3$ involutions, all conjugate to each other. In this paper, we obtain a classification of the groups with this property. △ Less

Submitted 27 February, 2023; v1 submitted 23 February, 2023; originally announced February 2023.

On minimal coverings and pairwise generation of some primitive groups of wreath product type

Authors: Martino Garonzi, Julia Almeida

Abstract: The covering number of a finite group $G$, denoted $σ(G)$, is the smallest positive integer $k$ such that $G$ is a union of $k$ proper subgroups. We calculate $σ(G)$ for a family of primitive groups $G$ with a unique minimal normal subgroup $N$, isomorphic to $A_n^m$ with $n$ divisible by $6$ and $G/N$ cyclic. This is a generalization of a result of E. Swartz concerning the symmetric groups. We al… ▽ More The covering number of a finite group $G$, denoted $σ(G)$, is the smallest positive integer $k$ such that $G$ is a union of $k$ proper subgroups. We calculate $σ(G)$ for a family of primitive groups $G$ with a unique minimal normal subgroup $N$, isomorphic to $A_n^m$ with $n$ divisible by $6$ and $G/N$ cyclic. This is a generalization of a result of E. Swartz concerning the symmetric groups. We also prove an asymptotic result concerning pairwise generation. △ Less

Submitted 9 January, 2023; originally announced January 2023.

On the maximal number of elements pairwise generating the finite alternating group

Authors: Francesco Fumagalli, Martino Garonzi, Pietro Gheri

Abstract: Let $G$ be the alternating group of degree $n$. Let $ω(G)$ be the maximal size of a subset $S$ of $G$ such that $\langle x,y \rangle = G$ whenever $x,y \in S$ and $x \neq y$ and let $σ(G)$ be the minimal size of a family of proper subgroups of $G$ whose union is $G$. We prove that, when $n$ varies in the family of composite numbers, $σ(G)/ω(G)$ tends to $1$ as $n \to \infty$. Moreover, we explicit… ▽ More Let $G$ be the alternating group of degree $n$. Let $ω(G)$ be the maximal size of a subset $S$ of $G$ such that $\langle x,y \rangle = G$ whenever $x,y \in S$ and $x \neq y$ and let $σ(G)$ be the minimal size of a family of proper subgroups of $G$ whose union is $G$. We prove that, when $n$ varies in the family of composite numbers, $σ(G)/ω(G)$ tends to $1$ as $n \to \infty$. Moreover, we explicitly calculate $σ(A_n)$ for $n \geq 21$ congruent to $3$ modulo $18$. △ Less

Submitted 22 June, 2022; originally announced June 2022.

On the diameter of Cayley graphs of classical groups with generating sets containing a transvection

Authors: Martino Garonzi, Zoltán Halasi, Gábor Somlai

Abstract: A well-known conjecture of Babai states that if $G$ is any finite simple group and $X$ is a generating set for $G$, then the diameter of the Cayley graph $Cay(G,X)$ is bounded by $\log|G|^c$ for some universal constant $c$. In this paper, we prove such a bound for $Cay(G,X)$ for $G=PSL(n,q),PSp(n,q)$ or $PSU(n,q)$ where $q$ is odd, under the assumptions that $X$ contains a transvection and… ▽ More A well-known conjecture of Babai states that if $G$ is any finite simple group and $X$ is a generating set for $G$, then the diameter of the Cayley graph $Cay(G,X)$ is bounded by $\log|G|^c$ for some universal constant $c$. In this paper, we prove such a bound for $Cay(G,X)$ for $G=PSL(n,q),PSp(n,q)$ or $PSU(n,q)$ where $q$ is odd, under the assumptions that $X$ contains a transvection and $q\neq 9$ or $81$. △ Less

Submitted 7 March, 2022; originally announced March 2022.

The first families of highly symmetric Kirkman Triple Systems whose orders fill a congruence class

Authors: Simona Bonvicini, Marco Buratti, Martino Garonzi, Gloria Rinaldi, Tommaso Traetta

Abstract: Kirkman triple systems (KTSs) are among the most popular combinatorial designs and their existence has been settled a long time ago. Yet, in comparison with Steiner triple systems, little is known about their automorphism groups. In particular, there is no known congruence class representing the orders of a KTS with a number of automorphisms at least close to the number of points. We fill this gap… ▽ More Kirkman triple systems (KTSs) are among the most popular combinatorial designs and their existence has been settled a long time ago. Yet, in comparison with Steiner triple systems, little is known about their automorphism groups. In particular, there is no known congruence class representing the orders of a KTS with a number of automorphisms at least close to the number of points. We fill this gap by proving that whenever $v \equiv 39$ (mod 72), or $v \equiv 4^e48 + 3$ (mod $4^e96$) and $e \geq 0$, there exists a KTS on $v$ points having at least $v-3$ automorphisms. This is only one of the consequences of a careful investigation on the KTSs with an automorphism group $G$ acting sharply transitively on all but three points. Our methods are all constructive and yield KTSs which in many cases inherit some of the automorphisms of $G$, thus increasing the total number of symmetries. To obtain these results it was necessary to introduce new types of difference families (the doubly disjoint ones) and difference matrices (the splittable ones) which we believe are interesting by themselves. △ Less

Submitted 4 December, 2020; originally announced December 2020.

Comments: 37 pages

MSC Class: 05B07; 20B25

On the maximal number of elements pairwise generating the symmetric group of even degree

Authors: Francesco Fumagalli, Martino Garonzi, Attila Maróti

Abstract: Let $G$ be the symmetric group of degree $n$. Let $ω(G)$ be the maximal size of a subset $S$ of $G$ such that $\langle x,y \rangle = G$ whenever $x,y \in S$ and $x \neq y$ and let $σ(G)$ be the minimal size of a family of proper subgroups of $G$ whose union is $G$. We prove that both functions $σ(G)$ and $ω(G)$ are asymptotically equal to $\frac{1}{2} \binom{n}{n/2}$ when $n$ is even. This, togeth… ▽ More Let $G$ be the symmetric group of degree $n$. Let $ω(G)$ be the maximal size of a subset $S$ of $G$ such that $\langle x,y \rangle = G$ whenever $x,y \in S$ and $x \neq y$ and let $σ(G)$ be the minimal size of a family of proper subgroups of $G$ whose union is $G$. We prove that both functions $σ(G)$ and $ω(G)$ are asymptotically equal to $\frac{1}{2} \binom{n}{n/2}$ when $n$ is even. This, together with a result of S. Blackburn, implies that $σ(G)/ω(G)$ tends to $1$ as $n \to \infty$. Moreover, we give a lower bound of $(1-o(1))n$ on $ω(G)$ which is independent of the classification of finite simple groups. We also calculate, for large enough $n$, the clique number of the graph defined as follows: the vertices are the elements of $G$ and two vertices $x,y$ are connected by an edge if $\langle x,y \rangle \geq A_n$. △ Less

Submitted 21 March, 2022; v1 submitted 29 November, 2020; originally announced November 2020.

MSC Class: 20B30 (primary); 20B15; 20D60; 05D40 (secondary)

Finite groups, minimal bases and the intersection number

Authors: Timothy C. Burness, Martino Garonzi, Andrea Lucchini

Abstract: Let $G$ be a finite group and recall that the Frattini subgroup ${\rm Frat}(G)$ is the intersection of all the maximal subgroups of $G$. In this paper, we investigate the intersection number of $G$, denoted $α(G)$, which is the minimal number of maximal subgroups whose intersection coincides with ${\rm Frat}(G)$. In earlier work, we studied $α(G)$ in the special case where $G$ is simple and here w… ▽ More Let $G$ be a finite group and recall that the Frattini subgroup ${\rm Frat}(G)$ is the intersection of all the maximal subgroups of $G$. In this paper, we investigate the intersection number of $G$, denoted $α(G)$, which is the minimal number of maximal subgroups whose intersection coincides with ${\rm Frat}(G)$. In earlier work, we studied $α(G)$ in the special case where $G$ is simple and here we extend the analysis to almost simple groups. In particular, we prove that $α(G) \leqslant 4$ for every almost simple group $G$, which is best possible. We also establish new results on the intersection number of arbitrary finite groups, obtaining upper bounds that are defined in terms of the chief factors of the group. Finally, for almost simple groups $G$ we present best possible bounds on a related invariant $β(G)$, which we call the base number of $G$. In this setting, $β(G)$ is the minimal base size of $G$ as we range over all faithful primitive actions of the group and we prove that the bound $β(G) \leqslant 4$ is optimal. Along the way, we study bases for the primitive action of the symmetric group $S_{ab}$ on the set of partitions of $[1,ab]$ into $a$ parts of size $b$, determining the exact base size for $a \geqslant b$. This extends earlier work of Benbenishty, Cohen and Niemeyer. △ Less

Submitted 20 November, 2021; v1 submitted 21 September, 2020; originally announced September 2020.

Comments: 29 pages, to appear in Transactions of the LMS

Alternating groups as products of four conjugacy classes

Authors: Martino Garonzi, Attila Maróti

Abstract: Let $G$ be the alternating group $\mbox{Alt}(n)$ on $n$ letters. We prove that for any $\varepsilon > 0$ there exists $N = N(\varepsilon) \in \mathbb{N}$ such that whenever $n \geq N$ and $A$, $B$, $C$, $D$ are normal subsets of $G$ each of size at least $|G|^{1/2+\varepsilon}$, then $ABCD = G$. Let $G$ be the alternating group $\mbox{Alt}(n)$ on $n$ letters. We prove that for any $\varepsilon > 0$ there exists $N = N(\varepsilon) \in \mathbb{N}$ such that whenever $n \geq N$ and $A$, $B$, $C$, $D$ are normal subsets of $G$ each of size at least $|G|^{1/2+\varepsilon}$, then $ABCD = G$. △ Less

Submitted 13 June, 2020; originally announced June 2020.

MSC Class: 20E45; 20B30

On the Primary Coverings of Finite Solvable and Symmetric Groups

Authors: Francesco Fumagalli, Martino Garonzi

Abstract: A primary covering of a finite group $G$ is a family of proper subgroups of $G$ whose union contains the set of elements of $G$ having order a prime power. We denote with $σ_0(G)$ the smallest size of a primary covering of $G$, and call it the primary covering number of $G$. We study this number and compare it with its analogous $σ(G)$, the covering number, for the classes of groups $G$ that are s… ▽ More A primary covering of a finite group $G$ is a family of proper subgroups of $G$ whose union contains the set of elements of $G$ having order a prime power. We denote with $σ_0(G)$ the smallest size of a primary covering of $G$, and call it the primary covering number of $G$. We study this number and compare it with its analogous $σ(G)$, the covering number, for the classes of groups $G$ that are solvable and symmetric. △ Less

Submitted 2 April, 2021; v1 submitted 7 January, 2020; originally announced January 2020.

On the minimal dimension of a finite simple group (with an appendix by T.C. Burness and R.M. Guralnick)

Authors: Timothy C. Burness, Martino Garonzi, Andrea Lucchini

Abstract: Let $G$ be a finite group and let $\mathcal{M}$ be a set of maximal subgroups of $G$. We say that $\mathcal{M}$ is irredundant if the intersection of the subgroups in $\mathcal{M}$ is not equal to the intersection of any proper subset. The minimal dimension of $G$, denoted ${\rm Mindim}(G)$, is the minimal size of a maximal irredundant set of maximal subgroups of $G$. This invariant was recently i… ▽ More Let $G$ be a finite group and let $\mathcal{M}$ be a set of maximal subgroups of $G$. We say that $\mathcal{M}$ is irredundant if the intersection of the subgroups in $\mathcal{M}$ is not equal to the intersection of any proper subset. The minimal dimension of $G$, denoted ${\rm Mindim}(G)$, is the minimal size of a maximal irredundant set of maximal subgroups of $G$. This invariant was recently introduced by Garonzi and Lucchini and they computed the minimal dimension of the alternating groups. In this paper, we prove that ${\rm Mindim}(G) \leqslant 3$ for all finite simple groups, which is best possible, and we compute the exact value for all non-classical simple groups. We also introduce and study two closely related invariants denoted by $α(G)$ and $β(G)$. Here $α(G)$ (respectively $β(G)$) is the minimal size of a set of maximal subgroups (respectively, conjugate maximal subgroups) of $G$ whose intersection coincides with the Frattini subgroup of $G.$ Evidently, ${\rm Mindim}(G) \leqslant α(G) \leqslant β(G)$. For a simple group $G$ we show that $β(G) \leqslant 4$ and $β(G) - α(G) \leqslant 1$, and both upper bounds are best possible. △ Less

Submitted 8 November, 2019; v1 submitted 22 March, 2019; originally announced March 2019.

Comments: 24 pages; to appear in J. Combin. Theory Ser. A

Group partitions of minimal size

Authors: Martino Garonzi, Michell Lucena Dias

Abstract: A cover of a finite group $G$ is a family of proper subgroups of $G$ whose union is $G$, and a cover is called minimal if it is a cover of minimal cardinality. A partition of $G$ is a cover such that the intersection of any two of its members is $\{1\}$. In this paper we determine all finite groups that admit a minimal cover that is also a partition. We prove that this happens if and only if $G$ i… ▽ More A cover of a finite group $G$ is a family of proper subgroups of $G$ whose union is $G$, and a cover is called minimal if it is a cover of minimal cardinality. A partition of $G$ is a cover such that the intersection of any two of its members is $\{1\}$. In this paper we determine all finite groups that admit a minimal cover that is also a partition. We prove that this happens if and only if $G$ is isomorphic to $C_p \times C_p$ for some prime $p$ or to a Frobenius group with Frobenius kernel being an abelian minimal normal subgroup and Frobenius complement cyclic. △ Less

Submitted 9 April, 2019; v1 submitted 7 November, 2018; originally announced November 2018.

Maximal irredundant families of minimal size in the alternating group

Authors: Martino Garonzi, Andrea Lucchini

Abstract: Let $G$ be a finite group. A family $\mathcal{M}$ of maximal subgroups of $G$ is called `irredundant' if its intersection is not equal to the intersection of any proper subfamily. $\mathcal{M}$ is called `maximal irredundant' if $\mathcal{M}$ is irredundant and it is not properly contained in any other irredundant family. We denote by $\mbox{Mindim}(G)$ the minimal size of a maximal irredundant fa… ▽ More Let $G$ be a finite group. A family $\mathcal{M}$ of maximal subgroups of $G$ is called `irredundant' if its intersection is not equal to the intersection of any proper subfamily. $\mathcal{M}$ is called `maximal irredundant' if $\mathcal{M}$ is irredundant and it is not properly contained in any other irredundant family. We denote by $\mbox{Mindim}(G)$ the minimal size of a maximal irredundant family of $G$. In this paper we compute $\mbox{Mindim}(G)$ when $G$ is the alternating group on $n$ letters. △ Less

Submitted 9 April, 2019; v1 submitted 13 August, 2018; originally announced August 2018.

On integers that are covering numbers of groups

Authors: Martino Garonzi, Luise-Charlotte Kappe, Eric Swartz

Abstract: The covering number of a group $G$, denoted by $σ(G)$, is the size of a minimal collection of proper subgroups of $G$ whose union is $G$. We investigate which integers are covering numbers of groups. We determine which integers $129$ or smaller are covering numbers, and we determine precisely or bound the covering number of every primitive monolithic group with a degree of primitivity at most… ▽ More The covering number of a group $G$, denoted by $σ(G)$, is the size of a minimal collection of proper subgroups of $G$ whose union is $G$. We investigate which integers are covering numbers of groups. We determine which integers $129$ or smaller are covering numbers, and we determine precisely or bound the covering number of every primitive monolithic group with a degree of primitivity at most $129$ by introducing effective new computational techniques. Furthermore, we prove that, if $\mathscr{F}_1$ is the family of finite groups $G$ such that all proper quotients of $G$ are solvable, then $\mathbb{N}-\{σ(G):G\in \mathscr{F}_1\}$ is infinite, which provides further evidence that infinitely many integers are not covering numbers. Finally, we prove that every integer of the form $(q^m-1)/(q-1)$, where $m\neq3$ and $q$ is a prime power, is a covering number, generalizing a result of Cohn. △ Less

Submitted 28 November, 2018; v1 submitted 23 May, 2018; originally announced May 2018.

On the number of cyclic subgroups of a finite group

Authors: Igor Lima, Martino Garonzi

Abstract: Let $G$ be a finite group and let $c(G)$ be the number of cyclic subgroups of $G$. We study the function $α(G) = c(G)/|G|$. We explore its basic properties and we point out a connection with the probability of commutation. For many families $\mathscr{F}$ of groups we characterize the groups $G \in \mathscr{F}$ for which $α(G)$ is maximal and we classify the groups $G$ for which $α(G) > 3/4$. We al… ▽ More Let $G$ be a finite group and let $c(G)$ be the number of cyclic subgroups of $G$. We study the function $α(G) = c(G)/|G|$. We explore its basic properties and we point out a connection with the probability of commutation. For many families $\mathscr{F}$ of groups we characterize the groups $G \in \mathscr{F}$ for which $α(G)$ is maximal and we classify the groups $G$ for which $α(G) > 3/4$. We also study the number of cyclic subgroups of a direct power of a given group deducing an asymptotic result and we characterize the equality $α(G) = α(G/N)$ when $G/N$ is a symmetric group. △ Less

Submitted 21 February, 2018; v1 submitted 23 July, 2017; originally announced July 2017.

Finite Groups with 6 or 7 Automorphism Orbits

Authors: Alex Carrazedo Dantas, Martino Garonzi, Raimundo Bastos

Abstract: Let $G$ be a group. The orbits of the natural action of $\mbox{Aut}(G)$ on $G$ are called "automorphism orbits" of $G$, and the number of automorphism orbits of $G$ is denoted by $ω(G)$. In this paper the finite nonsolvable groups $G$ with $ω(G) \leq 6$ are classified - this solves a problem posed by Markus Stroppel - and it is proved that there are infinitely many finite nonsolvable groups $G$ wi… ▽ More Let $G$ be a group. The orbits of the natural action of $\mbox{Aut}(G)$ on $G$ are called "automorphism orbits" of $G$, and the number of automorphism orbits of $G$ is denoted by $ω(G)$. In this paper the finite nonsolvable groups $G$ with $ω(G) \leq 6$ are classified - this solves a problem posed by Markus Stroppel - and it is proved that there are infinitely many finite nonsolvable groups $G$ with $ω(G)=7$. Moreover it is proved that for a given number $n$ there are only finitely many finite groups $G$ without nontrivial abelian normal subgroups and such that $ω(G) \leq n$, generalizing a result of Kohl. △ Less

Submitted 19 January, 2017; v1 submitted 23 December, 2015; originally announced December 2015.

Journal ref: Journal of Group Theory, September 2017, Volume 20, Issue 5, Pages 945--954

Primitive permutation groups as products of point stabilizers

Authors: Martino Garonzi, Dan Levy, Attila Maróti, Iulian I. Simion

Abstract: We prove that there exists a universal constant $c$ such that any finite primitive permutation group of degree $n$ with a non-trivial point stabilizer is a product of no more than $c\log n$ point stabilizers. We prove that there exists a universal constant $c$ such that any finite primitive permutation group of degree $n$ with a non-trivial point stabilizer is a product of no more than $c\log n$ point stabilizers. △ Less

Submitted 23 August, 2015; originally announced August 2015.

Inequalities detecting structural properties of a finite group

Authors: Martino Garonzi, Massimiliano Patassini

Abstract: We prove several results detecting ciclicity or nilpotency of a finite group $G$ in terms of inequalities involving the orders of the elements of $G$ and the orders of the elements of the cyclic group of order $|G|$. We prove that, among the groups of the same order, the number of cyclic subgroups is minimal for the cyclic group and the product of the orders of the elements is maximal for the cycl… ▽ More We prove several results detecting ciclicity or nilpotency of a finite group $G$ in terms of inequalities involving the orders of the elements of $G$ and the orders of the elements of the cyclic group of order $|G|$. We prove that, among the groups of the same order, the number of cyclic subgroups is minimal for the cyclic group and the product of the orders of the elements is maximal for the cyclic group. △ Less

Submitted 26 December, 2015; v1 submitted 1 March, 2015; originally announced March 2015.

Factorizations of finite groups by conjugate subgroups which are solvable or nilpotent

Authors: Martino Garonzi, Dan Levy, Attila Maróti, Iulian I. Simion

Abstract: We consider factorizations of a finite group $G$ into conjugate subgroups, $G=A^{x_{1}}\cdots A^{x_{k}}$ for $A\leq G$ and $x_{1},\ldots ,x_{k}\in G$, where $A$ is nilpotent or solvable. First we exploit the split $BN$-pair structure of finite simple groups of Lie type to give a unified self-contained proof that every such group is a product of four or three unipotent Sylow subgroups. Then we deri… ▽ More We consider factorizations of a finite group $G$ into conjugate subgroups, $G=A^{x_{1}}\cdots A^{x_{k}}$ for $A\leq G$ and $x_{1},\ldots ,x_{k}\in G$, where $A$ is nilpotent or solvable. First we exploit the split $BN$-pair structure of finite simple groups of Lie type to give a unified self-contained proof that every such group is a product of four or three unipotent Sylow subgroups. Then we derive an upper bound on the minimal length of a solvable conjugate factorization of a general finite group. Finally, using conjugate factorizations of a general finite solvable group by any of its Carter subgroups, we obtain an upper bound on the minimal length of a nilpotent conjugate factorization of a general finite group. △ Less

Submitted 6 March, 2015; v1 submitted 22 January, 2015; originally announced January 2015.

Groups equal to a product of three conjugate subgroups

Authors: John Cannon, Martino Garonzi, Dan Levy, Attila Maróti, Iulian I. Simion

Abstract: Let $G$ be a finite non-solvable group. We prove that there exists a proper subgroup $A$ of $G$ such that $G$ is the product of three conjugates of $A$, thus replacing an earlier upper bound of $36$ with the smallest possible value. The proof relies on an equivalent formulation in terms of double cosets, and uses the following theorem which is of independent interest and wider scope: Any group… ▽ More Let $G$ be a finite non-solvable group. We prove that there exists a proper subgroup $A$ of $G$ such that $G$ is the product of three conjugates of $A$, thus replacing an earlier upper bound of $36$ with the smallest possible value. The proof relies on an equivalent formulation in terms of double cosets, and uses the following theorem which is of independent interest and wider scope: Any group $G$ with a $BN$-pair and a finite Weyl group $W$ satisfies $G=\left( Bn_{0}B\right) ^{2}=BB^{n_{0}}B$ where $n_{0}$ is any preimage of the longest element of $W$. The proof of the last theorem is formulated in the dioid consisting of all unions of double cosets of $B$ in $G$. Other results on minimal length product covers of a group by conjugates of a proper subgroup are given. △ Less

Submitted 22 January, 2015; originally announced January 2015.

Irredundant and minimal covers of finite groups

Authors: Andrea Lucchini, Martino Garonzi

Abstract: 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. 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. △ Less

Submitted 19 December, 2014; originally announced December 2014.

Factorizing a Finite Group into Conjugates of a Subgroup

Authors: Dan Levy, Martino Garonzi

Abstract: For every non-nilpotent finite group $G$, there exists at least one proper subgroup $M$ such that $G$ is the setwise product of a finite number of conjugates of $M$. We define $γ_{\text{cp}}\left( G\right) $ to be the smallest number $k$ such that $G$ is a product, in some order, of $k$ pairwise conjugated proper subgroups of $G$. We prove that if $G$ is non-solvable then… ▽ More For every non-nilpotent finite group $G$, there exists at least one proper subgroup $M$ such that $G$ is the setwise product of a finite number of conjugates of $M$. We define $γ_{\text{cp}}\left( G\right) $ to be the smallest number $k$ such that $G$ is a product, in some order, of $k$ pairwise conjugated proper subgroups of $G$. We prove that if $G$ is non-solvable then $γ_{\text{cp}}\left( G\right) \leq36$ while if $G$ is solvable then $γ_{\text{cp}}\left( G\right) $ can attain any integer value bigger than $2$, while, on the other hand, $γ_{\text{cp}}\left( G\right) \leq4\log_{2}\left\vert G\right\vert $. △ Less

Submitted 22 July, 2014; originally announced July 2014.

Comments: 14 pages

On the number of conjugacy classes of a permutation group

Authors: Attila Maróti, Martino Garonzi

Abstract: We prove that any permutation group of degree $n \geq 4$ has at most $5^{(n-1)/3}$ conjugacy classes. We prove that any permutation group of degree $n \geq 4$ has at most $5^{(n-1)/3}$ conjugacy classes. △ Less

Submitted 22 July, 2014; originally announced July 2014.

Comments: 9 pages

Covers and Normal Covers of Finite Groups

Authors: Andrea Lucchini, Martino Garonzi

Abstract: 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… ▽ More 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.$ △ Less

Submitted 7 October, 2013; originally announced October 2013.

Covering monolithic groups with proper subgroups

Authors: Martino Garonzi

Abstract: Given a finite non-cyclic group $G$, call $σ(G)$ the smallest number of proper subgroups of $G$ needed to cover $G$. Lucchini and Detomi conjectured that if a nonabelian group $G$ is such that $σ(G) < σ(G/N)$ for every non-trivial normal subgroup $N$ of $G$ then $G$ is \textit{monolithic}, meaning that it admits a unique minimal normal subgroup. In this paper we show how this conjecture can be att… ▽ More Given a finite non-cyclic group $G$, call $σ(G)$ the smallest number of proper subgroups of $G$ needed to cover $G$. Lucchini and Detomi conjectured that if a nonabelian group $G$ is such that $σ(G) < σ(G/N)$ for every non-trivial normal subgroup $N$ of $G$ then $G$ is \textit{monolithic}, meaning that it admits a unique minimal normal subgroup. In this paper we show how this conjecture can be attacked by the direct study of monolithic groups. △ Less

Submitted 4 January, 2013; originally announced January 2013.

Comments: I wrote this paper for the Proceedings of the conference "Ischia Group Theory 2012" (March, 26th - 29th 2012)

Direct products of finite groups as unions of proper subgroups

Authors: Andrea Lucchini, Martino Garonzi

Abstract: 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. 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. △ Less

Submitted 22 November, 2012; originally announced November 2012.

Journal ref: Arch. Math. (Basel) 95 (2010), no. 3, 201-206

Covering certain monolithic groups with proper subgroups

Authors: Martino Garonzi

Abstract: Given a finite non-cyclic group $G$, call $σ(G)$ the least number of proper subgroups of $G$ needed to cover $G$. In this paper we give lower and upper bounds for $σ(G)$ for $G$ a group with a unique minimal normal subgroup $N$ isomorphic to $A_n^m$ where $n \geq 5$ and $G/N$ is cyclic. We also show that $σ(A_5 \wr C_2)=57$. Given a finite non-cyclic group $G$, call $σ(G)$ the least number of proper subgroups of $G$ needed to cover $G$. In this paper we give lower and upper bounds for $σ(G)$ for $G$ a group with a unique minimal normal subgroup $N$ isomorphic to $A_n^m$ where $n \geq 5$ and $G/N$ is cyclic. We also show that $σ(A_5 \wr C_2)=57$. △ Less

Submitted 22 November, 2012; originally announced November 2012.

Comments: Communications in Algebra (2012)

Covering certain Wreath Products with Proper Subgroups

Authors: Martino Garonzi, Attila Maroti

Abstract: For a non-cyclic finite group $X$ let $σ(X)$ be the least number of proper subgroups of $X$ whose union is $X$. Precise formulas or estimates are given for $σ(S \wr C_{m})$ for certain nonabelian finite simple groups $S$ where $C_m$ is a cyclic group of order $m$. For a non-cyclic finite group $X$ let $σ(X)$ be the least number of proper subgroups of $X$ whose union is $X$. Precise formulas or estimates are given for $σ(S \wr C_{m})$ for certain nonabelian finite simple groups $S$ where $C_m$ is a cyclic group of order $m$. △ Less

Submitted 22 November, 2012; originally announced November 2012.

Journal ref: J. Group Theory 14 (2011), no. 1, 103-125

Finite Groups that are the union of at most 25 proper subgroups

Authors: Martino Garonzi

Abstract: For a finite group $G$ let $σ(G)$ (the "sum" of $G$) be the least number of proper subgroups of $G$ whose set-theoretical union is equal to $G$, and $σ(G)=\infty$ if $G$ is cyclic. We say that a group $G$ is $σ$-elementary if for every non-trivial normal subgroup $N$ of $G$ we have $σ(G)<σ(G/N)$. In this paper we produce the list of all the $σ$-elementary groups of sum up to 25. We also show that… ▽ More For a finite group $G$ let $σ(G)$ (the "sum" of $G$) be the least number of proper subgroups of $G$ whose set-theoretical union is equal to $G$, and $σ(G)=\infty$ if $G$ is cyclic. We say that a group $G$ is $σ$-elementary if for every non-trivial normal subgroup $N$ of $G$ we have $σ(G)<σ(G/N)$. In this paper we produce the list of all the $σ$-elementary groups of sum up to 25. We also show that $σ(\Aut(PSL(2,8)))=29$. △ Less

Submitted 26 December, 2011; originally announced December 2011.