PreprintCC BY-NC-SA 4.0arXiv
Bounded elementary generation of SL_2: nearly the end
Abstract
Let 𝒪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| ≥ 2, then every unimodular (2 × 2)-matrix over 𝒪S is a product of ≤ 7 elementary matrices. This nearly optimal bound essentially concludes the investigation of bounded elementary generation of SL2(𝒪S) started over 50 years ago.
Related
- Bounded powers of edge ideals: Nearly Gorenstein polytopes
- Global persistence of nearly radial concentrated vortices in a bounded domain
- A Relative Telescope-Type Conjecture: Support and Generation in Half-Bounded Derived Categories
- An elementary treatment of Ramanujan's elementary continued fractions
- Fluid dynamic limit of Boltzmann equation for granular hard-spheres in a nearly elastic regime
BibTeX
@misc{kunyavskii2026bounded,
title = {{Bounded elementary generation of SL_2: nearly the end}},
author = {B. E. Kunyavskii and D. W. Morris and A. S. Rapinchuk},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2606.21817},
eprint = {2606.21817},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2606.21817},
note = {CC BY-NC-SA 4.0},
}
RIS
TY - UNPB
TI - Bounded elementary generation of SL_2: nearly the end
AU - B. E. Kunyavskii
AU - D. W. Morris
AU - A. S. Rapinchuk
PY - 2026
DA - 2026/09/09
PB - arXiv
DO - 10.48550/arxiv.2606.21817
UR - https://arxiv.org/abs/2606.21817
AB - Let 𝒪_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| ≥ 2, then every unimodular (2 × 2)-matrix over 𝒪_S is a product of ≤ 7 elementary matrices. This nearly optimal bound essentially concludes the investigation of bounded elementary generation of SL_2(𝒪_S) started over 50 years ago.
ER -