What problem does this paper attempt to address?

This paper aims to explore and improve the research on the property of commutators having prime - power order (CPPO - group) in finite groups. Specifically, the authors focus on solvable CPPO - groups and prove that if \(G\) is a solvable CPPO - group, then the order of its commutator subgroup \(G'\) can be divisible by at most two different prime numbers. This result improves a previous conclusion, that is, the order of \(G'\) can be divisible by at most three different prime numbers. ### Main contributions of the paper - **Improving existing results**: The paper improves the previous results by reducing the number of prime numbers that may be included in the order of \(G'\), from at most three to at most two. - **Theoretical significance**: This improvement provides a deeper understanding of the structure of CPPO - groups, especially in the context of solvable groups. ### Background knowledge - **EPPO - group**: A group in which the order of each element in a finite group is a prime - power is called an EPPO - group. Such groups have been studied in more detail. For example, the Fitting height of a finite solvable EPPO - group is at most 3, and its order can be divisible by at most two different prime numbers. - **CPPO - group**: A group in which the order of each commutator in a finite group is a prime - power is called a CPPO - group. The structure of this type of group is similar to that of EPPO - groups, but also has its own uniqueness. ### Main theorems The core theorems of the paper are as follows: - **Theorem 1.1**: Let \(G\) be a solvable CPPO - group, then the order of its commutator subgroup \(G'\) can be divisible by at most two different prime numbers. ### Proof ideas - **The method of minimal counterexample**: Assume that \(G\) is a counterexample and has the smallest order. By analyzing the structure of \(G\), especially its Sylow basis and system normalizer, gradually eliminate impossible situations and finally obtain a contradiction. - **Auxiliary lemmas**: A series of lemmas are used in the paper to support the proof of the main theorem, including the properties of conjugate actions, tower structures and Thompson critical subgroups. ### Conclusion Through strict mathematical proofs, the paper improves the understanding of the order of the commutator subgroup of CPPO - groups, and provides new perspectives and tools for further research in related fields.

On soluble groups in which commutators have prime power order

Commutators of elements of coprime orders in finite groups

Bounding the order of complex linear groups and permutation groups with selected composition factors

Strong conciseness of coprime commutators in profinite groups

On finite groups with elements of prime power orders

Finite Σ-Soluble Groups in Which Σ-Permutability is a Transitive Relation

Classification of the Prime Graphs of $\operatorname{Sz}(8)$-, $\operatorname{Sz}(32)$-, and $\operatorname{PSL}(2, 2^5)$-Solvable Groups

Groups satisfying the two-prime hypothesis with a composition factor isomorphic to ${\rm PSL}_2(q)$ for $q\geq 7$

Maximal subgroups and chief factors of certain generalized soluble groups.

Profinite groups with soluble centralisers

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

On Quasisupersoluble and P-Quasisupersoluble Finite Groups

On the number of conjugacy classes of a finite solvable group

Commuting probability for the Sylow subgroups of a finite group

Commuting graphs of odd prime order elements in simple groups

Rank type conditions on commutators in finite groups

Powers of commutators in linear algebraic groups

Characterizations of some classes of finite $\sigma$-soluble $P\sigma T$-groups

Nonsolvable Groups Satisfying the Prime-Power Hypothesis

A note on maximal subgroups of σ-soluble groups