{"id":"arxiv/2606.21817","url":"https://arxiv.org/abs/2606.21817","tags":["math.GR","math.NT"],"score":0,"title":"Bounded elementary generation of SL_2: nearly the end","domain":"math.GR","source":"arxiv","authors":["B. E. Kunyavskii","D. W. Morris","A. S. Rapinchuk"],"reviews":0,"subject":"math.GR","summary":"Let $\\mathcal{O}_S$ be the ring of $S$-integers of a global field $K$ of any characteristic, where $S$ is a finite set of valuations of $K$ (and $S$ contains all of the archimedean valuations if the characteristic is zero). We prove that if $|S| \\ge 2$, then every unimodular $(2 \\times 2)$-matrix over $\\mathcal{O}_S$ is a product of $\\leq 7$ elementary matrices. This nearly optimal bound essentially concludes the investigation of bounded elementary generation of $SL_2(\\mathcal{O}_S)$ started over 50 years ago.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-20","reactions":{}}