Solvable and non-solvable finite groups of the same order type

Paweł Piwek

2024-04-02

Abstract:We construct two finite groups of size $2^{365}\cdot 3^{105}\cdot 7^{104}$: a solvable group $G$ and a non-solvable group $H$, such that for every integer $n$ the groups have the same number of elements of order $n$. This answers a question posed in 1987 by John G. Thompson.

Group Theory

What problem does this paper attempt to address?

A note about solvable and non-solvable finite groups of the same order type

Peter Müller

2024-08-15

Abstract:Two finite groups are said to have the same order type if for each positive integer $n$ both groups have the same number of elements of order $n$. In 1987 John G. Thompson asked if in this case the solvability of one group implies the solvability of the other group. In 2024 Pawel Piwek gave a negative example. He constructed two groups of order $2^{365}\cdot3^{105}\cdot7^{104}\approx7.3\cdot10^{247}$ of the same order type, where only one is solvable. In this note we produce a much smaller example of order $2^{13}\cdot3^4\cdot7^3=227598336$.

Group Theory
Finite Groups in Which the Number of Classes of Non-nilpotent Proper Subgroups of the Same Order is Given

SHI Jiangtao,ZHANG Cui

2011-01-01

Abstract:As an extension of Schmidt theorem,the following results are obtained:(1) A finite group with less than 3 classes of non-nilpotent proper subgroups of the same order is solvable;(2) G is a non-solvable group with exactly 3 classes of non-nilpotent proper subgroups of the same order if and only if G≌A_5 or G≌SL_2(5).Furthermore,non-solvable groups with at most 5 classes of non-trivial nilpotent subgroups of the same order and non-solvable groups with at most 9 classes of non-trivial subgroups of the same order are completely classified.
On the solvability of regular subgroups in the holomorph of a finite solvable group

Cindy Tsang,Chao Qin

DOI: https://doi.org/10.1142/S0218196719500735

2019-09-02

Abstract:We exhibit infinitely many natural numbers $n$ for which there exists at least one insolvable group of order $n$, and yet the holomorph of any solvable group of order $n$ has no insolvable regular subgroup. We also solve Problem 19.90 (d) in the Kourovka notebook.

Group Theory,Number Theory,Quantum Algebra
On a bijection between a finite group to a non-cyclic group with divisibility of element orders

Mohsen Amiri

2024-10-24

Abstract:Consider a finite group $G$ of order $n$ with a prime divisor $p$. In this article, we establish, among other results, that if the Sylow $p$-subgroup of $G$ is neither cyclic nor generalized quaternion, then there exists a bijection $f$ from $G$ onto the abelian group $C_{\frac{n}{p}}\times C_p$ such that for every element $x$ in $G$, the order of $x$ divides the order of $f(x)$. This resolves Question 1.5 posed in [15]. As application of our results, we show that the group with the third largest value of the sum of element orders in the set of all finite groups of order $n$ is a solvable $p$-nilpotent group where $p$ is the smallest prime divisor of $n$ such that the Sylow $p$-subgroups are not cyclic.

Group Theory
Finite Groups with a Given Number of Conjugacy Classes of Non-nilpotent Maximal Subgroups

SHI Jiang-tao,ZHANG Cui,SHEN Zhen-cai

DOI: https://doi.org/10.3969/j.issn.1000-0984.2013.07.027

2013-01-01

Abstract:In this paper,we prove that a finite group with exactly two conjugacy classes of non-nilpotent maximal subgroups is solvable.Furthermore,we give an equivalent characterization of a finite non-solvable group with exactly two classes of non-nilpotent maximal subgroups of the same order.
On the solvability of a finite group by the sum of subgroup orders

Marius Tărnăuceanu

2024-09-20

Abstract:Let $G$ be a finite group and $\sigma_1(G)=\frac{1}{|G|}\sum_{H\leq G}\,|H|$. Under some restrictions on the number of conjugacy classes of (non-normal) maximal subgroups of $G$, we prove that if $\sigma_1(G)<\frac{117}{20}\,$, then $G$ is solvable. This partially solves an open problem posed in \cite{9}.

Group Theory
Finite Non-solvable Groups with a Small Number of Conjugacy Classes of Non-trivial Cyclic Subgroups

Jiang-tao SHI,Cui ZHANG

DOI: https://doi.org/10.3969/j.issn.1001-6600.2014.03.009

2014-01-01

Abstract:The structures of finite groups having at most two conjugacy classes of non-trivial cyclic sub-groups are completely characterized.It is proven that a finite non-solvable group G having at most four conjugacy classes of non-trivial cyclic subgroups must be isomorphic to PSL2 (r ),where r =5,7,8,9.
Solvabilizer Numbers of Finite Groups

Banafsheh Akbari,Tuval Foguel,Jack Schmidt

2024-05-03

Abstract:Consider a nonsolvable finite group G, where R(G) represents the solvable radical of G. For any element x in G, the solvabilizer of x in G, denoted by Sol_G(x), is defined as the set of all elements y in G such that the subgroup generated by x and y is solvable. Notably, the entirety of G can be expressed as the union over all x in G\R(G) of their respective solvabilizers: $G = \cup_{x\in G\R(G)} Sol_G(x). A solvabilizer covering of G is characterized by a subset X of G\R(G) such that G= \cup_{x\in X} Sol_G(x). The solvabilizer number of G is then defined as the minimum cardinality among all solvabilizer coverings of G. This paper delves into the exploration of the solvabilizer number for diverse nonsolvable finite groups G, shedding light on the interplay between solvability and the structure of these groups.

Group Theory
On Thompson Problem

Rulin Shen,Wujie Shi,Feng Tang

2023-09-18

Abstract:In 1987, the second author of this paper reported his conjecture, all finite simple groups $S$ can be characterized uniformly using the order of $S$ and the set of element orders in $S$, to Prof. J. G. Thompson. In their communications, Thompson posed his problem about the judgment of solvability of finite groups $G$. In this paper we give a positive answer for Thompson's problem if the prime graph of $G$ is not connection.

Group Theory
Profinite groups with soluble centralisers

Pavel Shumyatsky,Anitha Thillaisundaram

2024-06-01

Abstract:We show that a profinite group, in which the centralisers of non-trivial elements are metabelian, is either virtually pro-$p$ or virtually soluble of derived length at most 4. We furthermore show that a prosoluble group, in which the centralisers of non-trivial elements are soluble of bounded derived length, is either soluble or virtually pro-$p$.

Group Theory
Nonsolvable Groups Satisfying the Prime-Power Hypothesis

Yanjun Liu,Xueling Song,Jiping Zhang

DOI: https://doi.org/10.1016/j.jalgebra.2014.02.010

IF: 0.908

2015-01-01

Journal of Algebra

Abstract:Let G be a finite group with the degree set cd(G) of its complex irreducible characters. We call that G satisfies the prime-power hypothesis if, for distinct degrees χ(1),ψ(1)∈cd(G), the greatest common divisor gcd⁡(χ(1),ψ(1)) is a prime power. In this paper, we show that |cd(G)|⩽18 if G is a nonsolvable group satisfying the prime-power hypothesis.
Non-solvable torsion-free virtually solvable groups

Jonathan A. Hillman

2023-10-17

Abstract:We show that a non-solvable, torsion-free, virtually solvable group $S$ must have Hirsch length $h(S)\geq10$. If $h(S)<14$ then $A_5$ is the only simple factor. If $S$ is virtually nilpotent and $h(S)\leq14$ then its Fitting subgroup has nilpotency class $\leq3$. (There are virtually abelian examples with $h(S)=15$, and this is known to be best possible for such groups.)

Group Theory
Another criterion for supersolvability of finite groups

Marius Tărnăuceanu

DOI: https://doi.org/10.48550/arXiv.2201.04760

2022-01-13

Abstract:Let $o(G)$ be the average order of a finite group $G$. In this paper, we prove that if $o(G)<\frac{31}{12}$\,, then $G$ is supersolvable. Moreover, we have $o(G)=\frac{31}{12}$ if and only if $G\cong A_4$. We also classify finite groups $G$ satisfying $o(G)<\frac{31}{12}$\,.

Group Theory
On the number of circular orders on a group

Adam Clay,Kathryn Mann,Cristóbal Rivas

DOI: https://doi.org/10.48550/arXiv.1704.06242

2017-04-21

Abstract:We give a classification and complete algebraic description of groups allowing only finitely many (left multiplication invariant) circular orders. In particular, they are all solvable groups with a specific semi-direct product decomposition. This allows us to also show that the space of circular orders of any group is either finite or uncountable. As a special case and first step, we show that the space of circular orderings of an infinite Abelian group has no isolated points, hence is homeomorphic to a cantor set.

