Showing 1–13 of 13 results for author: Fumagalli, F

On the Gowers trick for classical simple groups

Authors: Francesco Fumagalli, Attila Maróti

Abstract: If $A$, $B$, $C$ are subsets in a finite simple group of Lie type $G$ at least two of which are normal with $|A||B||C|$ relatively large, then we establish a stronger conclusion than $ABC = G$. This is related to a theorem of Gowers and is a generalization of a theorem of Larsen, Shalev, Tiep and the second author and Pyber. If $A$, $B$, $C$ are subsets in a finite simple group of Lie type $G$ at least two of which are normal with $|A||B||C|$ relatively large, then we establish a stronger conclusion than $ABC = G$. This is related to a theorem of Gowers and is a generalization of a theorem of Larsen, Shalev, Tiep and the second author and Pyber. △ Less

Submitted 7 April, 2024; originally announced April 2024.

Comments: 13 pages

MSC Class: 20D06; 20D40; 20G05

On some questions related to integrable groups

Authors: Russell Blyth, Francesco Fumagalli, Francesco Matucci

Abstract: A group $G$ is integrable if it is isomorphic to the derived subgroup of a group $H$; that is, if $H'\simeq G$, and in this case $H$ is an integral of $G$. If $G$ is a subgroup of $U$, we say that $G$ is integrable within $U$ if $G=H'$ for some $H\leq U$. In this work we focus on two problems posed in [1]. We classify the almost-simple finite groups $G$ that are integrable, which we show to be equ… ▽ More A group $G$ is integrable if it is isomorphic to the derived subgroup of a group $H$; that is, if $H'\simeq G$, and in this case $H$ is an integral of $G$. If $G$ is a subgroup of $U$, we say that $G$ is integrable within $U$ if $G=H'$ for some $H\leq U$. In this work we focus on two problems posed in [1]. We classify the almost-simple finite groups $G$ that are integrable, which we show to be equivalent to those integrable within $\mathrm{Aut}(S)$, where $S$ is the socle of $G$. We then classify all $2$-homogeneous subgroups of the finite symmetric group $S_n$ that are integrable within $S_n$. △ Less

Submitted 7 July, 2022; originally announced July 2022.

Comments: 12 pages, no figures

MSC Class: 20D99; 20F14; 20D06; 20E28; 20G40; 20G41

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.

The Fitting height is bounded by a function of the exponent

Authors: Francesco Fumagalli, Felix Leinen, Orazio Puglisi

Abstract: Every finite solvable group $G$ has a normal series with nilpotent factors. The smallest possible number of factors in such a series is called the Fitting height $h(G)$. In the present paper, we derive an upper bound for $h(G)$ in terms of the exponent of $G$. Our bound constitutes a considerable improvement of an earlier bound obtained by Shalev. Every finite solvable group $G$ has a normal series with nilpotent factors. The smallest possible number of factors in such a series is called the Fitting height $h(G)$. In the present paper, we derive an upper bound for $h(G)$ in terms of the exponent of $G$. Our bound constitutes a considerable improvement of an earlier bound obtained by Shalev. △ Less

Submitted 14 November, 2021; v1 submitted 17 October, 2021; originally announced October 2021.

MSC Class: 20D10; 20D25; 20D30

An upper bound for the nonsolvable length of a finite group in terms of its shortest law

Authors: Francesco Fumagalli, Felix Leinen, Orazio Puglisi

Abstract: Every finite group $G$ has a normal series each of whose factors is either a solvable group or a direct product of non-abelian simple groups. The minimum number of nonsolvable factors, attained on all possible such series in $G$, is called the \emph{nonsolvable length} $λ(G)$ of $G$. In the present paper, we prove a theorem about permutation representations of groups of fixed nonsolvable length. A… ▽ More Every finite group $G$ has a normal series each of whose factors is either a solvable group or a direct product of non-abelian simple groups. The minimum number of nonsolvable factors, attained on all possible such series in $G$, is called the \emph{nonsolvable length} $λ(G)$ of $G$. In the present paper, we prove a theorem about permutation representations of groups of fixed nonsolvable length. As a consequence, we show that in a finite group of nonsolvable length at least $n$, no non-trivial word of length at most $n$ (in any number of variables) can be a law. This result is then used to give a bound on $λ(G)$ in terms of the length of the shortest law of $G$, thus confirming a conjecture of Larsen. Moreover our Theorem C can be used to give a positive answer, in the case $p=2$, to a problem raised by Khukhro and Shumyatsky, concerning the non-$p$-solvable length of finite groups. △ Less

Submitted 12 July, 2022; v1 submitted 22 January, 2021; originally announced January 2021.

Comments: Some changes have been made according the the referee's suggestions. To appear in Proceedings of The London Mathematical Society

MSC Class: 20F22; 20B05; 20D99

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)

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 holomorph of finite semisimple groups

Authors: Russell Blyth, Francesco Fumagalli

Abstract: Given a finite nonabelian semisimple group $G$, we describe those groups that have the same holomorph as $G$, that is, those regular subgroups $N\simeq G$ of $S(G)$, the group of permutations on the set $G$, such that $N_{S(G)}(N)=N_{S(G)}(ρ(G))$, where $ρ$ is the right regular representation of $G$. Given a finite nonabelian semisimple group $G$, we describe those groups that have the same holomorph as $G$, that is, those regular subgroups $N\simeq G$ of $S(G)$, the group of permutations on the set $G$, such that $N_{S(G)}(N)=N_{S(G)}(ρ(G))$, where $ρ$ is the right regular representation of $G$. △ Less

Submitted 16 December, 2019; originally announced December 2019.

A reduction theorem for nonsolvable finite groups

Authors: Francesco Fumagalli, Felix Leinen, Orazio Puglisi

