Qi Liang, Yanheng Chen^*, Jiawei Li
School of Mathematics and Statistics (Three Gorges Big Data Institute), Chongqing Sanxia University of Science and Technology, Wanzhou, China.
DOI: 10.4236/jamp.2026.1411210   PDF    HTML   XML   1 Downloads   38 Views   Citations

Abstract

For a finite group $G$ and any $x\in G$ , $G_x$ is defined to be the unique minimal subnormal subgroup of $G$ that contains the element $x$ . The conjugacy class of $x$ in $G_x$ is called the sub-class of $x$ in $G$ , and its size is called the sub-class size of $x$ in $G$ . This note mainly investigates finite groups that admit a normal series in which every factor group has sub-class size 1. It is proved that if each factor group of some normal series of a finite group $G$ has sub-class size 1, then $G$ is solvable. Conversely, if $G$ is solvable, then there exists a normal series of $G$ such that each of its factor groups has sub-class size 1. In particular, $G$ is a solvable group if and only if each chief factor of $G$ has sub-class size 1.

Keywords

Finite Groups, Sub-Class Sizes, Factor Group, Solvable Group

Share and Cite:

1. Introduction

The study of group structure has been a central theme in group theory. With the development of this field, it has been recognized that various conjugacy invariants reflect the global structures of finite groups from different perspectives. The conjugacy classes of elements arise directly from the conjugation action of finite groups, and since the 20th century their numerical properties have served as an important tool for studying the structure of finite groups. Extensive research has been devoted to exploring how the sizes of conjugacy classes influence the structure of finite groups [1].

In the study of conjugacy class sizes, two main aspects are typically considered. The first concerns how the set of conjugacy class sizes affects the structure of finite groups (see [2]-[5]). The second examines the role of conjugacy class sizes satisfying specific arithmetical conditions in determining the structure of finite groups (see [6]-[8]). It should be noted that these two research directions are not completely isolated, researchers often combine them to analyze the nilpotency, solvability, and finer structural properties of finite groups.

When considering subnormal subgroups, it is sometimes insufficient to consider only the arithmetic conditions and set-theoretic characteristics of conjugacy class sizes. Therefore, researchers have begun to refine and generalize the concept of conjugacy class. In 2020, Qian Guohua and Yang Yong proposed the notions of sub-class and sub-class size in [9], which serve as a generalization of conjugacy class at the level of minimal subnormal subgroups. It is known that subnormal subgroups are closed under intersection. Consequently, each element $x$ of a finite group $G$ is contained in precisely one minimal subnormal subgroup of $G$ , denoted by $G_x$ . We define the sub-class of $x$ in $G$ by

$x^{G^{\text{*}}}\triangleq x^{G_x}=\left\{x^g|g\in G_x\right\},$

and the sub-class size of $x$ in $G$ is defined as the number of elements in $x^{G^{\text{*}}}$ , written as $\left|x^{G^{\text{*}}}\right|$ . Furthermore, we define

$c{s}^{\text{*}}\left(G\right)=\left\{\left|x^{G^{\text{*}}}\right||x\in G\right\},$

which represents the set of sub-class sizes of the group $G$ .

The definition of a sub-class implies that the set of sub-class sizes forms a divisor set of the conjugacy class sizes. For example, consider the symmetric group $S_4$ , the set of conjugacy class sizes is $cs\left(S_4\right)=\left\{1,3,6,8\right\}$ , while the set of sub-class sizes is $c{s}^{\text{*}}\left(S_4\right)=\left\{1,4,6\right\}$ . For a finite simple group $G$ , the sub-class sizes coincide with the conjugacy class sizes, for instance,

$cs\left(A_5\right)=c{s}^{\text{*}}\left(A_5\right)=\left\{1,12,15,20\right\}$ .

Therefore, sub-class and sub-class size can be regarded as generalizations of conjugacy class and conjugacy class size in some sense.

Some classical results on arithmetical conditions of conjugacy class size have been successfully generalized to sub-class size. For example, a finite group $G$ is abelian precisely when $cs\left(G\right)=1$ . This result has been generalized to the statement that a finite group $G$ is nilpotent precisely when $c{s}^{\text{*}}\left(G\right)=1$ ([9] Corollary 2.3). Other parallel generalizations can be found in Theorems 1.4, 1.5, and 1.7 of [9].

A standard result states that a finite group $G$ is solvable if and only if it possesses a normal series

$G=G_0⊵G_1⊵\cdots ⊵G_s=1,$

in which each factor $G_i/G_{i+1}$ is abelian, i.e., $cs\left(G_i/G_{i+1}\right)=1$ for $i=0,\cdots ,s-1$ . A natural question is whether this classical result admits a parallel extension to sub-class. Obviously, for a finite solvable group, the sub-class sizes of its chief factors are all 1. Conversely, what is the structure of a finite group possessing a chief series each of whose chief factors has sub-class size 1? Or more generally, what is the structure of a finite group possessing a normal series each of whose factors has sub-class size 1? In this note, we investigate these questions, and while achieving such a parallel generalization, also obtain some new characterizations of solvability for finite groups.

For convenience, all groups considered in this paper are finite. For a group $G$ , we define the Fitting subgroup $F\left(G\right)$ as the subgroup generated by all nilpotent normal subgroups of $G$ . Define

$F_0\left(G\right)=1,F_1\left(G\right)=F\left(G\right),F_{k+1}\left(G\right)/F_k\left(G\right)=F\left(G/F_k\left(G\right)\right),$

where $k$ is a nonnegative integer. Since $G$ is finite, $F_k\left(G\right)$ eventually stabilizes. Let $s$ be the least nonnegative integer satisfying

$F_s\left(G\right)=F_{s+1}\left(G\right).$

This gives rise to a characteristic series of $G$

$1=F_0\left(G\right)\le F_1\left(G\right)=F\left(G\right)\le F_2\left(G\right)\le \cdots \le F_k\left(G\right)\le \cdots \le F_s\left(G\right),$

which is called the upper Fitting series of $G$ , and s is called the stabilization index of the upper Fitting series of $G$ . In particular, $s$ is referred to as the Fitting length of $G$ if $G$ is solvable. The rest of the notation and terminology follows standard conventions and can be found in [10] [11].

2. Preliminary

In this section, we present several necessary lemmas needed in the proofs of our theorems.

Lemma 2.1 ([9] Remark 1.8; Remark 1.10) Let $G$ be a group and $N$ be any normal (or subnormal) subgroup of $G$ . Then for every $x\in N$ , we have $N_x=G_x$ , $x^{N_x}=x^{G_x}$ , and $\left|x^{N^{*}}\right||\left|x^G\right|$ .

Lemma 2.2 ([10] Theorem 2.2) If $N$ is a nilpotent subnormal subgroup of a group $G$ , then $N\subseteq F\left(G\right)$ .

Lemma 2.3 ([12] Chapter 3, Theorem 2; Remark 2) Let $G$ be a group. Then $F\left(G\right)=\left\{x\in G|\langle x\rangle ⊲⊲G\right\}$ . Furthermore, $G$ is nilpotent if and only if $\langle x\rangle ⊲⊲G$ for all $x\in G$ .

3. Finite Groups with Sub-Class Size 1

Theorem 3.1 Let $G$ be a group. Then $x\in F\left(G\right)$ if and only if $\left|x^{G^{*}}\right|=1$ . Moreover, $F\left(G\right)=\left\{x\in G|\left|x^{G^{*}}\right|=1\right\}$ .

Proof. First we prove necessity. By Lemma 2.3, $\langle x\rangle ⊲⊲G$ for each $x\in F\left(G\right)$ . Hence $\langle x\rangle$ is a minimal subnormal subgroup of $G$ containing $x$ , and thus $\left|x^{G^{*}}\right|=\left|x^{\langle x\rangle }\right|=1$ .

Now we prove sufficiency. Suppose $x\in G$ and $\left|x^{G^{*}}\right|=1$ . Then

$\left|x^{G^{*}}\right|=\left|G_x:C_{G_x}\left(x\right)\right|=1$ , so $C_{G_x}\left(x\right)=G_x$ , meaning $x\in Z\left(G_x\right)$ . Consequently, $\langle x\rangle ⊴Z\left(G_x\right)⊴G_x⊲⊲G$ , which implies $\langle x\rangle ⊲⊲G$ . Then by the minimality of $G_x$ and Lemma 2.3, we obtain $G_x=\langle x\rangle$ and $x\in F\left(G\right)$ .

In summary, $x\in F\left(G\right)$ if and only if $\left|x^{G^{*}}\right|=1$ , and further we obtain $F\left(G\right)=\left\{x\in G|\left|x^{G^{*}}\right|=1\right\}$ . Thus the conclusion is proved.

Combining the results of Lemma 2.3 and Theorem 3.1, we can give two characterizations of elements in the Fitting subgroup.

Corollary 3.2 For a group $G$ , the conditions below are equivalent.

1. $x\in F\left(G\right)$ ;

2. $\langle x\rangle ⊲⊲G$ ;

3. $\left|x^{G^{\text{*}}}\right|=1$ .

Using Theorem 3.1, we can provide a direct proof of Corollary 2.3 in [9] below.

Corollary 3.3 Let $G$ be a group. Then $G$ is nilpotent if and only if $c{s}^{*}\left(G\right)=1$ .

