What problem does this paper attempt to address?

The problem that this paper attempts to solve is whether there exists a "torsion - free version" of P. Kropholler's theorem. Specifically, if \(G\) is a finitely - generated torsion - free solvable group with infinite rank, does \(G\) always contain a finitely - generated torsion - free metabelian subquotient which also has infinite rank? ### Background and Problem Elaboration 1. **P. Kropholler's Theorem**: - P. Kropholler's well - known theorem states that if \(G\) is a finitely - generated solvable group with infinite rank, then \(G\) contains a subquotient isomorphic to \(C_p\wr\mathbb{Z}\), where \(p\) is some prime number. 2. **Torsion - Free Version of Kropholler's Theorem**: - The authors pose a question: for a finitely - generated torsion - free solvable group \(G\), can one always find a finitely - generated torsion - free metabelian subquotient with infinite rank? - If such a subquotient exists, then it can be considered that Kropholler's theorem has a "torsion - free version". ### Main Contributions of the Paper The authors answer the above question by constructing a specific group \(G\) and demonstrating the following properties: - \(G\) is a finitely - generated 3 - step solvable group. - \(G\) is torsion - free. - \(G\) contains a normal subgroup which is a free Abelian group with infinite rank. - All finitely - generated torsion - free metabelian subquotients of \(G\) are virtually Abelian (i.e., they contain an Abelian subgroup of finite index). ### Main Conclusions Through these properties, the authors prove that: - There is no "torsion - free version" of P. Kropholler's theorem. That is, even if \(G\) is a finitely - generated torsion - free solvable group with infinite rank, it is not necessarily the case that there exists a finitely - generated torsion - free metabelian subquotient with infinite rank. This shows that although Kropholler's theorem holds for general solvable groups, in the torsion - free case, this result does not always hold. ### Explanation of Related Formulas and Symbols Some important concepts and formulas involved in the paper include: - **FC - center (FC - center)**: Denoted as \(\text{FC}(G)\), it represents the subgroup of elements in the group \(G\) whose conjugacy classes are finite. - **Metabelian Group (Metabelian group)**: Refers to a 2 - step solvable group, that is, its derived subgroup is Abelian. - **Virtually Abelian Group (Virtually abelian group)**: A group that contains an Abelian subgroup of finite index. These concepts play a crucial role in the proof process, ensuring that the structure of \(G\) satisfies the required conditions.

Some torsion-free solvable groups with few subquotients

Uniform boundedness of torsion subgroups of linear groups

Non-solvable torsion-free virtually solvable groups

Bounded rank subgroups of Coxeter groups, Artin groups and one-relator groups with torsion

Torsion-free nilpotent groups of small Hirsch length with isomorphic finite quotients

Groups of finite Morley rank with solvable local subgroups

Torsion in pro-finite completions of torsion-free groups

Residually finite groups with uniformly almost flat quotients

On the cardinality of sumsets in torsion-free groups

Irreducible representations of certain nilpotent groups of finite rank

On Fuchs' problem for finitely generated abelian groups: The small torsion case

On subgroups with narrow Schreier graphs

Virtually torsion-free covers of minimax groups

Marton's Conjecture in abelian groups with bounded torsion

Finitely generated infinite torsion groups that are residually finite simple

Torsion Subgroups of Groups with Cubic Dehn Function

Instability of the virtual solvability and the property of being virtually torsion-free for quasi-isometric groups

Rank type conditions on commutators in finite groups

Small groups of finite Morley rank with a supertight automorphism

Sylow 0-unipotent subgroups in groups of finite Morley rank