Abstract: Every finite group $G$ has a normal series each of whose factors is either a solvable group or a direct product of nonabelian simple groups. The minimum number of nonsolvable factors attained on all possible such series is called the nonsolvable length of the group and denoted by $λ(G)$. For every integer $n$, we define a particular class of groups of nonsolvable length $n$, called \emph{$n$-raref… ▽ More Every finite group $G$ has a normal series each of whose factors is either a solvable group or a direct product of nonabelian simple groups. The minimum number of nonsolvable factors attained on all possible such series is called the nonsolvable length of the group and denoted by $λ(G)$. For every integer $n$, we define a particular class of groups of nonsolvable length $n$, called \emph{$n$-rarefied}, and we show that every finite group of nonsolvable length $n$ contains an $n$-rarefied subgroup. As applications of this result, we improve the known upper bounds on $λ(G)$ and determine the maximum possible nonsolvable length for permutation groups and linear groups of fixed degree resp. dimension. △ Less

Submitted 15 May, 2018; originally announced May 2018.

A generalisation of a theorem of Wielandt

Authors: Francesco Fumagalli, Gunter Malle

Abstract: In 1974, Helmut Wielandt proved that in a finite group $G$, a subgroup $A$ is subnormal if and only if it is subnormal in every $\seq{A,g}$ for all $g\in G$. In this paper, we prove that the subnormality of an odd order nilpotent subgroup $A$ of $G$ is already guaranteed by a seemingly weaker condition: $A$ is subnormal in $G$ if for every conjugacy class $C$ of $G$ there exists $c\in C$ for which… ▽ More In 1974, Helmut Wielandt proved that in a finite group $G$, a subgroup $A$ is subnormal if and only if it is subnormal in every $\seq{A,g}$ for all $g\in G$. In this paper, we prove that the subnormality of an odd order nilpotent subgroup $A$ of $G$ is already guaranteed by a seemingly weaker condition: $A$ is subnormal in $G$ if for every conjugacy class $C$ of $G$ there exists $c\in C$ for which $A$ is subnormal in $\seq{A,c}$. We also prove the following property of finite non-abelian simple groups: if $A$ is a subgroup of odd prime order $p$ in a finite almost simple group $G$, then there exists a cyclic $p'$-subgroup of $F^*(G)$ which does not normalise any non-trivial $p$-subgroup of $G$ that is generated by conjugates of~$A$. △ Less

Submitted 16 August, 2016; originally announced August 2016.

MSC Class: Primary 20B05; 20D35; Secondary 20D05

The solvability of groups with nilpotent minimal coverings

Authors: Russell D. Blyth, Francesco Fumagalli, Marta Morigi

Abstract: A covering of a group is a finite set of proper subgroups whose union is the whole group. A covering is minimal if there is no covering of smaller cardinality, and it is nilpotent if all its members are nilpotent subgroups. We complete a proof that every group that has a nilpotent minimal covering is solvable, starting from the previously known result that a minimal counterexample is an almost sim… ▽ More A covering of a group is a finite set of proper subgroups whose union is the whole group. A covering is minimal if there is no covering of smaller cardinality, and it is nilpotent if all its members are nilpotent subgroups. We complete a proof that every group that has a nilpotent minimal covering is solvable, starting from the previously known result that a minimal counterexample is an almost simple finite group. △ Less

Submitted 26 September, 2014; originally announced September 2014.

MSC Class: 20D99; 20E32; 20D15

Truncated Quillen coplexes of p-groups

Authors: Francesco Fumagalli, John Shareshian

Abstract: Let p be an odd prime and let P be a p-group. We examine the order complex of the poset of elementary abelian subgroups of P having order at least p^2. S. Bouc and J. Thévenaz showed that this complex has the homotopy type of a wedge of spheres. We show that, for each nonnegative integer l, the number of spheres of dimension l in this wedge is controlled by the number of extraspecial subgroups X o… ▽ More Let p be an odd prime and let P be a p-group. We examine the order complex of the poset of elementary abelian subgroups of P having order at least p^2. S. Bouc and J. Thévenaz showed that this complex has the homotopy type of a wedge of spheres. We show that, for each nonnegative integer l, the number of spheres of dimension l in this wedge is controlled by the number of extraspecial subgroups X of P having order p^{2l+3} and satisfying Omega_1(C_P(X))=Z(X). We go on to provide a negative answer to a question raised by Bouc and Thévenaz concerning restrictions on the homology groups of the given complex. △ Less

Submitted 29 January, 2014; originally announced January 2014.

MSC Class: 20 E15; 05E45

Some structural results on the non-abelian tensor square of groups

Authors: Russell D. Blyth, Francesco Fumagalli, Marta Morigi

Abstract: We study the non-abelian tensor square $G\otimes G$ for the class of groups G that are finitely generated modulo their derived subgroup. In particular, we find conditions on G/G' so that $G\otimes G$ is isomorphic to the direct product of $\nabla(G)$ and the non-abelian exterior square $G\wedge G$. For any group G, we characterize the non-abelian exterior square $G\wedge G$ in terms of a present… ▽ More We study the non-abelian tensor square $G\otimes G$ for the class of groups G that are finitely generated modulo their derived subgroup. In particular, we find conditions on G/G' so that $G\otimes G$ is isomorphic to the direct product of $\nabla(G)$ and the non-abelian exterior square $G\wedge G$. For any group G, we characterize the non-abelian exterior square $G\wedge G$ in terms of a presentation of G. Finally, we apply our results to some classes of groups, such as the classes of free soluble and free nilpotent groups of finite rank, and some classes of finite p-groups. △ Less

Submitted 25 October, 2008; originally announced October 2008.

MSC Class: 20F05; 20F14; 20F99; 20J99