# On the finiteness length of some soluble linear groups

## TL;DR

This paper investigates the finiteness length of certain soluble linear groups over rings, providing new bounds, proofs, and characterizations that extend existing results and suggest a broader conjecture.

## Contribution

It establishes an upper bound on the finiteness length of groups with metabelian representations, offers new proofs of known results, and characterizes finite presentability of Abels' groups.

## Key findings

- Bound on finiteness length via Borel subgroup of rank one
- New proof of Bux's equality on finiteness length of S-arithmetic Borel groups
- Characterization of finite presentability of Abels' groups

## Abstract

Given a commutative unital ring $R$, we show that the finiteness length of a group $G$ is bounded above by the finiteness length of the Borel subgroup of rank one $\mathbf{B}_2^\circ(R)=\left( \begin{smallmatrix} * & * \\ 0 & * \end{smallmatrix} \right)\leq\mathrm{SL}_2(R)$ whenever $G$ admits certain $R$-representations with metabelian image. Combined with results due to Bestvina--Eskin--Wortman and Gandini, this gives a new proof of (a generalization of) Bux's equality on the finiteness length of $S$-arithmetic Borel groups. We also give an alternative proof of an unpublished theorem due to Strebel, characterizing finite presentability of Abels' groups $\mathbf{A}_n(R) \leq \mathrm{GL}_n(R)$ in terms of $n$ and $\mathbf{B}_2^\circ(R)$. This generalizes earlier results due to Remeslennikov, Holz, Lyul'ko, Cornulier--Tessera, and points out to a conjecture about the finiteness length of such groups.