Year: 2026
Type: preprint
Abstract: A subgroup $A$ of a finite group $G$ is \emph{hereditarily $G$-permutable} if, for every subgroup $E$ with $A\leq E\leq G$ and every subgroup $B$ of $E$, some $G$-conjugate of $B$ permutes with $A$ in $E$. We give a new criterion for a finite group to be simple. A nontrivial finite group $G$ is simple if and only if it has no proper nontrivial hereditarily $G$-permutable subgroup. This proves the conjecture of Galt and Tyutyanov and answers Skiba's question in part \textup{(b)} of Problem 17.112 in the Kourovka Notebook. Earlier work settled the conjecture for alternating groups, sporadic groups, exceptional groups of Lie type, and the groups ${\rm PSL}_2(q)$ and ${\rm PSU}_3(q)$. We prove the conjecture for all classical groups. The proof uses descent through parabolic subgroups and the classification of factorizations of finite simple groups.
Source: arXiv (Cornell University)
Author: Zhang, Shengmin
Language: English
Topic: Finite Group Theory Research
Subfield: Discrete Mathematics and Combinatorics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7221119327