Showing 1–27 of 27 results for author: Moretó, A

The codegree isomorphism problem for finite simple groups II

Authors: Nguyen N. Hung, Alexander Moretó

Abstract: Let $H$ be a nonabelian finite simple group. Huppert's conjecture asserts that if $G$ is a finite group with the same set of complex character degrees as $H$, then $G\cong H\times A$ for some abelian group $A$. Over the past two decades, several specific cases of this conjecture have been addressed. Recently, attention has shifted to the analogous conjecture for character codegrees: if $G$ has the… ▽ More Let $H$ be a nonabelian finite simple group. Huppert's conjecture asserts that if $G$ is a finite group with the same set of complex character degrees as $H$, then $G\cong H\times A$ for some abelian group $A$. Over the past two decades, several specific cases of this conjecture have been addressed. Recently, attention has shifted to the analogous conjecture for character codegrees: if $G$ has the same set of character codegrees as $H$, then $G\cong H$. Unfortunately, both problems have primarily been examined on a case-by-case basis. In this paper and the companion [HM22], we present a more unified approach to the codegree conjecture and confirm it for several families of simple groups. △ Less

Submitted 14 June, 2024; originally announced June 2024.

A normal version of Brauer's height zero conjecture

Authors: Alexander Moretó, A. A. Schaeffer Fry

Abstract: The celebrated Itô-Michler theorem asserts that a prime $p$ does not divide the degree of any irreducible character of a finite group $G$ if and only if $G$ has a normal and abelian Sylow $p$-subgroup. The principal block case of the recently-proven Brauer's height zero conjecture isolates the abelian part in the Itô-Michler theorem. In this paper, we show that the normal part can also be isolated… ▽ More The celebrated Itô-Michler theorem asserts that a prime $p$ does not divide the degree of any irreducible character of a finite group $G$ if and only if $G$ has a normal and abelian Sylow $p$-subgroup. The principal block case of the recently-proven Brauer's height zero conjecture isolates the abelian part in the Itô-Michler theorem. In this paper, we show that the normal part can also be isolated in a similar way. This is a consequence of work on a strong form of the so-called Brauer's height zero conjecture for two primes of Malle and Navarro. Using our techniques, we also provide an alternate proof of this conjecture. △ Less

Submitted 14 June, 2024; v1 submitted 10 June, 2024; originally announced June 2024.

Comments: Revised following Gunter Malle's suggestions

A Brauer--Galois height zero conjecture

Authors: Gunter Malle, Alexander Moretó, Noelia Rizo, A. A. Schaeffer Fry

Abstract: Recently, Malle and Navarro obtained a Galois strengthening of Brauer's height zero conjecture for principal $p$-blocks when $p=2$, considering a particular Galois automorphism of order~$2$. In this paper, for any prime $p$ we consider a certain elementary abelian $p$-subgroup of the absolute Galois group and propose a Galois version of Brauer's height zero conjecture for principal $p$-blocks. We… ▽ More Recently, Malle and Navarro obtained a Galois strengthening of Brauer's height zero conjecture for principal $p$-blocks when $p=2$, considering a particular Galois automorphism of order~$2$. In this paper, for any prime $p$ we consider a certain elementary abelian $p$-subgroup of the absolute Galois group and propose a Galois version of Brauer's height zero conjecture for principal $p$-blocks. We prove it when $p=2$ and also for arbitrary $p$ when $G$ does not involve certain groups of Lie type of small rank as composition factors. Furthermore, we prove it for almost simple groups and for $p$-solvable groups. △ Less

Submitted 26 February, 2024; v1 submitted 13 February, 2024; originally announced February 2024.

Comments: a few minor improvements over version 1

MSC Class: 20C15; 20C20; 20C33

A generalized character associated to element orders

Authors: Alexander Moretó

Abstract: Let $G$ be a finite group. We study the generalized character defined by $Ξ(g)=|G|o(g)$, for $g\in G$, which is closely related to a function that has been very studied recently from a group theoretical point of view. Let $G$ be a finite group. We study the generalized character defined by $Ξ(g)=|G|o(g)$, for $g\in G$, which is closely related to a function that has been very studied recently from a group theoretical point of view. △ Less

Submitted 9 October, 2023; originally announced December 2023.

Kernels of minimal characters of solvable groups

Authors: Alexander Moretó

Abstract: Let $G$ be a finite solvable group. We prove that if $χ\in{\rm Irr}(G)$ has odd degree and $χ(1)$ is the minimal degree of the non-linear irreducible characters of $G$, then $G/{\rm Ker} χ$ is nilpotent-by-abelian. Let $G$ be a finite solvable group. We prove that if $χ\in{\rm Irr}(G)$ has odd degree and $χ(1)$ is the minimal degree of the non-linear irreducible characters of $G$, then $G/{\rm Ker} χ$ is nilpotent-by-abelian. △ Less

Submitted 9 October, 2023; originally announced October 2023.

Brauer's problem 21 for principal blocks

Authors: Alexander Moretó, Noelia Rizo, A. A. Schaeffer Fry

Abstract: Problem 21 of Brauer's list of problems from 1963 asks whether for any positive integer k there are finitely many isomorphism classes of groups that occur as the defect group of a block with k irreducible characters. We solve this problem for principal blocks. Another long-standing open problem (from 1982) in this area asks whether the defect group of a block with 3 irreducible characters is neces… ▽ More Problem 21 of Brauer's list of problems from 1963 asks whether for any positive integer k there are finitely many isomorphism classes of groups that occur as the defect group of a block with k irreducible characters. We solve this problem for principal blocks. Another long-standing open problem (from 1982) in this area asks whether the defect group of a block with 3 irreducible characters is necessarily the cyclic group of order 3. In most cases we reduce this problem to a question on simple groups that is closely related to the recent solution of Brauer's height zero conjecture. △ Less

Submitted 29 September, 2023; originally announced October 2023.

Prime divisors and the number of conjugacy classes of finite groups

Authors: Thomas Michael Keller, Alexander Moretó

Abstract: We prove that there exists a universal constant $D$ such that if $p$ is a prime divisor of the index of the Fitting subgroup of a finite group $G$, then the number of conjugacy classes of G is at least $Dp/log_2 p$. We conjecture that we can take $D=1$ and prove that for solvable groups, we can take $D=1/3$. We prove that there exists a universal constant $D$ such that if $p$ is a prime divisor of the index of the Fitting subgroup of a finite group $G$, then the number of conjugacy classes of G is at least $Dp/log_2 p$. We conjecture that we can take $D=1$ and prove that for solvable groups, we can take $D=1/3$. △ Less

Submitted 17 July, 2023; v1 submitted 10 July, 2023; originally announced July 2023.

Comments: To appear in Math. Proc. Cambridge Philos. Soc

Minimal heights and defect groups with two character degrees

Authors: Gunter Malle, Alexander Moretó, Noelia Rizo

Abstract: Conjecture A of \cite{EM14} predicts the equality between the smallest positive height of the irreducible characters in a $p$-block of a finite group and the smallest positive height of the irreducible characters in its defect group. Hence, it can be seen as a generalization of Brauer's famous height zero conjecture. One inequality was shown to be a consequence of Dade's Projective Conjecture. We… ▽ More Conjecture A of \cite{EM14} predicts the equality between the smallest positive height of the irreducible characters in a $p$-block of a finite group and the smallest positive height of the irreducible characters in its defect group. Hence, it can be seen as a generalization of Brauer's famous height zero conjecture. One inequality was shown to be a consequence of Dade's Projective Conjecture. We prove the other, less well understood, inequality for principal blocks when the defect group has two character degrees. △ Less

Submitted 2 February, 2024; v1 submitted 31 May, 2023; originally announced May 2023.

Comments: to appear in Adv. Math

Common zeros of irreducible characters

Authors: Nguyen N. Hung, Alexander Moretó, Lucia Morotti

Abstract: We study the zero-sharing behavior among irreducible characters of a finite group. For symmetric groups $S_n$, it is proved that, with one exception, any two irreducible characters have at least one common zero. To further explore this phenomenon, we introduce the common-zero graph of a finite group $G$, with non-linear irreducible characters of $G$ as vertices, and edges connecting characters tha… ▽ More We study the zero-sharing behavior among irreducible characters of a finite group. For symmetric groups $S_n$, it is proved that, with one exception, any two irreducible characters have at least one common zero. To further explore this phenomenon, we introduce the common-zero graph of a finite group $G$, with non-linear irreducible characters of $G$ as vertices, and edges connecting characters that vanish on some common group element. We show that for solvable and simple groups, the number of connected components of this graph is bounded above by 3. Lastly, the result for $S_n$ is applied to prove the non-equivalence of the metrics on permutations induced from faithful irreducible characters of the group. △ Less

Submitted 24 April, 2023; originally announced April 2023.

$p$-groups and zeros of characters

Authors: Alexander Moretó, Gabriel Navarro

Abstract: Fix a prime $p$ and an integer $n\geq 0$. Among the non-linear irreducible characters of the $p$-groups of order $p^n$, what is the minimum number of elements that take the value 0? Fix a prime $p$ and an integer $n\geq 0$. Among the non-linear irreducible characters of the $p$-groups of order $p^n$, what is the minimum number of elements that take the value 0? △ Less

Submitted 31 July, 2023; v1 submitted 10 January, 2023; originally announced January 2023.

Comments: to appear in Arch. Math

The codegree isomorphism problem for finite simple groups

Authors: Nguyen N. Hung, Alexander Moretó

Abstract: We study the codegree isomorphism problem for finite simple groups. In particular, we show that such a group is determined by the codegrees (counting multiplicity) of its irreducible characters. The proof is uniform for all simple groups and only depends on the classification by means of Artin-Tits' simple order theorem. We study the codegree isomorphism problem for finite simple groups. In particular, we show that such a group is determined by the codegrees (counting multiplicity) of its irreducible characters. The proof is uniform for all simple groups and only depends on the classification by means of Artin-Tits' simple order theorem. △ Less

Submitted 25 February, 2023; v1 submitted 1 January, 2023; originally announced January 2023.

Comments: 24 pages, 2 tables

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

The average character degree of finite groups and Gluck's conjecture

Authors: Alexander Moretó

Abstract: We prove that the order of a finite group $G$ with trivial solvable radical is bounded above in terms of ${\rm acd}(G)$, the average degree of the irreducible characters. It is not true that the index of the Fitting subgroup is bounded above in terms of ${\rm acd}(G)$, but we show that in certain cases it is bounded in terms of the degrees of the irreducible characters of $G$ that lie over a linea… ▽ More We prove that the order of a finite group $G$ with trivial solvable radical is bounded above in terms of ${\rm acd}(G)$, the average degree of the irreducible characters. It is not true that the index of the Fitting subgroup is bounded above in terms of ${\rm acd}(G)$, but we show that in certain cases it is bounded in terms of the degrees of the irreducible characters of $G$ that lie over a linear character of the Fitting subgroup. This leads us to propose a refined version of Gluck's conjecture. △ Less

Submitted 2 October, 2022; v1 submitted 19 September, 2022; originally announced September 2022.

Comments: Fixed an inaccuracy in the statement of Lemma 2.2

Methods and questions in character degrees of finite groups

Authors: Alexander Moretó

Abstract: We present some variations on some of the main open problems on character degrees. We collect some of the methods that have proven to be very useful to work on these problems. These methods are also useful to solve certain problems on zeros of characters, character kernels and fields of values of characters. We present some variations on some of the main open problems on character degrees. We collect some of the methods that have proven to be very useful to work on these problems. These methods are also useful to solve certain problems on zeros of characters, character kernels and fields of values of characters. △ Less

Submitted 19 September, 2022; originally announced September 2022.

Groups with 2-generated Sylow subgroups and their character tables

Authors: Alexander Moretó, Benjamin Sambale

Abstract: Let G be a finite group with Sylow p-subgroup P. We show that the character table of G determines whether P has maximal nilpotency class and whether P is a minimal non-abelian group. The latter result is obtained from a precise classification of the corresponding groups G in terms of their composition factors. For p-constrained groups G we prove further that the character table determines whether… ▽ More Let G be a finite group with Sylow p-subgroup P. We show that the character table of G determines whether P has maximal nilpotency class and whether P is a minimal non-abelian group. The latter result is obtained from a precise classification of the corresponding groups G in terms of their composition factors. For p-constrained groups G we prove further that the character table determines whether P can be generated by two elements. △ Less

Submitted 28 May, 2022; v1 submitted 26 May, 2022; originally announced May 2022.

Comments: Gunter's comments incorporated, 18 pages

Journal ref: Pacific J. Math. 323 (2023) 337-358

On the number of constituents of products of characters

Authors: M. Loukaki, A. Moretó

Abstract: It has been conjectured that if the number of distinct irreducible constituents of the product of two faithful irreducible characters of a finite $p$-group, for $p\geq5$, is bigger than $(p+1)/2$, then it is at least $p$. We give a counterexample to this conjecture. It has been conjectured that if the number of distinct irreducible constituents of the product of two faithful irreducible characters of a finite $p$-group, for $p\geq5$, is bigger than $(p+1)/2$, then it is at least $p$. We give a counterexample to this conjecture. △ Less

Submitted 19 January, 2022; originally announced January 2022.

Journal ref: Algebra Colloq. 14, no.2, 207-208,(2007)

On the commuting probability of p-elements in a finite group

Authors: Timothy C. Burness, Robert M. Guralnick, Alexander Moretó, Gabriel Navarro

Abstract: Let $G$ be a finite group, let $p$ be a prime and let ${\rm Pr}_p(G)$ be the probability that two random $p$-elements of $G$ commute. In this paper we prove that ${\rm Pr}_p(G) > (p^2+p-1)/p^3$ if and only if $G$ has a normal and abelian Sylow $p$-subgroup, which generalizes previous results on the widely studied commuting probability of a finite group. This bound is best possible in the sense tha… ▽ More Let $G$ be a finite group, let $p$ be a prime and let ${\rm Pr}_p(G)$ be the probability that two random $p$-elements of $G$ commute. In this paper we prove that ${\rm Pr}_p(G) > (p^2+p-1)/p^3$ if and only if $G$ has a normal and abelian Sylow $p$-subgroup, which generalizes previous results on the widely studied commuting probability of a finite group. This bound is best possible in the sense that for each prime $p$ there are groups with ${\rm Pr}_p(G) = (p^2+p-1)/p^3$ and we classify all such groups. Our proof is based on bounding the proportion of $p$-elements in $G$ that commute with a fixed $p$-element in $G \setminus \textbf{O}_p(G)$, which in turn relies on recent work of the first two authors on fixed point ratios for finite primitive permutation groups. △ Less

Submitted 6 July, 2022; v1 submitted 16 December, 2021; originally announced December 2021.

Comments: Revised according to referee's report. To appear in Algebra & Number Theory

Journal ref: Alg. Number Th. 17 (2023) 1209-1229

A dual version of Huppert's rho-sigma conjecture for character codegrees

Authors: Alexander Moretó

Abstract: We classify the finite groups with the property that any two different character codegrees are coprime. In general, we conjecture that if $k$ is a positive integer such that for any prime $p$ the number of character codegrees of a finite group $G$ that are divisible by $p$ is at most $k$, then the number of prime divisors of $|G|$ is bounded in terms of $k$. We prove this conjecture for solvable g… ▽ More We classify the finite groups with the property that any two different character codegrees are coprime. In general, we conjecture that if $k$ is a positive integer such that for any prime $p$ the number of character codegrees of a finite group $G$ that are divisible by $p$ is at most $k$, then the number of prime divisors of $|G|$ is bounded in terms of $k$. We prove this conjecture for solvable groups. △ Less

Submitted 6 October, 2021; originally announced October 2021.

Groups with a small average number of zeros in the character table

Authors: Alexander Moretó

Abstract: We classify finite groups with a small average number of zeros in the character table. We classify finite groups with a small average number of zeros in the character table. △ Less

Submitted 3 June, 2021; originally announced June 2021.

Kernels of p'-degree irreducible characters

Authors: Alexander Moretó, Noelia Rizo

Abstract: We prove a p'-version of a classical theorem of Broline and Garrison. As a consequence, we obtain results on p-parts of character codegrees. We prove a p'-version of a classical theorem of Broline and Garrison. As a consequence, we obtain results on p-parts of character codegrees. △ Less

Submitted 11 May, 2021; originally announced May 2021.

Comments: 7 pages

MSC Class: 20C15

On the minimal dimension of a faithful linear representation of a finite group

Authors: Alexander Moretó

Abstract: The representation dimension of a finite group $G$ is the minimal dimension of a faithful complex linear representation of $G$. We prove that the representation dimension of any finite group $G$ is at most $\sqrt{|G|}$ except if $G$ is a $2$-group with elementary abelian center of order $8$ and all irreducible characters of $G$ whose kernel does not contain $Z(G)$ are fully ramified with respect t… ▽ More The representation dimension of a finite group $G$ is the minimal dimension of a faithful complex linear representation of $G$. We prove that the representation dimension of any finite group $G$ is at most $\sqrt{|G|}$ except if $G$ is a $2$-group with elementary abelian center of order $8$ and all irreducible characters of $G$ whose kernel does not contain $Z(G)$ are fully ramified with respect to $G/Z(G)$. We also obtain bounds for the representation dimension of quotients of $G$ in terms of the representation dimension of $G$, and discuss the relation of this invariant with the essential dimension of $G$. △ Less

Submitted 24 November, 2021; v1 submitted 2 February, 2021; originally announced February 2021.

MSC Class: Primary 20C15; Secondary 14E07; 12F10

Finite groups whose maximal subgroups of order divisible by all the primes are supersolvable

Authors: Alexander Moretó

Abstract: We study finite groups $G$ with the property that for any subgroup $M$ maximal in $G$ whose order is divisible by all the prime divisors of $|G|$, $M$ is supersolvable. We show that any nonabelian simple group can occur as a composition factor of such a group and that, if $G$ is solvable, then the nilpotency length and the rank are arbitrarily large. On the other hand, for every prime $p$, the… ▽ More We study finite groups $G$ with the property that for any subgroup $M$ maximal in $G$ whose order is divisible by all the prime divisors of $|G|$, $M$ is supersolvable. We show that any nonabelian simple group can occur as a composition factor of such a group and that, if $G$ is solvable, then the nilpotency length and the rank are arbitrarily large. On the other hand, for every prime $p$, the $p$-length of such a group is at most $1$. This answers questions proposed by V. Monakhov in The Kourovka Notebook. △ Less

Submitted 20 November, 2020; v1 submitted 9 October, 2020; originally announced October 2020.

Comments: To appear in Monatsh. Math. Minor changes from the previous version following the referee's report

MSC Class: 20D10; 20F16

The average element order and the number of conjugacy classes of finite groups

Authors: E. I. Khukhro, A. Moretó, M. Zarrin

Abstract: Let $o(G)$ be the average order of the elements of $G$, where $G$ is a finite group. We show that there is no polynomial lower bound for $o(G)$ in terms of $o(N)$, where $N\trianglelefteq G$, even when $G$ is a prime-power order group and $N$ is abelian. This gives a negative answer to a question of A.~Jaikin-Zapirain. Let $o(G)$ be the average order of the elements of $G$, where $G$ is a finite group. We show that there is no polynomial lower bound for $o(G)$ in terms of $o(N)$, where $N\trianglelefteq G$, even when $G$ is a prime-power order group and $N$ is abelian. This gives a negative answer to a question of A.~Jaikin-Zapirain. △ Less

Submitted 17 September, 2020; originally announced September 2020.

MSC Class: 20D15; 20C15; 20E45

Conjugacy classes, characters and products of elements

Authors: Robert M. Guralnick, Alexander Moretó

Abstract: Recently, Baumslag and Wiegold proved that a finite group $G$ is nilpotent if and only if $o(xy)=o(x)o(y)$ for every $x,y\in G$ of coprime order. Motivated by this result, we study the groups with the property that $(xy)^G=x^Gy^G$ and those with the property that $χ(xy)=χ(x)χ(y)$ for every complex irreducible character $χ$ of $G$ and every nontrivial $x, y \in G$ of pairwise coprime order. We also… ▽ More Recently, Baumslag and Wiegold proved that a finite group $G$ is nilpotent if and only if $o(xy)=o(x)o(y)$ for every $x,y\in G$ of coprime order. Motivated by this result, we study the groups with the property that $(xy)^G=x^Gy^G$ and those with the property that $χ(xy)=χ(x)χ(y)$ for every complex irreducible character $χ$ of $G$ and every nontrivial $x, y \in G$ of pairwise coprime order. We also consider several ways of weakening the hypothesis on $x$ and $y$. While the result of Baumslag and Wiegold is completely elementary, some of our arguments here depend on (parts of) the classification of finite simple groups. △ Less

Submitted 10 July, 2018; originally announced July 2018.

Comments: 9 pages

MSC Class: 20C15; 20D15; 20E45

Nilpotent and Abelian Hall Subgroups in Finite Groups

Authors: Antonio Beltrán, María José Felipe, Gunter Malle, Alexander Moretó, Gabriel Navarro, Lucia Sanus, Pham Huu Tiep

Abstract: We give a characterization of the finite groups having nilpotent or abelian Hall $π$-subgroups which can easily be verified from the character table. We give a characterization of the finite groups having nilpotent or abelian Hall $π$-subgroups which can easily be verified from the character table. △ Less

Submitted 31 October, 2013; originally announced October 2013.

MSC Class: 20D20; 20C15; 20D05; 20G40

On the average character degree of finite groups

Authors: Alexander Moretó, Hung Ngoc Nguyen

Abstract: We prove that if the average of the degrees of the irreducible characters of a finite group $G$ is less than 16/5, then $G$ is solvable. This solves a conjecture of I.M. Isaacs, M. Loukaki, and the first author. We discuss related questions. We prove that if the average of the degrees of the irreducible characters of a finite group $G$ is less than 16/5, then $G$ is solvable. This solves a conjecture of I.M. Isaacs, M. Loukaki, and the first author. We discuss related questions. △ Less

Submitted 5 December, 2013; v1 submitted 31 August, 2013; originally announced September 2013.

Comments: The first version is revised based on the referee's report. To appear in Bull. Lond. Math. Soc

MSC Class: Primary 20C15; 20D10; 20D15

Variations of Landau's theorem for p-regular and p-singular conjugacy classes

Authors: Alexander Moreto, Hung Ngoc Nguyen

Abstract: The well-known Landau's theorem states that, for any positive integer $k$, there are finitely many isomorphism classes of finite groups with exactly $k$ (conjugacy) classes. We study variations of this theorem for $p$-regular classes as well as $p$-singular classes. We prove several results showing that the structure of a finite group is strongly restricted by the number of $p$-regular classes or… ▽ More The well-known Landau's theorem states that, for any positive integer $k$, there are finitely many isomorphism classes of finite groups with exactly $k$ (conjugacy) classes. We study variations of this theorem for $p$-regular classes as well as $p$-singular classes. We prove several results showing that the structure of a finite group is strongly restricted by the number of $p$-regular classes or the number of $p$-singular classes of the group. In particular, if $G$ is a finite group with $O_p(G)=1$ then $|G/F(G)|_{p'}$ is bounded in terms of the number of $p$-regular classes of $G$. However, it is not possible to prove that there are finitely many groups with no nontrivial normal $p$-subgroup and $k$ $p$-regular classes without solving some extremely difficult number-theoretic problems (for instance, we would need to show that the number of Fermat primes is finite). △ Less

Submitted 26 March, 2015; v1 submitted 4 August, 2013; originally announced August 2013.

Comments: 23 pages, to appear in Israel J. Math

MSC Class: Primary 20E45; Secondary 20D06; 20D25

Homogeneous products of characters

Authors: Edith Adan-Bante, Maria Loukaki, Alexander Moretó

Abstract: I. M. Isaacs has conjectured (see \cite{isa00}) that if the product of two faithful irreducible characters of a solvable group is irreducible, then the group is cyclic. In this paper we prove a special case of the following conjecture, which generalizes Isaacs conjecture. Suppose that $G$ is solvable and that $ψ,φ\in\Irr(G)$ are faithful. If $ψφ=mχ$ where $m$ is a positive integer and… ▽ More I. M. Isaacs has conjectured (see \cite{isa00}) that if the product of two faithful irreducible characters of a solvable group is irreducible, then the group is cyclic. In this paper we prove a special case of the following conjecture, which generalizes Isaacs conjecture. Suppose that $G$ is solvable and that $ψ,φ\in\Irr(G)$ are faithful. If $ψφ=mχ$ where $m$ is a positive integer and $χ\in \Irr(G)$ then $ψ$ and $φ$ vanish on $G- Z(G)$. In particular we prove that the above conjecture holds for $p$-groups. △ Less

Submitted 19 December, 2004; originally announced December 2004.

Journal ref: J. Algebra 274, 587 --593, (2004)