The \(p^*p\)-injectors of a finite group (Q919460): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Q587524 / rank | |||
Property / reviewed by | |||
Property / reviewed by: Francisco Pérez-Monasor / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the normal p-structure of a finite group and related topics. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fittingklassen endlicher Gruppen, in denen gewisse Hauptfaktoren einfach sind / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3659962 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \({\mathcal F}\)-constraint with respect to a Fitting class / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the existence of certain injectors in finite groups / rank | |||
Normal rank |
Latest revision as of 10:28, 21 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The \(p^*p\)-injectors of a finite group |
scientific article |
Statements
The \(p^*p\)-injectors of a finite group (English)
0 references
1989
0 references
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)\).
0 references
p\({}^ *p\)-groups
0 references
Fitting class
0 references
\({\mathfrak f}\)-injectors
0 references
\({\mathfrak f}\)- maximal subgroups
0 references
Sylow p-subgroups
0 references