Given a commutative unital ring , we show that the finiteness length of a group is bounded above by the finiteness length of the Borel subgroup of rank one $_2^\circ®=\left( \begin{smallmatrix} * & * \ 0 & * \end{smallmatrix} \right)\leq_2®GR$-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 -arithmetic Borel groups. We also give an alternative proof of an unpublished theorem due to Strebel, characterizing finite presentability of Abels’ groups in terms of and . 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.

生成讲解博客的中文版本

生成AI智能校验的中文版本