Groups whose proper subgroups are (locally finite)-by-(locally nilpotent) (Q2834182)

For a class of groups \(\mathfrak{X}\), a group \(G\) is called a minimal non-\(\mathfrak{X}\)-group if it is not an \(\mathfrak{X}\)-group but all its proper subgroups are. Let \(\mathfrak{X}\) be a class of groups closed under taking homomorphic images and subgroups. A group is called locally graded if every non-trivial finitely generated subgroup has a proper non-trivial finite homomorphic image. Assume that every infinite locally graded minimal non-\(\mathfrak{X}\)-group is a countable \(p\)-group for some prime \(p\). For example, one can take \(\mathfrak{X}\) being the class of nilpotent groups or the class of Baer groups by \textit{H. Smith} [Glasg.\ Math.\ J. 39, No. ~2, 141--151 (1997; Zbl 0883.20018)].NEWLINENEWLINEFor a set of primes \(\pi\), let \((L\mathfrak{F}_\pi)\mathfrak{X}\) denote the class of groups having a normal subgroup which is a locally finite \(\pi\)-group such that the factor is an \(\mathfrak{X}\)-group. The main result of the paper is that a group \(G\) is an infinitely generated minimal non-\((L\mathfrak{F}_\pi)\mathfrak{X}\)-group if and only if there exists a prime \(p \notin \pi\) such that \(G\) is an infinitely generated minimal non-\(\mathfrak{X}\) \(p\)-group.