A note on torsion length and torsion subgroups (Q6165648)

The torsion subgroup \(\mathrm{Tor}(G)\) of a group \(G\) is the normal subgroup generated by all elements of finite order in \(G\). Let \(G_{0}=G\) and \(G_{n+1}=G_{n}/\mathrm{Tor}(G_{n})\) for \(n \geq 0\). The torsion length of \(G\), \(\mathrm{TorLen}(G)\), is the smallest \(n \geq 0\) such that \(G_{n}\) is torsion-free and, if no such \(n\) exists, \(\mathrm{TorLen}(G)=\omega\). Torsion length was defined and studied by \textit{M. Chiodo} and \textit{R. Vyas} in [Commun. Algebra 43, No. 11, 4825--4835 (2015; Zbl 1338.20034); J. Group Theory 21, No. 5, 949--971 (2018; Zbl 1437.20029)], where they have built examples of finitely presented groups of arbitrary torsion length. Chiodo and Vyas asked whether there exist finitely presented soluble groups of torsion length greater than 2 and whether there exists a finitely presented group \(G\) such that \(G/\mathrm{Tor}(G)\) is not finitely presented. In the paper under review, the authors answer both of the above questions affirmatively.