Soluble groups with no Z Z sections
The \textit{torsion-free rank} of a group \(G\) is the sum \(\sum_{i \ge 0} \dim_{\mathbb{Q}}\left ((G^{(i)} / G^{(i + 1)}) \otimes_{\mathbb{Z}} \mathbb{Q}\right)\) where \(G^{(i)}\) denotes the \(i\)-th term of the derived series of \(G\). A \textit{section} of \(G\) is the quotient of a subgroup of \(G\). This paper examines the structure of finitely generated soluble groups of infinite torsion-free rank that have no sections isomorphic to \(\mathbb{Z} \wr \mathbb{Z}\). Explicit constructions are provided in the final section, extending the ideas of [\textit{P. H. Kropholler}, Math. Proc. Camb. Philos. Soc. 98, 437--445 (1985; Zbl 0577.20022)] which produced the first known examples of such groups. Let \(G\) be a finitely generated soluble group of infinite torsion-free rank. It is not always possible to find a quotient \(Q\) of \(G\) which is \text{just of infinite torsion-free rank}, i.e., such that every homomorphic image of \(Q\) but \(Q\) itself is of finite torsion-free rank. Nevertheless, the authors exhibit quotients enjoying key properties: Theorem A. Every finitely generated soluble group of infinite torsion-free rank has a quotient \(G\) with the following properties: \begin{itemize} \item[(i)] the Fitting subgroup \(F\) of \(G\) is torsion-free abelian of infinite rank; \item[(ii)] the factor group \(G/F\) has finite torsion-free rank; \item[(iii)] the largest normal torsion subgroup of \(G\) is trivial; \item[(iv)] if \(K\) is a normal subgroup of \(G\) then either \(K\) is abelian-by-torsion or \(G/K\) has finite torsion-free rank. \end{itemize} Furthermore, if the original group has no \(\mathbb{Z} \wr \mathbb{Z}\) sections then every such \(G\) is residually finite. This last fact relies on the main structure theorem of the paper. The following definition is required to state this theorem. Let \(Q\) be a group acting linearily on a \(\mathbb{Q}\)-vector space \(V\). Define \(\operatorname{toprk}_{Q}(V) = \min \{\dim_{\mathbb{Q}}(V /W) \mid W \text{ is a maximal proper }\mathbb{Z}Q\text{-submodule of } V \} \). Theorem B. Let \(G\) be a finitely generated soluble group of infinite torsion-free rank with no \(\mathbb{Z} \wr \mathbb{Z}\) sections. If \(G\) is moreover the extension of a free abelian normal subgroup by a group of finite torsion-free rank, then \(G\) has subgroups \(A \subset K\) and \((A_j)_{j \in \mathbb{N}}\) such that the following hold: \begin{itemize} \item[(i)] all the subgroups \(A_j\), \(A\) and \(K\) are normal; \item[(ii)] \(A\) is torsion-free abelian of infinite rank; \item[(iii)] each \(A_j \) is a subgroup of \(A\) with finite rank and \(A\) is the restricted direct product of the \(A_j\); \item[(iv)] \(K/A\) is locally finite; \item[(v)] \(G/K\) contains a normal minimax subgroup of finite index; \item[(vi)] each quotient group \(K/C_K(A_j)\) is finite; \item[(vii)] for each subgroup \(H\) of finite index in \(K\) that is normal in \(G\), the subgroup \(C_A(H)\) has finite rank; \item[(viii)] \(\lim_{j \to +\infty} \operatorname{toprk}_{G/A}(A_j \otimes_{\mathbb{Z}} \mathbb{Q}) = +\infty\). \end{itemize} Theorem B has several corollaries. Let us outline two of them. Corollary B1 asserts that a finitely generated soluble group with Krull dimension and no \(\mathbb{Z} \wr \mathbb{Z}\) sections has finite torsion-free rank. This implies Corollary B3 about random walks: a finitely generated soluble linear group with no \(\mathbb{Z} \wr \mathbb{Z}\) sections has large return probability. The exposition is clear and agreeable overall. However, the proofs of Corollary~B2 and Claim~4 (Theorem~B(viii)) would have deserved to be more detailed. Note that Example~2.13(i) should be corrected in the following way: the group \(\mathbb{Z}[X] \rtimes_{\ast} \mathbb{Z}\) has no Krull dimension, which can be shown with Lemma~6.2.16 of [\textit{J.~C. McConnell} and \textit{J.~C. Robson}, Noncommutative Noetherian rings. Chichester etc.: John Wiley \& Sons (1987; Zbl 0644.16008)].
- A note on the cohomology of metabelian groups
- Almost finitely presented soluble groups
- Counting submodules of a module over a Noetherian commutative ring
- Discrete random walks on the group Sol
- Finiteness Conditions for Soluble Groups
- scientific article; zbMATH DE number 4049807 (Why is no real title available?)
- scientific article; zbMATH DE number 3758564 (Why is no real title available?)
- scientific article; zbMATH DE number 3556332 (Why is no real title available?)
- scientific article; zbMATH DE number 2107935 (Why is no real title available?)
- scientific article; zbMATH DE number 3065879 (Why is no real title available?)
- Infinite presentability of groups and condensation
- Metabelian groups with large return probability
- Notes on infinite permutation groups
- On deviation in groups
- On Finitely Generated Soluble Groups With No Large Wreath Product Sections
- On just-infiniteness of locally finite groups and their \(C^*\)-algebras
- Random walks on finite rank solvable groups.
- Shalom's property \(H_{\mathrm{FD}}\) and extensions by \(\mathbb{Z}\) of locally finite groups
- Soluble Groups with Many Polycyclic Quotients
- The large-scale geometry of locally compact solvable groups
This page was built for publication: Soluble groups with no \(\mathbb{Z}\wr \mathbb{Z}\) sections
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2211508)
