{"id":"arxiv/2609.04275","url":"https://arxiv.org/abs/2609.04275","tags":["math.GR","math.AC","math.KT"],"score":0,"title":"An explicit non-elementary matrix over a bivariate Laurent polynomial ring","domain":"math.GR","source":"arxiv","authors":["Vasiliy Ionin","Artem Semidetnov"],"reviews":0,"subject":"math.GR","summary":"Let $F$ be the fraction field of a discrete valuation ring. We give an explicit matrix in $\\mathrm{SL}_2(F[X^{\\pm1},Y^{\\pm1}])\\setminus \\mathrm{E}_2(F[X^{\\pm1},Y^{\\pm1}])$. The proof of non-elementarity is based on techniques developed by Peter Abramenko in his preprint arXiv:0808.1095v1.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-02","reactions":{}}