Proof. Assume first that $G$ is nilpotent, then $G=F\left(G\right)$ . By Theorem 3.1, for every $x\in G$ , we have $\left|x^{G^{*}}\right|=1$ , which means $c{s}^{\text{*}}\left(G\right)=1$ .

Conversely, suppose that $c{s}^{\text{*}}\left(G\right)=1$ , then $\left|x^{G^{*}}\right|=1$ for all $x\in G$ . By Theorem 3.1, which implies $x\in F\left(G\right)$ for every $x\in G$ , so $G\subseteq F\left(G\right)$ . Therefore, $G=F\left(G\right)$ , i.e., $G$ is nilpotent. This establishes the desired equivalence.

Combining Lemma 2.3 with Corollary 3.3, we obtain the following two characterizations of nilpotent groups.

Corollary 3.4 For a group $G$ , the statements below are equivalent.

1. $G$ is nilpotent;

2. $\langle x\rangle ⊲⊲G$ for all $x\in G$ ;

3. $c{s}^{\text{*}}\left(G\right)=1$ .

4. Finite Groups with All Factor Groups Having Sub-Class Size 1

Theorem 4.1 Let $1=F_0\left(G\right)\le F_1\left(G\right)\le F_2\left(G\right)\le \cdots \le F_s\left(G\right)$ be the upper Fitting series of a group $G$ . Then $F_s\left(G\right)$ is solvable and $G/F_s\left(G\right)$ has no nontrivial solvable normal subgroup.

Proof. By the definition of the upper Fitting series, each factor $F_{i+1}\left(G\right)/F_i\left(G\right)$ for $i=1,2,\cdots ,s-1$ is nilpotent, and hence solvable. Since $F_1\left(G\right)=F\left(G\right)$ is nilpotent and $F_2\left(G\right)/F_1\left(G\right)$ is solvable, it follows that $F_2\left(G\right)$ is solvable. Proceeding in this manner, $F_3\left(G\right)$ is solvable, then $F_4\left(G\right)$ is solvable, and continuing inductively we conclude that $F_s\left(G\right)$ is solvable.

Assume that $G/F_s\left(G\right)$ contains a nontrivial solvable normal subgroup. Choose a minimal solvable normal subgroup $N$ in $G/F_s\left(G\right)$ , which is abelian. Hence $G/F_s\left(G\right)$ contains a nontrivial nilpotent normal subgroup. This would force the stabilization index of $G$ greater than $s$ , a contradiction.

Theorem 4.1 directly yields the following equivalent condition for the solvability of finite groups.

Corollary 4.2 Let $1=F_0\left(G\right)\le F_1\left(G\right)\le F_2\left(G\right)\le \cdots \le F_k\left(G\right)\le \cdots \le F_s\left(G\right)$ be the upper Fitting series of a group $G$ . Then $G$ is solvable if and only if $F_s\left(G\right)=G$ .

Corollary 4.2 implies that a solvable group $G$ always possesses a normal series

$1<F_1\left(G\right)<F_2\left(G\right)<\cdots <F_k\left(G\right)<\cdots <F_s\left(G\right)=G,$

in which all its factor groups are nilpotent. Consequently, by Corollary 3.3, the sub-class sizes of all its factor groups are equal to 1. Conversely, if $G$ admits a normal series

$G=G_0⊵G_1⊵\cdots ⊵G_m=1$

with $c{s}^{\text{*}}\left(G_i/G_{i+1}\right)=1$ for all $i=0,1,\cdots ,m-1$ , then is $G$ solvable, or even supersolvable? Note that it is not necessarily supersolvable. For instance, the symmetric group $S_4$ has a chief series

$1⊴K_4⊴A_4⊴S_4,$

whose chief factors are $K_4\cong C_2\times C_2$ , $A_4/K_4\cong C_3$ , and $S_4/A_4\cong C_2$ , all of which are abelian. Hence, the sub-class sizes of all chief factors are 1, yet $S_4$ is solvable but not supersolvable. In fact, the group $G$ is solvable, as stated in the following theorem.

Theorem 4.3 Suppose $G$ is a group. Then $G$ is solvable if and only if $G$ admits a normal series

$G=G_0⊵G_1⊵\cdots ⊵G_m=1,$

satisfying $c{s}^{\text{*}}\left(G_i/G_{i+1}\right)=1$ for $i=0,\cdots ,m-1$ .

Proof. The necessity is clear, so it remains to prove the sufficiency. The sufficiency can also be proved below by induction on $\left|G\right|$ , or by a similar method used in the proof of Theorem 4.1.

When $\left|G\right|=1$ , the conclusion is clearly true. Assume $\left|G\right|>1$ , all groups of order less than $\left|G\right|$ hold. Since $c{s}^{\text{*}}\left(G/G_1\right)=1$ , Corollary 3.3 implies that $G/G_1$ is nilpotent, hence solvable. Since $G_1$ is a proper normal subgroup of $G$ , its order is less than $\left|G\right|$ . Consider the normal series of $G_1$ ,

