1: \begin{abstract}

2:   We consider the Membership and the Half-Space Reachability problems

3:   for matrices in dimensions two and three. Our first

4:   main result is that the Membership Problem is decidable for

5:   finitely generated sub-semigroups of 

6:   the Heisenberg group over rational numbers.

7:   Furthermore, we prove two decidability results for the Half-Space

8:   Reachability Problem. Namely, we show that this problem is decidable

9:   for sub-semigroups of $\mathrm{GL}(2,\mathbb{Z})$ and of the Heisenberg

10:   group over rational numbers.

11: \end{abstract}

12: