Abstract:For all $m \geq 1$, we prove that the abelianization of $\operatorname{SL}_2(\mathbb{Z}[\frac{1}{m}])$ is (1) trivial if $6 \mid m$; (2) $\mathbb{Z} / 3\mathbb{Z}$ if $2 \mid m$ and $\gcd(3,m)=1$; (3) $\mathbb{Z} / 4 \mathbb{Z}$ if $3 \mid m$ and $\gcd(2,m)=1$; and (4) $\mathbb{Z} / {12}\mathbb{Z} \cong \mathbb{Z} / 3\mathbb{Z} \times \mathbb{Z} / 4\mathbb{Z}$ if $\gcd(6,m)=1$. This completes known computational results of Bui Anh & Ellis for $m \leq 50$. The proof is completely elementary, and in particular does not use the congruence subgroup property. We also find a new presentation for $\operatorname{SL}_2(\mathbb{Z}[\frac{1}{2}])$. This presentation has two generators and three relators. Thus, $\operatorname{SL}_2(\mathbb{Z}[\frac{1}{2}])$ admits a presentation with deficiency equal to the rank of its Schur multiplier. This also gives new and very simple presentations for the finite groups $\operatorname{SL}_2(\mathbb{Z} / m \mathbb{Z})$, where $m$ is odd.

Malle's Conjecture for $S_n\times A$ for $n = 3,4,5$

On Malle's conjecture for the product of symmetric and nilpotent groups

A Variety of Euler's Conjecture

The abelianization of $\operatorname{SL}_2(\mathbb{Z}[\frac{1}{m}])$

Freiman's $3k-4$ Theorem for Function Fields

The Unbounded Denominators Conjecture

Malle's conjecture and Brauer groups of stacks

A Geometric Proof of Mordell's Conjecture for Function Fields

A Conjecture on C-matrices of Cluster Algebras

Sylow branching coefficients and a conjecture of Malle and Navarro

The Uniform Mordell-Lang Conjecture

A Proof of a Conjecture of C.L. Siegel

A Uniform Version of a Finiteness Conjecture for CM Elliptic Curves

On Malle's conjecture for nilpotent groups, I

The Ramanujan and Sato-Tate Conjectures for Bianchi modular forms

On Freiman's Theorem in a function field setting

Conjecture of Li and Praeger Concerning the Isomorphisms of Cayley Graphs of A(5)

Cartan matrices and Brauer's k(B)-Conjecture III

An analogue of a conjecture of Rasmussen and Tamagawa for abelian varieties over function fields

Fox-Neuwirth-Fuks cells, quantum shuffle algebras, and Malle's conjecture for function fields

Elementary Proofs of Arithmetic Properties for Schur-Type Overpartitions Modulo Small Powers of 2