Some explicit bounds in groups with a finite number of non-normal subgroups (Q4384680)

Throughout, \(G\) will be a non-Dedekind group with finitely many non-normal subgroups. Let \(\nu(G)\) denote the number of conjugacy classes of non-normal subgroups of \(G\) [see \textit{R. Brandl}, Commun. Algebra 23, No. 6, 2091-2098 (1995; Zbl 0830.20042)], and \(\rho(G)\) the greatest prime \(p\) such that \(G\) contains an element of order \(p\). Bounds for the order of \(G'\) and \(G/Z(G)\) are derived in terms of \(\nu(G)\) and \(\rho(G)\). More precisely: Theorem. One has \(| G'|\leq\rho(G)^{\nu(G)+\varepsilon}\) and \(| G/Z(G)|\leq\rho(G)^{\nu(G)+\varepsilon+1}\), where \(\varepsilon=1\) if \(G\) contains an element of order 2 and \(\varepsilon=0\) otherwise. Results of \textit{N. S. Hekster} and \textit{H. W. Lenstra jun.} [Arch. Math. 54, No. 3, 225-231 (1990; Zbl 0668.20029)] on infinite groups with finitely many non-normal subgroups are used to reduce the proof to a study of finite \(p\)-groups. As a by-product, an independent proof of a result of \textit{J. Poland} and \textit{A. Rhemtulla} [Commun. Algebra 24, No. 10, 3237-3245 (1996; Zbl 0885.20009)], is given: Theorem 3.6. Let \(G\) be a nilpotent group of class \(c\). Then \(c\leq 1+\nu(G)\).