1: \begin{abstract}

2:   In this work we extend previously known decidability results for $2\times 2$ matrices over $\Q$.

3:   Namely, we introduce a notion of \emph{flat rational sets}: if $M$ is a monoid and $N\leq M$ is

4:   its submonoid, then flat rational sets of $M$ relative to $N$ are finite unions of the form

5:   $L_0g_1L_1 \cdots g_t L_t$ where all $L_i$s are rational subsets of $N$ and $g_i\in M$. We give

6:   quite general sufficient conditions under which flat rational sets form an effective relative

7:   Boolean algebra. As a corollary, we obtain that the emptiness problem for Boolean combinations of

8:   flat rational subsets of $\GL(2,\Q)$ over $\GL(2,\Z)$ is decidable.

9: 

10:   We also show a dichotomy for nontrivial group extension of $\GL(2,\Z)$ in $\GL(2,\Q)$: if $G$ is a

11:   \fg group such that $\GL(2,\Z) < G \leq \GL(2,\Q)$, then either $G\cong \GL(2,\Z)\times \Z^k$, for

12:   some $k\geq 1$, or $G$ contains an extension of the Baumslag-Solitar group $\BS(1,q)$, with $q\geq

13:   2$, of infinite index. It turns out that in the first case the membership problem for $G$ is

14:   decidable but the equality problem for rational subsets of $G$ is undecidable. In the second case,

15:   the membership problem for $G$ is an open problem as it is open for $\BS(1,q)$.

16: 

17:   In the last section we prove new decidability results for flat rational sets that contain singular

18:   matrices. In particular, we show that the membership problem is decidable for flat rational

19:   subsets of $M(2,\Q)$ relative to the submonoid that is generated by the matrices from $M(2,\Z)$ with

20:   determinants $0,\pm1$ and the central rational matrices.

21: \end{abstract}

22: