On \({\mathcal F}\)-subnormal subgroups and \({\mathcal F}\)-residuals of finite soluble groups (Q1125894)

Suppose that \({\mathfrak F}\) is a saturated formation. A maximal subgroup \(M\) of a group \(G\) is called \(\mathfrak F\)-normal in \(G\) if \(G/\text{Core}_G(M)\in{\mathfrak F}\). A subgroup \(H\) of the group \(G\) is called \(\mathfrak F\)-subnormal in \(G\) if either \(H=G\) or exists a chain \(H=H_0\leq H_1\leq\dots\leq H_n=G\) such that \(H_i\) is an \({\mathfrak F}\)-normal maximal subgroup of \(H_{i+1}\) for \(0\leq i<n\). Let \({\mathfrak F}\) be a subgroup-closed saturated formation containing \(\mathfrak N\), the class of all nilpotent groups. The following theorem is proved: 1. The following statements are pairwise equivalent: (i) \(\mathfrak F\) satisfies the property (*) If \(H\) and \(K\) are two \(\mathfrak F\)-subnormal subgroups of a group \(G\) and \(G=HK\), then \(G^{{\mathfrak F}}=H^{{\mathfrak F}}K^{{\mathfrak F}}\). (ii) \({\mathfrak F}\) satisfies the property (**) if \(H\) is an \(\mathfrak F\)-subnormal subgroup of a group \(G\) and \(K\) is a normal subgroup of \(G\) and \(G=HK\), then \(G^{{\mathfrak F}}=H^{{\mathfrak F}}K^{{\mathfrak F}}\). (iii) For each prime \(p\), there exists a set of primes \(\pi(p)\) with \(p\in\pi(p)\) such that \(\mathfrak F\) is locally defined by the formation function \(f\) given by \(f(p)={\mathfrak S}_{\pi(p)}\). These sets of primes satisfy the following property: If \(q\in\pi(p)\) then \(\pi(q)\subseteq\pi(p)\) for every pair of prime numbers \(p\), \(q\). 2. The following statements are pairwise equivalent: (A) If \(H\) is an \(\mathfrak F\)-subnormal subgroup of a group \(G\) then: \(\langle H,H^g\rangle^{{\mathfrak F}}=\langle H^{{\mathfrak F}},(H^g)^{{\mathfrak F}}\rangle\) for all \(g\in G\). (B) Let \(F\) be the full and integrated local formation function defining \({\mathfrak F}\). Then there exists a partition \(\{\pi_i\}_{i\in L}\) of the set of all primes, such that \(F(p)={\mathfrak S}_{\pi_i}\), for every prime number \(p\in \pi\) and for every \(i\in L\). (C) If \(H\) and \(K\) are two \(\mathfrak F\)-subnormal subgroups of a group \(G\), then \(\langle H,K\rangle^{{\mathfrak F}}=\langle H^{{\mathfrak F}},K^{{\mathfrak F}}\rangle\). Remark: Theorem 2 is a corollary of \textit{S. F. Kamornikov}'s theorems [see Sib. Mat. Zh. 35, No. 4, 801-812 (1994; Zbl 0851.20012)].