Some finite \(p\)-groups with bounded index of every cyclic subgroup in its normal closure. (Q663606): Difference between revisions

Let \(G\) be a finite \(p\)-group. \(G\) is called a \(BI(p^m)\)-group if \(|\langle a\rangle^G:\langle a\rangle|\leq p^m\) for every \(a\in G\). This property may be viewed as a generalization of the Dedekind property, and is in a close relationship with the \(J\)-property studied by \textit{M. Herzog, P. Longobardi, M. Maj} and \textit{A. Mann} [in J. Algebra 226, No. 2, 690-713 (2000; Zbl 0959.20031)]. In fact, the authors prove that property \(BI(p)\) implies property \(J\) and for odd primes they are equivalent. Several statements are established on the structure of \(BI(p)\), \(BI(p^2)\) and certain \(BI(p^m)\)-groups. A companion article is \textit{H. Lv, W. Zhou} and \textit{X. Guo} [J. Algebra 342, No. 1, 256-264 (2011; Zbl 1241.20025)].