Products of \(\mathcal N\)-connected groups. (Q1419633)

Two subgroups \(H\) and \(K\) of a finite group \(G\) are said to be \(\mathcal N\)-connected if \(\langle x,y\rangle\) is nilpotent for each \((x,y)\in H\times K\). This concept, in a more general form goes back to \textit{A. Carocca} [Proc. Edinb. Math. Soc., II. Ser. 39, No. 1, 37-42 (1996; Zbl 0853.20010)]. In the present paper, \(\mathcal N\)-connectedness is studied in the framework of formation and Fitting class theory. Let \(\mathcal F\) be a formation and let the group \(G=G_1G_2\cdots G_r\) be the product of the pairwise \(\mathcal N\)-connected and permutable subgroups \(G_1,G_2,\dots,G_r\). If \(\mathcal F\) is either saturated or a formation of soluble groups containing every nilpotent group, then the \(\mathcal F\)-residue of \(G\) is the product of the \(\mathcal F\)-residues of the groups \(G_i\). In particular, if \(G\in{\mathcal F}\), then \(G_i\in{\mathcal F}\), for \(1\leq i\leq r\) (Proposition 3). A ``dual'' proposition holds for Fischer classes \(\mathcal F\) that contain all nilpotent groups and \(\mathcal F\)-radicals (Proposition 4). For a Fitting class \(\mathcal F\) that contains all nilpotent groups, the following statements are equivalent: (i) if a soluble group \(G=AB\) is the product of the \(\mathcal N\)-connected subgroups \(A\) and \(B\), then the \(\mathcal F\)-radical of \(G\) is the product of the \(\mathcal F\)-radical of \(A\) and the \(\mathcal F\)-radical of \(B\); (ii) if a soluble group \(G=AB\) is the product of the \(\mathcal N\)-connected subgroups \(A\) and \(B\) and \(I\) is an \(\mathcal F\)-injector of \(G\), then \(I=(I\cap A)(I\cap B)\). Moreover, in this case and for such a soluble group \(G=AB\), the product of each \(\mathcal F\)-injector of \(A\) with each \(\mathcal F\)-injector of \(B\) is an \(\mathcal F\)-injector of \(G\). Furthermore, the \(\mathcal F\)-radical and the \(\mathcal F\)-injector of \(G\) are factorised (Proposition 6).