$G_1⊵G_2⊵\cdots ⊵G_m=1.$

By the induction hypothesis, $G_1$ is solvable, and therefore $G$ is solvable.

Corollary 4.4 Suppose that a group $G$ possesses a chief series $G=G_0⊵G_1⊵\cdots ⊵G_t=1$ . Then $G$ is solvable if and only if $c{s}^{\text{*}}\left(G_i/G_{i+1}\right)=1$ for $i=0,1,\cdots ,t-1$ .

Proof. Indeed, Theorem 4.3 directly yields the sufficiency. To establish necessity, assume that $G$ is solvable, then all chief factors of $G$ are abelian. Hence, by Corollary 3.3,

$c{s}^{*}\left(G_i/G_{i+1}\right)=1,i=0,1,\cdots ,t-1.$ □

Remark 4.5 Corollary 3.3 characterizes nilpotency from the point of view of the whole group, using the condition $c{s}^{*}\left(G\right)=1$ . In contrast, Theorem 4.3 and Corollary 4.4 turn the viewpoint to the factors of a normal series and to chief factors, characterizing solvability by the sub-class sizes of these factors. The former is the basic result, while the latter are its extensions and refinements.

Remark 4.6 By the method of Theorem 4.3, we obtain the subsequent conclusion: for a fixed prime $p$ dividing $\left|G\right|$ , $G$ is $p$ -solvable if and only if every $p$ -chief factor of $G$ has sub-class size 1.

Combining Theorem 4.3 with the conclusion of Remark 4.6, we obtain two characterizations of solvable groups below.

Corollary 4.7 For a group $G$ , the conditions below are equivalent.

1. $G$ is solvable.

2. For every prime divisor $p$ of $\left|G\right|$ , all $p$ -chief factors of $G$ have sub-class size 1.

3. $G$ admits a normal series

$G=G_0⊳G_1⊳\cdots ⊳G_m=1,$

satisfying $c{s}^{\text{*}}\left(G_i/G_{i+1}\right)=1$ for $i=0,\cdots ,m-1$ .

5. Conclusion

In this note, we studied the structure of finite groups by means of sub-class sizes. We characterized elements of the Fitting subgroup in terms of sub-class size 1. Our main result gives an equivalent condition for the solvability of a finite group: a finite group is solvable if and only if it has a normal series each of whose factors has sub-class size 1. Moreover, this condition can be further reduced to chief factors. Some related results for $p$ -solvable groups are also obtained. Next, we will study the structural characterization of finite groups with a given set of sub-class sizes.

Acknowledgement

This work was supported by the Natural Science Foundation Project of Chongqing (CSTB2022NSCQ-MSX0238).

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1]	Camina, A.R. and Camina, R.D. (2011) The Influence of Conjugacy Class Sizes on the Structure of Finite Groups: A Survey. Asian-European Journal of Mathematics, 4, 559-588.[CrossRef]
[2]	Itô, N. (1953) On Finite Groups with Given Conjugate Types I. Nagoya Mathematical Journal, 6, 17-28.[CrossRef]
[3]	Itô, N. (1970) On Finite Groups with Given Conjugate Types II. Osaka Journal of Mathematics, 7, 231-251.
[4]	Ito, N. (1970) On Finite Groups with Given Conjugate Types. III. Mathematische Zeitschrift, 117, 267-271.[CrossRef]
[5]	Ito, N. (1972) Simple Groups of Conjugate Type Rank 4. Journal of Algebra, 20, 226-249.[CrossRef]
[6]	Camina, A.R. (1972) Arithmetical Conditions on the Conjugacy Class Numbers of a Finite Group. Journal of the London Mathematical Society, 2, 127-132.[CrossRef]
[7]	Chillag, D. and Herzog, M. (1990) On the Length of the Conjugacy Classes of Finite Groups. Journal of Algebra, 131, 110-125.[CrossRef]
[8]	Kong, Q. (2012) Conjugacy Class Sizes and Solvability of Finite Groups. Monatshefte für Mathematik, 168, 267-271.[CrossRef]
[9]	Qian, G. and Yang, Y. (2020) On Sub-Class Sizes of Finite Groups. Journal of the Australian Mathematical Society, 108, 402-411.[CrossRef]
[10]	Isaacs, I.M. (2008) Finite Group Theory. American Mathematical Society.[CrossRef]
[11]	Kurzweil, H. and Stellmacher, B. (2004) The Theory of Finite Groups. Springer.
[12]	Baer, R. (1955) Nilgruppen. Mathematische Zeitschrift, 62, 402-437.[CrossRef]