Ordinary $G$-permutable subgroups of finite simple groups

Abstract

We completely solve part (a) of Problem 17.112 in the Kourovka Notebook. We prove that a non-abelian finite simple group $G$ has a proper non-trivial ordinary $G$-permutable subgroup if and only if $G$ is isomorphic to ${\rm PSL_2(q)}$ where $q\geq4$ is a prime power and $q\not\equiv3\pmod4$, ${}^2B_2(2^{2a+1})$ where $a\geq1$, $J_1$, ${\rm Sp}_4(4)$, or ${\rm PSp}_4(p)$ where $p$ is prime and $p\equiv1,13,17\pmod{24}$. Moreover, we classify all proper non-trivial ordinary $G$-permutable subgroups of these groups. Every other non-abelian finite simple group $G$ has no proper non-trivial ordinary $G$-permutable subgroup.