PAPER / ARXIV:2609.04275
Vasiliy Ionin , Artem Semidetnov
RESUMO
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 .
NO MESMO MAPA