On the supersolubility of a group with semisubnormal factors (Q2197980)

All groups in the paper under review and in this report are finite. A subgroup \(A\) of a group \(G\) is said to be \emph{seminormal} if there exists a subgroup \(B\) of \(G\) such that \(G=AB\) and \(AX\) is a subgroup of \(G\) for each subgroup \(X\) of \(B\). The authors call a subgroup \emph{semisubnormal} in \(G\) if it is subnormal or seminormal in~\(G\). The authors study groups factorised as a product \(G=AB\) of two semisubnormal subgroups \(A\) and~\(B\). In the case that both subgroups \(A\) and \(B\) are supersoluble, it is proved that \(G\) is supersoluble provided that \(A\) is nilpotent (Theorem~A) or the derived subgroup \(G'\) of \(G\) is nilpotent (Theorem~B). These results extend well-known results for products of normal subgroups or for products of mutually permutable subgroups. Furthermore, in this case the supersoluble residual coincides with the nilpotent residual of the derived subgroup of \(G\) and, if \(A\) and \(B\) have relatively prime indices, this residual is the intersection of the metanilpotent residual of \(G\) and the intersection of the residuals for the formations of all soluble \(\{p,q\}\)-groups for all sets \(\{p,q\}\) of primes (Theorem~C). Here, a formation of groups is a class of groups closed under taking quotients and subdirect products and the residual \(G^{\mathcal{F}}\) of a group~\(G\) for a formation of groups \(\mathcal{F}\) is the smallest normal subgroup \(N\) of \(G\) such that \(G/N\in\mathcal{F}\). On the other hand, it is shown that if \(G=AB\) and \(A\) and \(B\) have all Sylow subgroups semisubnormal in~\(G\), then \(G\) is supersoluble (Theorem~D). For \(p\)-soluble groups that are products of two \(p\)-supersoluble semisubnormal groups for a prime \(p\), Theorems~A and~B are localised in Theorems~E and~F: the product \(G=AB\) is \(p\)-supersoluble provided that \(A\) is \(p\)-nilpotent (Theorem~E) or \(G'\) is \(p\)-nilpotent (Theorem~F). Finally, the \(p\)-supersoluble residual of a \(p\)-soluble group that is the product of two semisubnormal \(p\)-supersoluble subgroups \(A\) and \(B\) coincides with the \(p\)-nilpotent residual of its derived subgroup (Theorem~G).