The \(p^*p\)-injectors of a finite group (Q919460)

Given a fixed prime p, a finite group G is said to be a \(p^*p\)-group if \(G=NC_ G^*(N_ p)\) for every \(N\trianglelefteq G\), where \(C^*_ G(N_ p)\) is the largest normal subgroup of \(N_ G(N_ p)\) nilpotent on \(N_ p\). The class of all \(p^*p\)-groups is denoted by \(E_{p^*p}\) and \(E_{p^*}\) is the class of p-perfect \(p^*p\)- groups; the corresponding radicals in a group G are denoted by \(O_{p^*p}(G)\) and \(O_{p^*}(G)\) [\textit{H. Bender}, Hokkaido Math. J. 7, 271-288 (1978; Zbl 0405.20015)]. The class \(E_{p^*}S_ p=\{G|\) \(O^ p(G)\in E_{p^*}\}\) is a Fitting class containing strictly the Fitting class \(E_{p^*p}.\) In this paper the authors prove that every finite group G possesses \({\mathfrak f}\)-injectors where \({\mathfrak f}\) is any Fitting class such that \(E_{p^*p} \subseteq {\mathfrak f} \subseteq E_{p^*}S_ p\). Concretely they prove: Proposition: If \({\mathfrak f}\) is any Fitting class such that \(E_{p^*p} \subseteq {\mathfrak f} \subseteq E_{p^*}S_ p\), then: i) The \({\mathfrak f}\)-maximal subgroups of G containing \(G_{{\mathfrak f}}\) are the subgroups \((O_{p^*}(G)P)_{{\mathfrak f}}\) where P describes the Sylow p-subgroups of G. ii) If \((O_{p^*}(G)P)_{{\mathfrak f}}\leq H\leq G\) then there is a Sylow p-subgroup \(P_ 0\) of H such that \((O_{p^*}(G)P)_{{\mathfrak f}}=(O_{p^*}(H)P_ 0)_{{\mathfrak f}}.\) In particular every group G possesses \(E_{p^*}S_ p\)-injectors which are the subgroups of the form \(O_{p^*}(G)P\) where P describes the set of Sylow p-subgroups of G and the \(E_{p^*p}\)-injectors of a group G are the subgroups of the conjugacy class \(O_{p^*}(G)T\) where T describes the set of all Sylow p-subgroups of \(C^*_{O_{p^*}(G)P}(Q)\) where P describes the set of such subgroups of G and Q those of \(O_{p^*}(G)\).