Showing 1–39 of 39 results for author: Maróti, A

More on Landau's theorem and Conjugacy Classes

Authors: Burcu Çınarcı, Thomas Michael Keller, Attila Maróti, Iulian I. Simion

Abstract: Let $p$ be a prime. We construct a function $f$ on the natural numbers such that $f(x) \to \infty$ as $x \to \infty$ and $k_{p}(G)+k_{p'}(G)\geq f(|G|)$ for all finite groups $G$. Here $k_{p}(G)$ denotes the number of conjugacy classes of nontrivial $p$-elements in $G$ and $k_{p'}(G)$ denotes the number of conjugacy classes of elements of $G$ whose orders are coprime to $p$. This is a variation of… ▽ More Let $p$ be a prime. We construct a function $f$ on the natural numbers such that $f(x) \to \infty$ as $x \to \infty$ and $k_{p}(G)+k_{p'}(G)\geq f(|G|)$ for all finite groups $G$. Here $k_{p}(G)$ denotes the number of conjugacy classes of nontrivial $p$-elements in $G$ and $k_{p'}(G)$ denotes the number of conjugacy classes of elements of $G$ whose orders are coprime to $p$. This is a variation of an old theorem of Landau and is used to prove the following: There exists a number $c$ such that whenever $p$ is a prime and $G$ is a finite group of order divisible by $p$ with $|G|>c$, there exists a factorization $p-1 = ab$ with $a$ and $b$ positive integers such that $k_{p}(G) \geq a$ and $k_{p'}(G) \geq b$ with equalities in both cases if and only if $G=C_p \rtimes C_b$ with $C_G(C_p) = C_p$. △ Less

Submitted 17 June, 2024; originally announced June 2024.

Comments: 13 pages

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

Growth of products of subsets in finite simple groups

Authors: Daniele Dona, Attila Maróti, László Pyber

Abstract: We prove that the product of a subset and a normal subset inside any finite simple non-abelian group $G$ grows rapidly. More precisely, if $A$ and $B$ are two subsets with $B$ normal and neither of them is too large inside $G$, then $|AB| \geq |A||B|^{1-ε}$ where $ε>0$ can be taken arbitrarily small. This is a somewhat surprising strengthening of a theorem of Liebeck, Schul, Shalev. We prove that the product of a subset and a normal subset inside any finite simple non-abelian group $G$ grows rapidly. More precisely, if $A$ and $B$ are two subsets with $B$ normal and neither of them is too large inside $G$, then $|AB| \geq |A||B|^{1-ε}$ where $ε>0$ can be taken arbitrarily small. This is a somewhat surprising strengthening of a theorem of Liebeck, Schul, Shalev. △ Less

Submitted 22 January, 2024; originally announced January 2024.

Comments: 7 pages

MSC Class: 20D06; 20F69

On almost $p$-rational characters in principal blocks

Authors: Attila Maróti, J. Miquel Martínez, A. A. Schaeffer Fry, Carolina Vallejo

Abstract: Let p be a prime. In this paper we provide a lower bound for the number of almost p-rational characters of degree coprime to p in the principal p-block of a finite group of order divisible by p. We further describe the p-local structure of the groups for which the above-mentioned bound is sharp. Let p be a prime. In this paper we provide a lower bound for the number of almost p-rational characters of degree coprime to p in the principal p-block of a finite group of order divisible by p. We further describe the p-local structure of the groups for which the above-mentioned bound is sharp. △ Less

Submitted 17 January, 2024; originally announced January 2024.

MSC Class: 20C15; 20C20

On the orders of composition factors in completely reducible groups

Authors: Attila Maróti, Saveliy V. Skresanov

Abstract: We obtain an asymptotic upper bound for the product of the $p$-parts of the orders of certain composition factors of a finite group acting completely reducibly and faithfully on a finite vector space of order divisible by a prime $p$. An application is given for the diameter of a nondiagonal orbital graph of an affine primitive permutation group. We obtain an asymptotic upper bound for the product of the $p$-parts of the orders of certain composition factors of a finite group acting completely reducibly and faithfully on a finite vector space of order divisible by a prime $p$. An application is given for the diameter of a nondiagonal orbital graph of an affine primitive permutation group. △ Less

Submitted 2 June, 2023; originally announced June 2023.

Comments: 12 pages

MSC Class: 20C33 (Primary) 20E34 (Secondary)

Conjugacy classes of $π$-elements and nilpotent/abelian Hall $π$-subgroups

Authors: N. N. Hung, A. Maróti, J. Martínez

Abstract: Let $G$ be a finite group and $π$ be a set of primes. We study finite groups with a large number of conjugacy classes of $π$-elements. In particular, we obtain precise lower bounds for this number in terms of the $π$-part of the order of $G$ to ensure the existence of a nilpotent or abelian Hall $π$-subgroup in $G$. Let $G$ be a finite group and $π$ be a set of primes. We study finite groups with a large number of conjugacy classes of $π$-elements. In particular, we obtain precise lower bounds for this number in terms of the $π$-part of the order of $G$ to ensure the existence of a nilpotent or abelian Hall $π$-subgroup in $G$. △ Less

Submitted 15 October, 2022; v1 submitted 11 July, 2022; originally announced July 2022.

Comments: 18 pages

MSC Class: 20E45 (Primary) 20D10; 20D20 (Secondary)

Journal ref: Pacific J. Math. 323 (2023) 185-204

Bounds for the diameters of orbital graphs of affine groups

Authors: Attila Maróti, Saveliy V. Skresanov

Abstract: General bounds are presented for the diameters of orbital graphs of finite affine primitive permutation groups. For example, it is proved that the orbital diameter of a finite affine primitive permutation group with a nontrivial point stabilizer $ H \leq \mathrm{GL}(V) $, where the vector space $ V $ has dimension $ d $ over the prime field, can be bounded in terms of $ d $ and… ▽ More General bounds are presented for the diameters of orbital graphs of finite affine primitive permutation groups. For example, it is proved that the orbital diameter of a finite affine primitive permutation group with a nontrivial point stabilizer $ H \leq \mathrm{GL}(V) $, where the vector space $ V $ has dimension $ d $ over the prime field, can be bounded in terms of $ d $ and $ \log |V| / \log |H| $ only. Several infinite families of affine primitive permutation groups with large orbital diameter are constructed. The results are independent from the classification of finite simple groups. △ Less

Submitted 7 May, 2022; originally announced May 2022.

Comments: 15 pages

MSC Class: 20B15; 20F69

On partial augmentations of elements in integral group rings

Authors: Victor Bovdi, Attila Maroti

Abstract: Inner relations are derived between partial augmentations of certain elements (units or idempotents) in group rings. Inner relations are derived between partial augmentations of certain elements (units or idempotents) in group rings. △ Less

Submitted 16 August, 2021; originally announced August 2021.

Comments: 6 pages

On almost $p$-rational characters of $p'$-degree

Authors: Nguyen Ngoc Hung, Gunter Malle, Attila Maróti

Abstract: Let $p$ be a prime and $G$ a finite group. A complex character of $G$ is called almost $p$-rational if its values belong to a cyclotomic field $\mathbb{Q}(e^{2πi/n})$ for some $n\in \mathbb{Z}^+$ prime to $p$ or precisely divisible by $p$. We prove that, in contrast to usual $p$-rational characters, there are always "many" almost $p$-rational irreducible characters in finite groups. We obtain both… ▽ More Let $p$ be a prime and $G$ a finite group. A complex character of $G$ is called almost $p$-rational if its values belong to a cyclotomic field $\mathbb{Q}(e^{2πi/n})$ for some $n\in \mathbb{Z}^+$ prime to $p$ or precisely divisible by $p$. We prove that, in contrast to usual $p$-rational characters, there are always "many" almost $p$-rational irreducible characters in finite groups. We obtain both explicit and asymptotic bounds for the number of almost $p$-rational irreducible characters of $G$ in terms of $p$. In fact, motivated by the McKay-Navarro conjecture, we obtain the same bound for the number of such characters of $p'$-degree and prove that, in the minimal situation, the number of almost $p$-rational irreducible $p'$-characters of $G$ coincides with that of $N_G(P)$ for $P\in\mathrm{Syl}_p(G)$. Lastly, we propose a new way to detect the cyclicity of Sylow $p$-subgroups of a finite group $G$ from its character table, using almost $p$-rational irreducible $p'$-characters and the blockwise refinement of the McKay-Navarro conjecture. △ Less

Submitted 7 April, 2021; originally announced April 2021.

Comments: 36 pages

MSC Class: Primary 20C15; 20E45; 20D20; Secondary 20D05; 20D10

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)

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

p-Regular conjugacy classes and p-rational irreducible characters

Authors: Nguyen Ngoc Hung, Attila Maroti

Abstract: Let $G$ be a finite group of order divisible by a prime $p$. The number of $p$-regular and $p'$-regular conjugacy classes of $G$ is at least $2\sqrt{p-1}$. Also, the number of $p$-rational and $p'$-rational irreducible characters of $G$ is at least $2\sqrt{p-1}$. Along the way we prove a uniform lower bound for the number of $p$-regular classes in a finite simple group of Lie type in terms of its… ▽ More Let $G$ be a finite group of order divisible by a prime $p$. The number of $p$-regular and $p'$-regular conjugacy classes of $G$ is at least $2\sqrt{p-1}$. Also, the number of $p$-rational and $p'$-rational irreducible characters of $G$ is at least $2\sqrt{p-1}$. Along the way we prove a uniform lower bound for the number of $p$-regular classes in a finite simple group of Lie type in terms of its rank and size of the underlying field. △ Less

Submitted 3 January, 2021; v1 submitted 10 April, 2020; originally announced April 2020.

Comments: 46 pages

MSC Class: 20E45; 20C15; 20D05; 20D06; 20D10

A generalization of the diameter bound of Liebeck and Shalev for finite simple groups

Authors: Attila Maróti, László Pyber

Abstract: Let $G$ be a non-abelian finite simple group. A famous result of Liebeck and Shalev is that there is an absolute constant $c$ such that whenever $S$ is a non-trivial normal subset in $G$ then $S^{k} = G$ for any integer $k$ at least $c \cdot (\log|G|/\log|S|)$. This result is generalized by showing that there exists an absolute constant $c$ such that whenever $S_{1}, \ldots , S_{k}$ are normal sub… ▽ More Let $G$ be a non-abelian finite simple group. A famous result of Liebeck and Shalev is that there is an absolute constant $c$ such that whenever $S$ is a non-trivial normal subset in $G$ then $S^{k} = G$ for any integer $k$ at least $c \cdot (\log|G|/\log|S|)$. This result is generalized by showing that there exists an absolute constant $c$ such that whenever $S_{1}, \ldots , S_{k}$ are normal subsets in $G$ with $\prod_{i=1}^{k} |S_{i}| \geq {|G|}^{c}$ then $S_{1} \cdots S_{k} = G$. △ Less

Submitted 7 June, 2020; v1 submitted 31 March, 2020; originally announced March 2020.

MSC Class: 20D06; 20D40; 20G05

Bounding the number of classes of a finite group in terms of a prime

Authors: Attila Maróti, Iulian I. Simion

Abstract: Héthelyi and Külshammer showed that the number of conjugacy classes $k(G)$ of any solvable finite group $G$ whose order is divisible by the square of a prime $p$ is at least $(49p+1)/60$. Here an asymptotic generalization of this result is established. It is proved that there exists a constant $c>0$ such that for any finite group $G$ whose order is divisible by the square of a prime $p$ we have… ▽ More Héthelyi and Külshammer showed that the number of conjugacy classes $k(G)$ of any solvable finite group $G$ whose order is divisible by the square of a prime $p$ is at least $(49p+1)/60$. Here an asymptotic generalization of this result is established. It is proved that there exists a constant $c>0$ such that for any finite group $G$ whose order is divisible by the square of a prime $p$ we have $k(G) \geq cp$. △ Less

Submitted 11 March, 2020; originally announced March 2020.

Comments: To appear in Journal of Group Theory

RBED: Reward Based Epsilon Decay

Authors: Aakash Maroti

Abstract: $\varepsilon… ▽ More $\varepsilon$-greedy is a policy used to balance exploration and exploitation in many reinforcement learning setting. In cases where the agent uses some on-policy algorithm to learn optimal behaviour, it makes sense for the agent to explore more initially and eventually exploit more as it approaches the target behaviour. This shift from heavy exploration to heavy exploitation can be represented as decay in the $\varepsilon$ value, where $\varepsilon$ depicts the how much an agent is allowed to explore. This paper proposes a new approach to this $\varepsilon$ decay where the decay is based on feedback from the environment. This paper also compares and contrasts one such approach based on rewards and compares it against standard exponential decay. The new approach, in the environments tested, produces more consistent results that on average perform better. △ Less

