A finiteness condidtion on nurmal subgroups of nilpotent groups (Q4546115)

Let \(n\) be a positive integer or \(\infty\). The authors call a group \(G\) a \({\mathcal G}_n\)-group, if either \(G'\leq N\) or \(|NZ(G):Z(G)|<n\) for each normal subgroup \(N\) in \(G\). As examples of the results obtained we will expose the following two theorems. Theorem A. Let \(n\) be a positive integer and \(G\) a nilpotent \({\mathcal G}_n\)-group of class greater than 2. Then \(G\) is central-by-finite and more precisely, the following statements hold. (i) If \(G\) is not of the form \(P\times Q\), with \(P\) a finite \(p\)-group of class 3, in which any non-central normal subgroup contains \(G'\), and \(Q\) an Abelian \(p'\)-group, then the index of the center of \(G\) is \(n\)-bounded. (ii) For the exceptions in (i), the index of the center is \(p^3\). Theorem B. Let \(G\) be a nilpotent group of class greater than 3, then \(G\) is a \({\mathcal G}_\infty\)-group iff it is central-by-finite.