A geometric proof that SL2(Z[t,t-1]) is not finitely presented
Kai-Uwe Bux, Kevin Wortman
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 SL2 resulting from rings of functions on curves.
Create a lesson
Related papers
The variety generated by all additively idempotent semirings of order four
Mengya Yue, Xiaolei Shao
Generation of Iterated Wreath Products Constructed from Full Transformation Monoids and Symmetric Groups
Jiaping Lu
Kernel--wreath constructions and infinite families of finite simple skew braces
Marco Damele
Explicit equational bases for the power semirings of S7
Mengya Yue, Miaomiao Ren, Zidong Gao
The free multiplicative Lie algebra L(P) for a finitely generated parafree group P
Dessislava H. Kochloukova
An order automorphism of a Dlab group not induced by conjugation
Ting Gong, Yong Yang, Michael Ruofan Zeng