A covering subgroup system for the class of \(p\)-nilpotent groups. (Q1760510)

Let \(\mathfrak F\) be a class of groups. A set \(\Sigma\) of subgroups of \(G\) is called an `\(\mathfrak F\)-covering subgroup system' of \(G\) if \(G\in\mathfrak F\) whenever every subgroup in \(\Sigma\) is in \(\mathfrak F\). \textit{W. Guo, K. P. Shum} and \textit{A. N. Skiba} studied [in Sib. Mat. Zh. 45, No. 3, 527-539 (2004); translation in Sib. Math. J. 45, No. 3, 433-442 (2004; Zbl 1079.20024)] subgroup covering systems for the classes of all nilpotent and all supersoluble groups. A subgroup \(H\) of a group \(G\) is s-permutable if \(H\) permutes with all Sylow subgroups of \(G\). If \(H\) is a subgroup of \(G\) and \(\mathfrak F\) is a class of groups, we say that \(H\) is `\(\mathfrak F_s\)-quasinormal' in \(G\) if there exists a normal subgroup \(T\) of \(G\) such that \(HT\) is s-permutable in \(G\) and \((H\cap T)H_G/H_G\) is contained in the \(\mathfrak F\)-hypercentre \(Z_{\mathfrak F}(G/H_G)\) of \(H/H_G\). This paper shows some sufficient conditions for a group \(G\) to possess an \(\mathfrak F\)-covering subgroup system for a class of groups \(\mathfrak F\). For example (Theorem~3.1), if \(p\) is a prime divisor of \(G\) with \((|G|,p^2-1)=1\) and \(\mathfrak F\) is the class of all \(p\)-nilpotent groups, and \(G\) has a normal subgroup \(N\) such that \(G/N\in\mathfrak F\) and there exists a set \(\mathcal H\) of subgroups of \(G\) such that for every \(2\)-maximal subgroup \(M\) of each Sylow \(p\)-subgroup of \(N\) which is not \(\mathfrak F_s\)-quasinormal in \(G\), \(\mathcal H\) contains a supplement of \(M\) in \(G\), then \(\mathcal H\) forms an \(\mathfrak F\)-covering subgroup system. A similar result is obtained for maximal subgroups instead of \(2\)-maximal subgroups and \((|G|, p-1)=1\) (Theorem~3.2), when for every cyclic subgroup \(L\) of order \(p\) or \(4\) of \(N\) which is not \(\mathfrak F_s\)-quasinormal in \(G\), \(\mathcal H\) contains a supplement of \(L\) in \(G\) and \((|G|,p-1)=1\) (Theorem~3.3) or when for every subgroup \(L\) of order \(p^2\) of \(N\) which is not \(\mathfrak F_s\)-quasinormal in \(G\), \(\mathcal H\) contains a supplement of \(L\) in \(G\) and \((|G|,p^2-1)=1\) (Theorem~3.4). Some examples show the necessity of the conditions \((|G|,p-1)=1\) or \((|G|,p^2-1)=1\). The property \(\mathfrak F_s\) extends both s-permutability and c-normality, among other known subgroup embedding properties.