Finite groups admitting maximal subgroup series with certain normality

Year 2026, Issue: Advanced Online Publication , 1 - 11 , 11.02.2026

Feiyu Geng Wei Meng

https://doi.org/10.24330/ieja.1886779

https://izlik.org/JA32AH22FB

Abstract

Let $G$ be a finite group and $H$ be a subgroup of $G$. Then $H$ is said to be $S$-quasinormally embedded in $G$ if for each prime $p$ dividing the order of $H$, a Sylow $p$-subgroup of $H$ is also a Sylow $p$-subgroup of some $S$-quasinormal subgroup of $G$. $H$ is said to be $c$-$c$-permutable in $G$ if for each subgroup $A$ of $G$, there exists an element $ g \in \langle A, H \rangle $ such that $ AH^g = H^gA $. $H$ is said to be an $SS$-quasinormal subgroup of $G$ if there is a supplement $B$ of $H$ to $G$ such that $H$ permutes with every Sylow subgroup of $B$. A subgroup series $\Omega:G=G_{0}>G_{1}>\cdots>G_i>\cdots > G_{n-1}>G_{n} = 1$ is said to be a maximal subgroup series of $G$ if $G_i$ is a maximal subgroup of $G_{i-1}$ for each $i\in\{1,2,\ldots,n\}$. In this paper, we first prove that $G$ is supersolvable if and only if $G$ possesses subnormal maximal series $\Omega$ such that either $G_i$ is $S$-quasinormally embedded in $G$, or $G_i$ is $SS$-quasinormal in $G$ for each $i\in\{1,2,\ldots,n\}$. Second, we prove that if $G$ possesses a maximal subgroup series $\Omega$ such that either $G_i$ is $c$-$c$-permutable in $G$, or $G_i$ is $SS$-quasinormal in $G$, then $G$ is solvable.

Keywords

Maximal subgroup series , $SS$-quasinormal , $S$-quasinormally embedded , $c$-$c$-permutable , supersolvable group

References

• A. Ballester-Bolinches and M. C. Pedraza-Aguilera, Sufficient conditions for supersolubility of finite groups, J. Pure Appl. Algebra, 127(2) (1998), 113-118.
• Y. Berkovich, On the Taketa theorem, J. Algebra, 182(2) (1996), 501-510.
• W. E. Deskins, On quasinormal subgroups of finite groups, Math. Z., 82 (1963), 125-132.
• K. Doerk and T. Hawkes, Finite Soluble Groups, De Gruyter Expositions in Mathematics, 4, Walter de Gruyter & Co., Berlin, 1992.
• W. Guo, K. P. Shum and A. Skiba, Conditionally permutable subgroups and supersolubility of finite groups, Southeast Asian Bull. Math., 29(3) (2025), 493-510.
• R. M. Guralnick, Subgroups of prime power index in a simple group, J. Algebra, 81(2) (1983), 304-311.
• B. Huppert, Endliche Gruppen I, Die Grundlehren der mathematischen Wissenschaften, 134, Springer-Verlag, Berlin-New York, 1967.
• O. H. Kegel, Sylow-gruppen and subnormalteiler endlicher gruppen, Math. Z., 78 (1962), 205-221.
• S. Li, Z. Shen and X. Kong, On SS-quasinormal subgroups of finite groups, Comm. Algebra, 36(12) (2008), 4436-4447.
• S. Li, Z. Shen, J. Liu and X. Liu, The influence of SS-quasinormality of some subgroups on structure of finite groups, J. Algebra, 319(10) (2008), 4275-4287.
• W. Meng and J. Lu, On $SS$-quasinormalities of the maximal subgroup series of finite groups}, preprint.
• G. Qian and F. Tang, Notes on the maximal subgroup series of finite groups, Comm. Algebra, 54(3) (2026), 1113-1116.