A geometric proof that SL_2(Z[t,t^-1]) is not finitely presented
arXiv:math/0412101 · doi:10.2140/agt.2006.6.839
Abstract
We give a new proof of the theorem of Krstic-McCool from the title. Our proof has potential applications to the study of finiteness properties of other subgroups of SL_2 resulting from rings of functions on curves.
This is the version published by Algebraic & Geometric Topology on 11 July 2006