On solvable groups, all proper factor groups of which have finite ranks (Q1343445)

Let \(S\) be a commutative domain acted upon by a group \(\Gamma\), and \(\Lambda\) be a non-zero ideal of \(S\). We say the \(S\)-module \(M\) belongs to the class \({\mathfrak A} (S, \Lambda, \Gamma)\) if \(M\) contains a free submodule \(V\) such that every element of \(M/V\) is annihilated by some product of conjugates of \(\Lambda\) by elements of \(\Gamma\). We call a commutative ring \(S\) separated if there exists a set \(\{I_n \mid n \in \mathbb{N}\}\) of non-zero ideals of \(S\) such that \(I_{n + 1} < I_n\) and for every non-zero ideal \(X\) of \(S\) there exists \(k \in \mathbb{N}\) such that \(I_k \leq X\). It is not difficult to show that if \(A\) is an abelian torsion-free group of finite rank and \(K\) is a Noetherian countable commutative domain, then \(KA\) is separated. Theorem 1. Let \(G\) be a group and \(A\) a normal subgroup such that \(G/A\) is almost polycyclic. Let \(K\) be a ring, \(I \leq KG\), \(E = KG/I\), and besides \(S = KA/(KA \cap I)\) is separated. If \(M\) is a finitely generated \(E\)-module then for every increasing sequence \(\{M_n\}\) of submodules of \(M\) there exists an ideal \(\Lambda\) of \(S\) such that all \(M/M_n \in {\mathfrak A}(S, \Lambda, G)\). -- The proof of theorem 1 uses the techniques described by Hall and the more powerful theory developed by Roseblade. A module \(M\) is called a module of just infinite rank if its additive group has infinite rank but every proper submodule of \(M\) defines a quotient group of finite rank. If a group \(\Gamma\) acts on a set \(S\) we say an element is \((\Gamma)\)-orbital if its orbit is finite and write \(\Delta_\Gamma (S)\) for the subset of such elements. The FC-radical of a group \(G\), denoted by \(\Delta (G)\), is just \(\Delta_G (G)\) where the action of \(G\) on itself is by conjugation. Theorem 2. Let \(\Gamma\) be a soluble group of finite torsion-free rank and \(A\) an abelian normal minimax torsion-free subgroup such that \(\Delta_\Gamma (A) = 1\). Let \(K\) be a Noetherian domain and \(M\) be a \(K\)-torsion-free residually finite \(K\Gamma\)-module of just infinite rank. If \(M\) is not \(KA\)- torsion-free then there exist a submodule \(M' \leq M\) and a subgroup \(N\) of finite index in \(\Gamma\), such that \(M' = \bigoplus_{t \in T}Ut\), where \(U\) is a \(KN\)-module of just infinite rank, \(T\) is a right transversal of \(N\) in \(\Gamma\) and \(r_0 (N/C_N(U)) < r_0 (\Gamma)\). The proof of Theorem 2 uses some results of Brookes. Let \(A\) be a torsion-free abelian group of finite rank acted upon by a group \(\Gamma\). \(A\) is said to be a \(\Gamma\)-plinth if \(A \otimes_\mathbb{Z} \mathbb{Q}\) is a simple \(\mathbb{Q} \Gamma_1\)-module for all \(\Gamma_1\) of finite index in \(\Gamma\). Lemma 2. Let \(\Gamma\) be a soluble group of finite rank and \(A\) be a Noetherian \(\Gamma\)-plinth. If \(K\) is a locally finite field and \(S = KA\) then for every non-zero ideal \(X\) of \(S\) there exists a maximal ideal \(\Lambda\) of \(S\) such that \(X^\gamma \nsubseteq \Lambda\) for all \(\gamma \in \Gamma\). The proof of Lemma 2 is based upon that of \textit{J. E. Roseblade}'s theorem E [J. Pure Appl. Algebra 3, 307- 328 (1973; Zbl 0285.20008)] which is the analogous result for the case where \(A\) is polycyclic. An infinite residually finite module is said to be just infinite if all its proper quotient modules are finite. Theorem 3. Let \(\Gamma\) be a finitely generated metabelian group of finite rank. If \(M\) is a residually finite module of just infinite rank then \(M\) is a just infinite \(\mathbb{Z}_p \Gamma\)-module for some prime \(p\). Theorem 4. Let \(\Gamma\) be a finitely generated metabelian group of finite rank. Let \(K\) be a finite field and \(M\) be a just infinite \(K \Gamma\)-module. If \(C_\Gamma(M) = 1\) then: 1. If \(|\Delta (\Gamma)|= \infty\) then \(\Gamma\) is a finite extension of a free abelian group of finite rank. 2. If \(|\Delta (\Gamma)|< \infty\) then there exist a normal subgroup \(\Gamma_1\) of finite index in \(\Gamma\) and a \(K \Gamma_1\)-submodule \(M'\) of finite index in \(M\) such that \(M = \bigoplus^n _{i = 1} M_i\), where \(M_i\) is a just infinite \(K \Gamma_1\)-module and \(\Gamma_1/C_{\Gamma_1} (M_i) = A_i \leftthreetimes H_i\), where \(H_i\) is a free abelian group of finite rank and \(A_i\) is a Noetherian \(\Gamma_1\)-plinth. We shall say a group \(G\) is a group of just infinite rank if \(G\) has infinite rank but all its proper quotient groups have finite rank. Theorem 5. Let \(G\) be a finitely generated residually finite soluble group of just infinite rank whose class of solubility is at most 3. If \(M = \text{Fitt }G\) is the Fitting subgroup of \(G\) then \(M\) is an elementary abelian \(p\)-group, \(M = C_G(M)\), and \(M\) is a just infinite \(\mathbb{Z}_p \Gamma\)-module, where \(\Gamma = G/M\). The proof of Theorem 5 uses Theorem 3 and techniques described by \textit{D. J. S. Robinson} and \textit{J. S. Wilson} [Proc. Lond. Math. Soc., III. Ser. 48, 193-229 (1984; Zbl 0526.20025)]. Using Theorems 4 and 5 we can describe the finitely generated residually finite soluble groups of just infinite rank whose class of solubility is at most 3; the same was done by Robinson and Wilson [loc. cit.].