Nilpotent residual of a finite group

From MaRDI portal
Publication:6187319



Abstract: Let F be a nilpotent group acted on by a group H via automorphisms and let the group G admit the semidirect product FH as a group of automorphisms so that CG(F)=1. We prove that the order of gammainfty(G), the rank of gammainfty(G) are bounded in terms of the orders of gammainfty(CG(H)) and H, the rank of gammainfty(CG(H)) and the order of H, respectively in cases where either FH is a Frobenius group; FH is a Frobenius-like group satisfying some certain conditions; or is a dihedral group generated by the involutions alpha and with and H=langlealphaangle.


In the theory of finite groups, a recurring theme is to determine the structure of a given group \(G\) by knowing certain invariants related to some \(A \leq \mathrm{Aut}(G)\). In the paper under review, the authors focus on a certain question related to the strong influence of \(C_{G}(A)\) on the structure of \(G\), when the group \(A\) is a Frobenius group or a Frobenius-like group or a dihedral group of automorphisms. Let \(A=F \rtimes H\) be the semidirect product of a normal nilpotent group \(F\) by a group \(H\). Then in a paper by the third author and \textit{İ. Ş. Güloğlu} [J. Algebra 402, 533--543 (2014; Zbl 1314.20018)], \(A\) is said to be Frobenius-like if \(A/F'\) is a Frobenius group with Frobenius kernel \(F/F'\) and complement \(H\). Moreover, Frobenius-like groups \(A=FH\) such that \(F'\) is of prime order and is contained in \(C_{F}(H)\) are called of Type I; and those such that \(C_{F}(H)\) and \(H\) are of prime order are called of Type II. The last term of the lower central series of a group \(G\) is called the residual nilpotent of \(G\) and is denoted by \(\gamma_{\infty}(G)\). The main results proved in this article are the following two interesting theorems. Theorem A: Let \(FH\) be a Frobenius, or a Frobenius-like group of Type I or Type II, with kernel \(F\) and complement \(H\). Suppose that \(FH\) acts on a finite group \(G\) in such a way that \(C_{G} (F)=1\). Then (a) \(|\gamma_{\infty}(G)|\) is bounded solely in terms of \(|H|\) and \(|\gamma_{\infty}(C_{G}(H))|\); (b) the rank of \(\gamma_{\infty}(G)\) is bounded in terms of \(|H|\) and the rank of \(\gamma_{\infty}(C_{G}(H))\). Theorem B: Let \(D=\langle \alpha, \beta \rangle\) be a dihedral group generated by two involutions \(\alpha\) and \(\beta\). Suppose that \(D\) acts on a finite group \(G\) in such a manner that \(C_{G}(\alpha \beta)=1\). Then (a) \(|\gamma_{\infty}(G)|\) is bounded solely in terms of \(|\gamma_{\infty}(C_{G} (\alpha))|\) and \(|\gamma_{\infty}(C_{G} (\beta))|\); (b) the rank of \(\gamma_{\infty}(G)\) is bounded in terms of the rank of \(\gamma_{\infty}(C_{G} (\alpha))\) and \(\gamma_{\infty}(C_{G} (\beta))\).



Cites work









This page was built for publication: Nilpotent residual of a finite group

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6187319)