Finite groups with supersolvable subgroups of even order (Q6964837)

All groups in the paper under review and in this report are finite. Given a class of groups \(\mathfrak{X}\), we say that a group \(G\) is \textit{\(\mathfrak{X}\)-critical} or a \textit{minimal non-\(\mathfrak{X}\)-group} if \(G\notin\mathfrak{X}\), but all proper subgroups of \(G\) belong to~\(\mathfrak{X}\). The knowledge of minimal non-\(\mathfrak{X}\)-groups is useful in some inductive arguments to prove that some groups belong to~\(\mathfrak{X}\) and gives some insight into what makes a group belong to~\(\mathfrak{X}\).\N\NNatural generalizations of this concept appear when we analyse groups \(G\) that do not belong to the class~\(\mathfrak{X}\), but the members of a relevant family of proper subgroups of~\(G\) belong to~\(\mathfrak{X}\). Here, \textit{\(\mathfrak{X}\)-semicritical} groups with respect to a prime~\(p\) are considered, that is, groups that do not belong to~\(\mathfrak{X}\), but all proper subgroups of order divisible by~\(p\) belong to~\(\mathfrak{X}\). The first main theorem of this paper about \(\mathfrak{U}\)-semicritical groups with respect to~\(2\), where \(\mathfrak{U}\) denotes the class of all supersoluble groups, is Theorem~1.2: Let \(G\) be a \(\mathfrak{U}\)-semicritical group with respect to~\(2\). Then \(G\) is soluble. Furthermore, if \(G\) is a group of even order, then \(\lvert \pi(G)\rvert \le 4\) and one of the following statements holds:\N\begin{itemize}\N\item[1.] \(G\) is a \(\mathfrak{U}\)-critical group.\N\item[2.] The Sylow \(2\)-subgroups of \(G\) are of order~\(2\); in particular, \(G\) is \(2\)-nilpotent.\N\end{itemize}\N\NIn particular, \(\mathfrak{U}\)-semicritical groups with respect to~\(2\) with order divisible by~\(4\) are \(\mathfrak{U}\)-critical. The second main result concerns non-soluble groups with all maximal subgroups \(\mathfrak{U}\)-semicritical with respect to~\(2\) (Theorem~1.4). It is proved that, in this case, \(G/{\operatorname{Z}(G)}\) is isomorphic to one of the following groups:\N\begin{itemize}\N\item[1.] \(\operatorname{PSL}(2, p)\), where \(p\) is a prime with \(p>3\), \(5\nmid p^2-1\) and \(16\nmid p^2-1\).\N\item[2.] \(\operatorname{PSL}(2, 2^f)\), where \(f\) is a prime.\N\item[3.] \(\operatorname{PSL}(2, 3^f)\), where \(f\) is an odd prime.\N\end{itemize}