On two-generator subgroups in \(\mathrm{SL}_2(\mathbb{Z})\), \(\mathrm{SL}_2(\mathbb{Q})\), and \(\mathrm{SL}_2(\mathbb{R})\) (Q515615)

Providing some natural generalization of a \textit{I. N. Sanov}'s theorem [Dokl. Akad. Nauk SSSR, n. Ser. 57, 657--659 (1947; Zbl 0029.00404)], the authors consider parabolic Möbius subgroups of matrices over \(\mathbb{Z}\), \(\mathbb{Q}\), and \(\mathbb{R}\) and focus on the membership problem in these subgroups and complexity of relevant algorithms. Thus, as a corollary of their main results, they derive the following interesting results: Corollary 1. The group \(\mathrm{SL}_{2}(\mathbb{Z})\) is virtually free. Corollary 2. The membership problem in the subgroup of \(\mathrm{SL}_{2}(\mathbb{Z})\) generated by \(A(2)\) and \(B(2)\) is solvable in constant time.