Submitted 30 October, 2019; originally announced October 2019.

Irreducible induction and nilpotent subgroups in finite groups

Authors: Zoltan Halasi, Attila Maroti, Gabriel Navarro, Pham Huu Tiep

Abstract: Suppose that $G$ is a finite group and $H$ is a nilpotent subgroup of $G$. If a character of $H$ induces an irreducible character of $G$, then the generalized Fitting subgroup of $G$ is nilpotent. Suppose that $G$ is a finite group and $H$ is a nilpotent subgroup of $G$. If a character of $H$ induces an irreducible character of $G$, then the generalized Fitting subgroup of $G$ is nilpotent. △ Less

Submitted 25 February, 2019; originally announced February 2019.

MSC Class: 20C15; 20C33 (primary); 20B05; 20B33 (secondary)

An improved diameter bound for finite simple groups of Lie type

Authors: Zoltán Halasi, Attila Maróti, László Pyber, Youming Qiao

Abstract: For a finite group $G$, let $\mathrm{diam}(G)$ denote the maximum diameter of a connected Cayley graph of $G$. A well-known conjecture of Babai states that $\mathrm{diam}(G)$ is bounded by ${(\log_{2} |G|)}^{O(1)}$ in case $G$ is a non-abelian finite simple group. Let $G$ be a finite simple group of Lie type of Lie rank $n$ over the field $F_{q}$. Babai's conjecture has been verified in case $n$ i… ▽ More For a finite group $G$, let $\mathrm{diam}(G)$ denote the maximum diameter of a connected Cayley graph of $G$. A well-known conjecture of Babai states that $\mathrm{diam}(G)$ is bounded by ${(\log_{2} |G|)}^{O(1)}$ in case $G$ is a non-abelian finite simple group. Let $G$ be a finite simple group of Lie type of Lie rank $n$ over the field $F_{q}$. Babai's conjecture has been verified in case $n$ is bounded, but it is wide open in case $n$ is unbounded. Recently, Biswas and Yang proved that $\mathrm{diam}(G)$ is bounded by $q^{O( n {(\log_{2}n + \log_{2}q)}^{3})}$. We show that in fact $\mathrm{diam}(G) < q^{O(n {(\log_{2}n)}^{2})}$ holds. Note that our bound is significantly smaller than the order of $G$ for $n$ large, even if $q$ is large. As an application, we show that more generally $\mathrm{diam}(H) < q^{O( n {(\log_{2}n)}^{2})}$ holds for any subgroup $H$ of $\mathrm{GL}(V)$, where $V$ is a vector space of dimension $n$ defined over the field $F_q$. △ Less

Submitted 11 December, 2018; originally announced December 2018.

Comments: 14 pages

MSC Class: 20F69; 20G40; 20C30; 20C99 (primary); 05C25; 20D05; 51N30; 11N05 (secondary)

Finite simple groups with short Galois orbits on conjugacy classes

Authors: Victor Bovdi, Thomas Breuer, Attila Maróti

Abstract: All finite simple groups are determined with the property that every Galois orbit on conjugacy classes has size at most 4. From this we list all finite simple groups $G$ for which the normalized group of central units of the integral group ring ZG is an infinite cyclic group. All finite simple groups are determined with the property that every Galois orbit on conjugacy classes has size at most 4. From this we list all finite simple groups $G$ for which the normalized group of central units of the integral group ring ZG is an infinite cyclic group. △ Less

Submitted 2 June, 2019; v1 submitted 17 October, 2018; originally announced October 2018.

Comments: 15 pages. Expanded version

MSC Class: 16U60; 16S34; 20E45; 20K15; 20D05

Base sizes of primitive groups: bounds with explicit constants

Authors: Zoltan Halasi, Martin W. Liebeck, Attila Maroti

Abstract: We show that the minimal base size $b(G)$ of a finite primitive permutation group $G$ of degree $n$ is at most $2 (\log |G|/\log n) + 24$. This bound is asymptotically best possible since there exists a sequence of primitive permutation groups $G$ of degrees $n$ such that $b(G) = \lfloor 2 (\log |G|/\log n) \rceil - 2$ and $b(G)$ is unbounded. As a corollary we show that a primitive permutation gr… ▽ More We show that the minimal base size $b(G)$ of a finite primitive permutation group $G$ of degree $n$ is at most $2 (\log |G|/\log n) + 24$. This bound is asymptotically best possible since there exists a sequence of primitive permutation groups $G$ of degrees $n$ such that $b(G) = \lfloor 2 (\log |G|/\log n) \rceil - 2$ and $b(G)$ is unbounded. As a corollary we show that a primitive permutation group of degree $n$ that does not contain the alternating group $\mathrm{Alt}(n)$ has a base of size at most $\max\{\sqrt{n} , \ 25\}$. △ Less

Submitted 20 February, 2018; originally announced February 2018.

MSC Class: 20B15

Set-Direct Factorizations of Groups

Authors: Dan Levy, Attila Maróti

Abstract: We consider factorizations $G=XY$ where $G$ is a general group, $X$ and $Y$ are normal subsets of $G$ and any $g\in G$ has a unique representation $g=xy$ with $x\in X$ and $y\in Y$. This definition coincides with the customary and extensively studied definition of a direct product decomposition by subsets of a finite abelian group. Our main result states that a group $G$ has such a factorization i… ▽ More We consider factorizations $G=XY$ where $G$ is a general group, $X$ and $Y$ are normal subsets of $G$ and any $g\in G$ has a unique representation $g=xy$ with $x\in X$ and $y\in Y$. This definition coincides with the customary and extensively studied definition of a direct product decomposition by subsets of a finite abelian group. Our main result states that a group $G$ has such a factorization if and only if $G$ is a central product of $\left\langle X\right\rangle $ and $\left\langle Y\right\rangle $ and the central subgroup $\left\langle X\right\rangle \cap \left\langle Y\right\rangle $ satisfies certain abelian factorization conditions. We analyze some special cases and give examples. In particular, simple groups have no non-trivial set-direct factorization. △ Less

Submitted 10 October, 2018; v1 submitted 14 July, 2017; originally announced July 2017.

Comments: referee comments included, 19 pages

MSC Class: 20K25; 20D40

Journal ref: Journal of Algebra, 2018

Finite groups with large Noether number are almost cyclic

Authors: Pál Hegedűs, Attila Maróti, László Pyber

Abstract: Noether, Fleischmann and Fogarty proved that if the characteristic of the underlying field does not divide the order $|G|$ of a finite group $G$, then the polynomial invariants of $G$ are generated by polynomials of degrees at most $|G|$. Let $β(G)$ denote the largest indispensable degree in such generating sets. Cziszter and Domokos recently described finite groups $G$ with $|G|/β(G)$ at most… ▽ More Noether, Fleischmann and Fogarty proved that if the characteristic of the underlying field does not divide the order $|G|$ of a finite group $G$, then the polynomial invariants of $G$ are generated by polynomials of degrees at most $|G|$. Let $β(G)$ denote the largest indispensable degree in such generating sets. Cziszter and Domokos recently described finite groups $G$ with $|G|/β(G)$ at most $2$. We prove an asymptotic extension of their result. Namely, $|G|/β(G)$ is bounded for a finite group $G$ if and only if $G$ has a characteristic cyclic subgroup of bounded index. In the course of the proof we obtain the following surprising result. If $S$ is a finite simple group of Lie type or a sporadic group then we have $β(S) \leq {|S|}^{39/40}$. We ask a number of questions motivated by our results. △ Less

Submitted 11 October, 2018; v1 submitted 26 June, 2017; originally announced June 2017.

Comments: updated grant numbers

MSC Class: 13A50; 20D06; (20D08; 20D99)

A proof of Pyber's base size conjecture

Authors: Hülya Duyan, Zoltán Halasi, Attila Maróti

Abstract: Building on earlier papers of several authors, we establish that there exists a universal constant $c > 0$ such that the minimal base size $b(G)$ of a primitive permutation group $G$ of degree $n$ satisfies $\log |G| / \log n \leq b(G) < 45 (\log |G| / \log n) + c$. This finishes the proof of Pyber's base size conjecture. An ingredient of the proof is that for the distinguishing number $d(G)$ (in… ▽ More Building on earlier papers of several authors, we establish that there exists a universal constant $c > 0$ such that the minimal base size $b(G)$ of a primitive permutation group $G$ of degree $n$ satisfies $\log |G| / \log n \leq b(G) < 45 (\log |G| / \log n) + c$. This finishes the proof of Pyber's base size conjecture. An ingredient of the proof is that for the distinguishing number $d(G)$ (in the sense of Albertson and Collins) of a transitive permutation group $G$ of degree $n > 1$ we have the estimates $\sqrt[n]{|G|} < d(G) \leq 48 \sqrt[n]{|G|}$. △ Less

Submitted 3 April, 2018; v1 submitted 29 November, 2016; originally announced November 2016.

Comments: 27 pages, referee comments included

MSC Class: 20B15; 20C99; 20B40

Normalizers of Primitive Permutation Groups

Authors: Robert M. Guralnick, Attila Maróti, László Pyber

Abstract: Let $G$ be a transitive normal subgroup of a permutation group $A$ of finite degree $n$. The factor group $A/G$ can be considered as a certain Galois group and one would like to bound its size. One of the results of the paper is that $|A/G| < n$ if $G$ is primitive unless $n = 3^{4}$, $5^4$, $3^8$, $5^8$, or $3^{16}$. This bound is sharp when $n$ is prime. In fact, when $G$ is primitive,… ▽ More Let $G$ be a transitive normal subgroup of a permutation group $A$ of finite degree $n$. The factor group $A/G$ can be considered as a certain Galois group and one would like to bound its size. One of the results of the paper is that $|A/G| < n$ if $G$ is primitive unless $n = 3^{4}$, $5^4$, $3^8$, $5^8$, or $3^{16}$. This bound is sharp when $n$ is prime. In fact, when $G$ is primitive, $|\mathrm{Out}(G)| < n$ unless $G$ is a member of a given infinite sequence of primitive groups and $n$ is different from the previously listed integers. Many other results of this flavor are established not only for permutation groups but also for linear groups and Galois groups. △ Less

Submitted 27 January, 2017; v1 submitted 1 March, 2016; originally announced March 2016.

Comments: 44 pages, grant numbers updated, referee's comments included

MSC Class: 20B15; 20C99; 12F10; 20D06; 20B35; 20C20

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.

Finite groups have more conjugacy classes

Authors: Barbara Baumeister, Attila Maróti, Hung P. Tong-Viet

Abstract: We prove that for every $ε> 0$ there exists a $δ> 0$ so that every group of order $n \geq 3$ has at least $δ\log_{2} n/{(\log_{2} \log_{2} n)}^{3+ε}$ conjugacy classes. This sharpens earlier results of Pyber and Keller. Bertram speculates whether it is true that every finite group of order $n$ has more than $\log_{3}n$ conjugacy classes. We answer Bertram's question in the affirmative for groups w… ▽ More We prove that for every $ε> 0$ there exists a $δ> 0$ so that every group of order $n \geq 3$ has at least $δ\log_{2} n/{(\log_{2} \log_{2} n)}^{3+ε}$ conjugacy classes. This sharpens earlier results of Pyber and Keller. Bertram speculates whether it is true that every finite group of order $n$ has more than $\log_{3}n$ conjugacy classes. We answer Bertram's question in the affirmative for groups with a trivial solvable radical. △ Less

Submitted 13 March, 2015; originally announced March 2015.

MSC Class: 20E45; 20D06; 20P99

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.

On the number of $p'$-degree characters in a finite group

Authors: Gunter Malle, Attila Maróti

Abstract: Let $p$ be a prime divisor of the order of a finite group $G$. Then $G$ has at least $2 \sqrt{p-1}$ complex irreducible characters of degrees prime to $p$. In case $p$ is a prime with $\sqrt{p-1}$ an integer this bound is sharp for infinitely many groups $G$. Let $p$ be a prime divisor of the order of a finite group $G$. Then $G$ has at least $2 \sqrt{p-1}$ complex irreducible characters of degrees prime to $p$. In case $p$ is a prime with $\sqrt{p-1}$ an integer this bound is sharp for infinitely many groups $G$. △ Less

Submitted 24 December, 2014; originally announced December 2014.

MSC Class: 20C15; 20C33

A lower bound for the number of conjugacy classes of a finite group

Authors: Attila Maróti

Abstract: Every finite group whose order is divisible by a prime $p$ has at least $2 \sqrt{p-1}$ conjugacy classes. Every finite group whose order is divisible by a prime $p$ has at least $2 \sqrt{p-1}$ conjugacy classes. △ Less

Submitted 13 January, 2015; v1 submitted 3 November, 2014; originally announced November 2014.

Comments: references added to the Introduction

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

On a conjecture of Gluck

Authors: James P. Cossey, Zoltán Halasi, Attila Maróti, Hung Ngoc Nguyen

Abstract: Let $F(G)$ and $b(G)$ respectively denote the Fitting subgroup and the largest degree of an irreducible complex character of a finite group $G$. A well-known conjecture of D. Gluck claims that if $G$ is solvable then $|G:F(G)|\leq b(G)^{2}$. We confirm this conjecture in the case where $|F(G)|$ is coprime to 6. We also extend the problem to arbitrary finite groups and prove several results showing… ▽ More Let $F(G)$ and $b(G)$ respectively denote the Fitting subgroup and the largest degree of an irreducible complex character of a finite group $G$. A well-known conjecture of D. Gluck claims that if $G$ is solvable then $|G:F(G)|\leq b(G)^{2}$. We confirm this conjecture in the case where $|F(G)|$ is coprime to 6. We also extend the problem to arbitrary finite groups and prove several results showing that the largest irreducible character degree of a finite group strongly controls the group structure. △ Less

Submitted 23 September, 2014; v1 submitted 3 February, 2014; originally announced February 2014.

Comments: 16 pages

MSC Class: Primary 20C15; 20C30; Secondary 20D06

The minimal base size for a p-solvable linear group

Authors: Zoltán Halasi, Attila Maróti

Abstract: Let $V$ be a finite vector space over a finite field of order $q$ and of characteristic $p$. Let $G\leq GL(V)$ be a $p$-solvable completely reducible linear group. Then there exists a base for $G$ on $V$ of size at most $2$ unless $q \leq 4$ in which case there exists a base of size at most $3$. The first statement extends a recent result of Halasi and Podoski and the second statement generalizes… ▽ More Let $V$ be a finite vector space over a finite field of order $q$ and of characteristic $p$. Let $G\leq GL(V)$ be a $p$-solvable completely reducible linear group. Then there exists a base for $G$ on $V$ of size at most $2$ unless $q \leq 4$ in which case there exists a base of size at most $3$. The first statement extends a recent result of Halasi and Podoski and the second statement generalizes a theorem of Seress. An extension of a theorem of Pálfy and Wolf is also given. △ Less

Submitted 23 September, 2014; v1 submitted 21 October, 2013; originally announced October 2013.

Comments: 11 pages

On the number of conjugacy classes of $π$-elements in finite groups

Authors: Attila Maroti, Hung Ngoc Nguyen

Abstract: Let $G$ be a finite group and $π$ be a set of primes. We show that if the number of conjugacy classes of $π$-elements in $G$ is larger than $5/8$ times the $π$-part of $|G|$ then $G$ possesses an abelian Hall $π$-subgroup which meets every conjugacy class of $π$-elements in $G$. This extends and generalizes a result of W. H. Gustafson. Let $G$ be a finite group and $π$ be a set of primes. We show that if the number of conjugacy classes of $π$-elements in $G$ is larger than $5/8$ times the $π$-part of $|G|$ then $G$ possesses an abelian Hall $π$-subgroup which meets every conjugacy class of $π$-elements in $G$. This extends and generalizes a result of W. H. Gustafson. △ Less

Submitted 18 January, 2014; v1 submitted 4 June, 2013; originally announced June 2013.

Comments: 7 pages

On the non-coprime k(GV) problem

Authors: Robert M. Guralnick, Attila Maroti

Abstract: Let V be a finite faithful completely reducible FG-module for a finite field F and a finite group G. In various cases explicit linear bounds in |V| are given for the numbers of conjugacy classes k(GV) and k(G) of the semidirect product GV and of the group G respectively. These results concern the so-called non-coprime k(GV)-problem. Let V be a finite faithful completely reducible FG-module for a finite field F and a finite group G. In various cases explicit linear bounds in |V| are given for the numbers of conjugacy classes k(GV) and k(G) of the semidirect product GV and of the group G respectively. These results concern the so-called non-coprime k(GV)-problem. △ Less

Submitted 13 May, 2013; originally announced May 2013.

Comments: 26 pages

Journal ref: Journal of Algebra 385 (2013) 80-101

Character degree sums of finite groups

Authors: Attila Maroti, Hung Ngoc Nguyen

Abstract: We present some results on character degree sums in connection with certain characteristics of finite groups such as p-solvability, solvability, supersolvability, and nilpotency. Some of them strengthen known results in the literature. We present some results on character degree sums in connection with certain characteristics of finite groups such as p-solvability, solvability, supersolvability, and nilpotency. Some of them strengthen known results in the literature. △ Less

Submitted 14 September, 2013; v1 submitted 13 May, 2013; originally announced May 2013.

Comments: 11 pages

MSC Class: 20C15; 20D10

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

Normal coverings of linear groups

Authors: John R. Britnell, Attila Maroti

Abstract: For a non-cyclic finite group $G$, let $γ(G)$ denote the smallest number of conjugacy classes of proper subgroups of $G$ needed to cover $G$. Bubboloni, Praeger and Spiga, motivated by questions in number theory, have recently established that $γ(S_n)$ and $γ(A_{n})$ are bounded above and below by linear functions of $n$. In this paper we show that if $G$ is in the range… ▽ More For a non-cyclic finite group $G$, let $γ(G)$ denote the smallest number of conjugacy classes of proper subgroups of $G$ needed to cover $G$. Bubboloni, Praeger and Spiga, motivated by questions in number theory, have recently established that $γ(S_n)$ and $γ(A_{n})$ are bounded above and below by linear functions of $n$. In this paper we show that if $G$ is in the range $\SL_{n}(q)\le G\le \GL_{n}(q)$ for $n>2$, then $n/π^2 < γ(G) \le (n+1)/2$. We give various alternative bounds, and derive explicit formulas for $γ(G)$ in some cases. △ Less

Submitted 19 June, 2012; originally announced June 2012.

Comments: 18 pages

MSC Class: 20D50 (Primary) 20G40 (Secondary)

Rings as the unions of proper subrings

Authors: Andrea Lucchini, Attila Maroti

Abstract: We describe all possible ways how a ring can be expressed as the union of three of its proper subrings. This is an analogue for rings of a 1926 theorem of Scorza about groups. We then determine the minimal number of proper subrings of the simple matrix ring $M_{n}(q)$ whose union is $M_{n}(q)$. We describe all possible ways how a ring can be expressed as the union of three of its proper subrings. This is an analogue for rings of a 1926 theorem of Scorza about groups. We then determine the minimal number of proper subrings of the simple matrix ring $M_{n}(q)$ whose union is $M_{n}(q)$. △ Less

Submitted 22 January, 2010; originally announced January 2010.

Average dimension of fixed point spaces with applications

Authors: Robert M. Guralnick, Attila Maroti

Abstract: Let $G$ be a finite group, $F$ a field, and $V$ a finite dimensional $FG$-module such that $G$ has no trivial composition factor on $V$. Then the arithmetic average dimension of the fixed point spaces of elements of $G$ on $V$ is at most $(1/p) \dim V$ where $p$ is the smallest prime divisor of the order of $G$. This answers and generalizes a 1966 conjecture of Neumann which also appeared in a p… ▽ More Let $G$ be a finite group, $F$ a field, and $V$ a finite dimensional $FG$-module such that $G$ has no trivial composition factor on $V$. Then the arithmetic average dimension of the fixed point spaces of elements of $G$ on $V$ is at most $(1/p) \dim V$ where $p$ is the smallest prime divisor of the order of $G$. This answers and generalizes a 1966 conjecture of Neumann which also appeared in a paper of Neumann and Vaughan-Lee and also as a problem in The Kourovka Notebook posted by Vaughan-Lee. Our result also generalizes a recent theorem of Isaacs, Keller, Meierfrankenfeld, and Moretó. Various applications are given. For example, another conjecture of Neumann and Vaughan-Lee is proven and some results of Segal and Shalev are improved and/or generalized concerning BFC groups. △ Less

Submitted 21 January, 2010; originally announced January 2010.

MSC Class: 20C99; 20F24