Fitting sets pairs (Q1585302)

Let \(G\) be a group. If \(N\) and \(M\) are finite subgroups of \(G\), a \(G\)-embedding of \(N\) in \(M\) is an embedding \(v\colon N\to M\) such that \(v\) is the restriction to \(N\) of an inner automorphism of \(G\); if, moreover, \(Nv\) is normal in \(M\), then \(v\) is called a normal \(G\)-embedding of \(N\) in \(M\) [\textit{J. Pense}, Dissertation, Johannes-Gutenberg-Universität Mainz (1987; Zbl 0667.20029)]. Let \(\mathbf H\) be a Fitting set of \(G\). An outer \(\mathbf H\)-Fitting sets pair relative to \(G\) is a pair \((d,A)\) which consists of a group \(A\) and a family \((d_U\in\Hom(U,A):U\in{\mathbf H})\) such that for each normal \(G\)-embedding \(v\colon U\to V\in{\mathbf H}\) there exists an inner automorphism \(\alpha\) of \(A\) with \(d_U\alpha=vd_V\). If \(N\) is a normal subgroup of \(G\), then let \({\mathbf E}_N\) denote the Fitting set of \(G\) consisting of all finite subgroups of \(N\). A major result of the present paper is provided by the following theorem: Let \(G\) be a group and let \((d,A)\) be an outer \({\mathbf E}_G\)-Fitting sets pair relative to \(G\). Suppose that \(\mathbf F\) is a Fitting set of \(A\) and the pair \((d,A)\) satisfies the condition that for each \(G\)-embedding \(v\colon V\to U\), \(U,V\in{\mathbf E}_G\), such that \(U_{{\mathbf F}d^{-1}}\) is contained in \(Vv\), there exists an inner automorphism \(\eta\) of \(A\) satisfying \(vd_U=d_V\eta\). Let \(X\in{\mathbf E}_G\) and suppose that the group \(Xd_X\) possesses a single conjugacy class of \(\mathbf F\)-injectors. Then \(X\) possesses a single conjugacy class of \({\mathbf F}d^{-1}\)-injectors (Theorem 4.1). If \(A\) is a group and \(\mathbf X\) is a set of subgroups of \(A\) closed under taking subnormal subgroups, then a Fitting set \(\mathbf F\) of \(A\) is called dominant in \(\mathbf X\) if \({\mathbf F}\subseteq{\mathbf X}\) and for all \(H\in{\mathbf X}\) any two \(\mathbf F\)-maximal subgroups of \(H\) containing the \(\mathbf F\)-radical \(H_{\mathbf F}\) of \(H\) are conjugate in \(H\). In every finite group \(G\), a Fitting set of \(p\)-supersoluble subgroups is obtained which is dominant in the set of all \(p\)-constrained subgroups of \(G\) (Theorem 5.7).