Nilpotent subgroups of finite soluble groups (Q5905401)
From MaRDI portal
scientific article; zbMATH DE number 12478
Language | Label | Description | Also known as |
---|---|---|---|
English | Nilpotent subgroups of finite soluble groups |
scientific article; zbMATH DE number 12478 |
Statements
Nilpotent subgroups of finite soluble groups (English)
0 references
25 June 1992
0 references
The author considers the orders of nilpotent subgroups in finite soluble groups and proves the following result: Theorem A. If \(G\) is a finite soluble group with Fitting subgroup \(F\), and if \(K\) is a nilpotent injector of \(G\), then \(| K|| F|^ \beta\geq | G|\), where \(\beta=(\log 5+20\log 2)(8\log 3)^{-1}\). In particular, \(G\) possesses a nilpotent subgroup \(L\) such that \(| L| >\root 3 \of{| G|}\). The proof uses the following results, whose statements are slightly different from the original ones in correspondence with corrections passed by the author to the reviewer. Theorem B. Let \(\mathbb{F}\) be a formation which is closed with respect to normal extensions and normal subgroups. We define \[ s_ 0=\sup_ n\{(\sup\{| A|\mid A\subseteq S_ n, A\text{ primitive, }A\in\mathbb{F}\})^{1/(n-1)}\} \] \[ s_ p=\sup_ n\{(\sup\{| A|\mid A\subseteq GL(n,p), A\text{ primitive, } A\in\mathbb{F}\})^{1/n}\}. \] Then (a) the order of an \(\mathbb{F}\)- subgroup of \(S_ m\) is at most \(s_ 0^{m-1}\), (b) the order of a completely reducible \(\mathbb{F}\)-subgroup of \(GL(m,p)\) is at most \(s^ m_ ps_ 0^{-1}\). Theorem C. Let \(G\) be a finite soluble group with Fitting subgroup \(F\). Denote by \(D\) and \(T\) the 2-complement and 3-complement of \(F\). Assume that the subgroup \(M\) of \(G\) satisfies the following conditions: (1) \(F\leq M=(M\cap FC_ G(D))(M\cap FC_ G(T))\),\ (2) \((C_ G(T)M)/(C_ G(T)F)\) is a 2-Sylow subgroup of \((C_ G(T)C_ G(D)F)/(C_ G(T)F)\),\ (3) \((C_ G(D)M)/(C_ G(D)F)\) is a 3-Sylow subgroup of \((C_ G(T)C_ G(D)F)/(C_ G(D)F\). Then \(M\) is nilpotent and \(| M| | F|^ k\geq| G|\), where \(k=(\log 5+20\log 2)(8\log 3)^{- 1}\). The theorem A is supplemented by Theorem D. If \(k\) is a real number such that \(k<(3\log 3+2\log 7)(6\log 2)^{-1}\), then there is a soluble group \(G\) such that \(| X|^{k+1}<| G|\) for all nilpotent subgroups \(X\) of \(G\).
0 references
orders of nilpotent subgroups
0 references
finite soluble groups
0 references
Fitting subgroup
0 references
nilpotent injector
0 references
formation
0 references