Search | arXiv e-print repository

Cosets of normal subgroups and union of two conjugacy classes

Abstract: Let $G$ be a finite group, $N$ a normal subgroup of $G$ and $x\in G-N$. We discuss when the coset $Nx$ is contained in the union of two conjugacy classes, $K$ and $D$, of $G$. We show that $N$ need not be solvable, and can even be non-abelian simple, but in these cases, $K$ and $D$ must have the same cardinality, and the non-solvable structure of $N$ is restricted. The non-abelian principal factor… ▽ More Let $G$ be a finite group, $N$ a normal subgroup of $G$ and $x\in G-N$. We discuss when the coset $Nx$ is contained in the union of two conjugacy classes, $K$ and $D$, of $G$. We show that $N$ need not be solvable, and can even be non-abelian simple, but in these cases, $K$ and $D$ must have the same cardinality, and the non-solvable structure of $N$ is restricted. The non-abelian principal factors of $G$ contained in $N$ are then isomorphic to $S\times \cdots\times S$, where $S$ is a simple group of Lie type of odd characteristic. △ Less

Submitted 8 August, 2025; originally announced August 2025.

Comments: Accepted for publication

arXiv:2504.18289 [pdf, ps, other]

Supersolvable subgroups of order divisible by 3

Authors: Antonio Beltrán, Changguo Shao

Abstract: We determine the structure of the finite non-solvable groups of order divisible by $3$ all whose maximal subgroups of order divisible by $3$ are supersolvable. Precisely, we demonstrate that if $G$ is a finite non-solvable group satisfying the above condition on maximal subgroups, then either $G$ is a $3'$-group or $G/{\bf O}_{3'}(G)$ is isomorphic to ${\rm PSL}_2(2^p)$ for an odd prime $p$, where… ▽ More We determine the structure of the finite non-solvable groups of order divisible by $3$ all whose maximal subgroups of order divisible by $3$ are supersolvable. Precisely, we demonstrate that if $G$ is a finite non-solvable group satisfying the above condition on maximal subgroups, then either $G$ is a $3'$-group or $G/{\bf O}_{3'}(G)$ is isomorphic to ${\rm PSL}_2(2^p)$ for an odd prime $p$, where ${\bf O}_{3'}(G)$ denotes the largest normal $3'$-subgroup of $G$. Furthermore, in the latter case, ${\bf O}_{3'}(G)$ is nilpotent and ${\bf O}_2(G)\leq {\bf Z}(G)$. △ Less

Submitted 28 April, 2025; v1 submitted 25 April, 2025; originally announced April 2025.

MSC Class: 20D05; 20E28

arXiv:2501.04537 [pdf, ps, other]

Indices of non-supersolvable maximal subgroups in finite groups

Authors: Antonio Beltrán, Changguo Shao

Abstract: Two classic results, due to K. Doerk and P. Hall respectively, establish the solvability of those finite groups all of whose maximal subgroups are supersolvable, and the solvability of finite groups in which all maximal subgroups have prime or squared prime index. In this note we describe the structure of the non-solvable finite groups whose maximal subgroups are either supersolvable or have prime… ▽ More Two classic results, due to K. Doerk and P. Hall respectively, establish the solvability of those finite groups all of whose maximal subgroups are supersolvable, and the solvability of finite groups in which all maximal subgroups have prime or squared prime index. In this note we describe the structure of the non-solvable finite groups whose maximal subgroups are either supersolvable or have prime or squared prime index. △ Less

Submitted 18 April, 2025; v1 submitted 8 January, 2025; originally announced January 2025.

Comments: arXiv admin note: text overlap with arXiv:2402.18413

MSC Class: 20E28 20D15 20D06

arXiv:2501.02249 [pdf, ps, other]

Extensions of a theorem of P. Hall on indexes of maximal subgroups

Authors: Antonio Beltrán, Changguo Shao

Abstract: We extend a classical theorem of P. Hall that claims that if the index of every maximal subgroup of a finite group $G$ is a prime or the square of a prime, then $G$ is solvable. Precisely, we prove that if one allows, in addition, the possibility that every maximal subgroup of $G$ is nilpotent instead of having prime or squared-prime index, then $G$ continues to be solvable. Likewise, we obtain th… ▽ More We extend a classical theorem of P. Hall that claims that if the index of every maximal subgroup of a finite group $G$ is a prime or the square of a prime, then $G$ is solvable. Precisely, we prove that if one allows, in addition, the possibility that every maximal subgroup of $G$ is nilpotent instead of having prime or squared-prime index, then $G$ continues to be solvable. Likewise, we obtain the solvability of $G$ when we assume that every proper non-maximal subgroup of $G$ lies in some subgroup of index prime or squared prime. △ Less

Submitted 4 January, 2025; originally announced January 2025.

MSC Class: 20E28; 20D15; 20D06

arXiv:2410.02393 [pdf, ps, other]

An Arad and Fisman's theorem on products of conjugacy classes revisited

Authors: Antonio Beltrán, María José Felipe, Carmen Melchor

Abstract: A theorem of Z. Arad and E. Fisman establishes that if $A$ and $B$ are two conjugacy classes of a finite group $G$ such that either $AB=A\cup B$ or $AB=A^{-1} \cup B$, then $G$ cannot be non-abelian simple. We demonstrate that, in fact, $\langle A\rangle = \langle B\rangle$ is solvable, the elements of $A$ and $B$ are $p$-elements for some prime $p$, and $\langle A\rangle $ is $p$-nilpotent. Moreo… ▽ More A theorem of Z. Arad and E. Fisman establishes that if $A$ and $B$ are two conjugacy classes of a finite group $G$ such that either $AB=A\cup B$ or $AB=A^{-1} \cup B$, then $G$ cannot be non-abelian simple. We demonstrate that, in fact, $\langle A\rangle = \langle B\rangle$ is solvable, the elements of $A$ and $B$ are $p$-elements for some prime $p$, and $\langle A\rangle $ is $p$-nilpotent. Moreover, under the second assumption, it turns out that $A=B$ and this is the only possible case. This research is done by appealing to recently developed techniques and results that are based on the Classification of Finite Simple Groups. △ Less

Submitted 3 October, 2024; originally announced October 2024.

arXiv:2402.18413 [pdf, ps, other]

p-Nilpotent maximal subgroups in finite groups

Authors: Antonio Beltrán, Changguo Shao

Abstract: Let $p$ be a prime number and suppose that every maximal subgroup of a finite group is either $p$-nilpotent or has prime index. Such group need not be $p$-solvable, and we study its structure by proving that only one nonabelian simple group of order divisible by $p$, which belongs to the family ${\rm PSL}_n(q)$, can be involved in it. For $p=2$, we specify more, and in fact, such simple group must… ▽ More Let $p$ be a prime number and suppose that every maximal subgroup of a finite group is either $p$-nilpotent or has prime index. Such group need not be $p$-solvable, and we study its structure by proving that only one nonabelian simple group of order divisible by $p$, which belongs to the family ${\rm PSL}_n(q)$, can be involved in it. For $p=2$, we specify more, and in fact, such simple group must be isomorphic to ${\rm PSL}_2({r^a})$ for certain values of the prime $r$ and the parameter $a$. △ Less

Submitted 17 September, 2024; v1 submitted 28 February, 2024; originally announced February 2024.

arXiv:2402.08131 [pdf, ps, other]

Some problems about products of conjugacy classes in finite groups

Authors: Antonio Beltrán, María José Felipe, Carmen Melchor

Abstract: We summarize several results about non-simplicity, solvability and normal structure of finite groups related to the number of conjugacy classes appearing in the product or the power of conjugacy classes. We also collect some problems that have only been partially solved. We summarize several results about non-simplicity, solvability and normal structure of finite groups related to the number of conjugacy classes appearing in the product or the power of conjugacy classes. We also collect some problems that have only been partially solved. △ Less