Group Theory,Dynamical Systems
On CLT and non-CLT groups

Marius Tărnăuceanu

2024-03-09

Abstract:In this note, we prove that for every integer $d\geq 2$ which is not a prime power, there exists a finite solvable group $G$ such that $d\mid |G|$, $\pi(G)=\pi(d)$ and $G$ has no subgroup of order $d$. We also introduce the CLT-degree of a finite group and answer two questions about it.

Group Theory
Second Maximal Invariant Subgroups and Solubility of Finite Groups

Changguo Shao,Antonio Beltrán

DOI: https://doi.org/10.1007/s40304-021-00279-y

2022-11-24

Communications in Mathematics and Statistics

Abstract:Let G be a finite group and assume that a group of automorphisms A is acting on G such that A and G have coprime orders. We prove that the fact of imposing specific properties on the second maximal A -invariant subgroups of G determines that G is either soluble or isomorphic to a few non-soluble groups such as PSL(2, 5) or SL(2, 5).

mathematics
Finite Solvable Groups Whose Character Degree Graphs Are Not Complete

Jiping Zhang

DOI: https://doi.org/10.1142/s1005386706000496

2006-01-01

Algebra Colloquium

Abstract:In this paper, we characterize the finite solvable groups with non-complete character degree graphs by proving the following theorem, which generalizes a conjecture by Huppert. Suppose that G is a finite solvable group and p is a prime number dividing the degree of some irreducible character of G. If there is another such prime number q such that pq does not divide the degree of any irreducible character of G, then both p-length lp(G) and q-length lq(G) of G are at most two, and lp(G)+ lq(G)=4 if and only if pq=6 with QG/Zφ(QG)≅ 32:GL(2,3), where QG is generated by all Sylow 2-subgroups of G and Zφ(G) is a normal nilpotent subgroup of G. Moreover, the bounds are best possible.
Groups with supersolvable automorphism group

Benjamin Sambale

2024-09-21

Abstract:We call a finite group G ultrasolvable if it has a characteristic subgroup series whose factors are cyclic. It was shown by Durbin--McDonald that the automorphism group of an ultrasolvable group is supersolvable. The converse statement was established by Baartmans--Woeppel under the hypothesis that G has no direct factor isomorphic to the Klein four-group. We extend this result by proving that Aut(G) is supersolvable if and only if G is ultrasolvable or G=H\times C_2\times C_2 where H is ultrasolvable of odd order. This corrects an erroneous claim by Corsi Tani. Our proof is more elementary than Baartmans--Woeppel's and uses some ideas of Corsi Tani and Laue.

Group Theory
Finite solvable tidy Groups whose orders are divisible by two primes

Nicolas F. Beike,Rachel Carleton,David G.Costanzo,Colin Heath,Mark L. Lewis,Kaiwen Lu,Jamie D. Pearce

2024-01-21

Abstract:In this paper, we investigate finite solvable tidy groups. We classify the tidy $\{ p, q \}$-groups. Combining this with a previous result, we are able to characterize the finite tidy solvable groups. Using this characterization, we bound the Fitting height of finite tidy solvable groups and we prove that the quotients of finite tidy solvable groups are tidy.

Group Theory

Solvable and non-solvable finite groups of the same order type

A note about solvable and non-solvable finite groups of the same order type

Finite Groups in Which the Number of Classes of Non-nilpotent Proper Subgroups of the Same Order is Given

On the solvability of regular subgroups in the holomorph of a finite solvable group

On a bijection between a finite group to a non-cyclic group with divisibility of element orders

Finite Groups with a Given Number of Conjugacy Classes of Non-nilpotent Maximal Subgroups

On the solvability of a finite group by the sum of subgroup orders

Finite Non-solvable Groups with a Small Number of Conjugacy Classes of Non-trivial Cyclic Subgroups

Solvabilizer Numbers of Finite Groups

On Thompson Problem

Profinite groups with soluble centralisers

Nonsolvable Groups Satisfying the Prime-Power Hypothesis

Non-solvable torsion-free virtually solvable groups

Another criterion for supersolvability of finite groups

On the number of circular orders on a group

On CLT and non-CLT groups

Second Maximal Invariant Subgroups and Solubility of Finite Groups

Finite Solvable Groups Whose Character Degree Graphs Are Not Complete

Groups with supersolvable automorphism group

Finite solvable tidy Groups whose orders are divisible by two primes