A finiteness condition on subgroups of large derived length. (Q1763913)

Let \({\mathfrak S}_d(r)\) denote the class of groups in which every finitely generated subgroup is either at most \(r\)-generated or soluble of derived length at most \(d\). Let \({\mathfrak S}_d\) denote the class of groups that are soluble of derived length at most \(d\). \(\mathfrak R\) denotes the class of groups of finite rank. In this article the following main results are obtained. Theorem 1. Let \(G\) be a locally finite group and suppose that every finite subgroup of \(G\) is either \(r\)-generated or soluble of derived length at most \(d\). (i) If \(G\) is almost locally soluble, then either \(G\) is soluble of derived length at most \(d\) or \(G\) has finite rank. (ii) If \(G\notin{\mathfrak S}_d\cup{\mathfrak R}\), then there is a normal subgroup \(M\) of \(G\) such that \(G/M\) is soluble of derived length at most \(d\) and of rank at most \(r\), and \(M\) is isomorphic to one of \(\text{PSL}(2,K)\), \(\text{PSU}(3,K)\), \(^2B_2(K)\), \(^2G_2(K)\), \(\text{SL}(2,K)\), or \(\text{SU}(3,K)\), for some infinite locally finite field \(K\). Theorem 2. Let \(G\) be a torsion-free locally nilpotent group and suppose that \(G\in{\mathfrak S}_d(r)\). Then \(G\) is soluble of derived length at most \(d\) or of finite rank. Theorem 3. Let \(G\) be a locally nilpotent group and suppose that \(G\in{\mathfrak S}_d(r)\). If \(G\) has infinite torsion-free rank then \(G\in{\mathfrak S}_d\). Theorem 4. Let \(G\) be a locally finite group containing a normal subgroup \(M\) isomorphic to one of \(\text{PSL}(2,K)\), \(\text{PSU}(3,K)\), \(^2B_2(K)\), \(^2G_2(K)\), \(\text{SL}(2,K)\), or \(\text{SU}(3,K)\), for some locally finite field \(K\) and suppose that \(G/M\) is soluble of derived length at most \(e\) and of finite rank at most \(s\). Then \(G\in{\mathfrak S}_d(r)\) for some \(d,r\), depending only on \(e\) and \(s\). Theorem 5. For each \(d\geq 2\) there exists a locally nilpotent group \(G\) of infinite rank that is not soluble of derived length \(d\) such that \(G\in{\mathfrak S}_d(r)\). Theorem 6. Let \(G\) be a locally nilpotent group with \(G\in{\mathfrak S}_d (r)\). Then either \(G\) has finite rank or \(G\) is soluble.