Matrix Semigroup Freeness Problems in $\mathrm{SL}(2,\mathbb{Z})$

Sang-Ki Ko, Igor Potapov

In this paper we study decidability and complexity of decision problems on matrices from the special linear group $\mathrm{SL}(2,\mathbb{Z})$. In particular, we study the freeness…