1: \begin{abstract}

2:   We consider the rational subset membership problem for

3:   Baumslag-Solitar groups. These groups form a prominent class 

4:   in the area of algorithmic group theory, and they were recently

5:   identified as an obstacle for understanding the rational subsets of

6:   $\GL(2,\Q)$.

7:   

8:   We show that rational subset membership for Baumslag-Solitar groups $\BS(1,q)$

9:   with $q\ge 2$ is decidable and $\PSPACE$-complete. To this end, we introduce a

10:   word representation of the elements of $\BS(1,q)$: their pointed expansion

11:   (PE), an annotated \(q\)-ary expansion.  Seeing subsets of \(\BS(1,q)\) as word

12:   languages, this leads to a natural notion of PE-regular subsets of

13:   \(\BS(1, q)\): these are the subsets of \(\BS(1,q)\) whose sets of PE are regular

14:   languages.  Our proof shows that every rational subset of $\BS(1,q)$ is

15:   PE-regular.

16: 

17:   Since the class of PE-regular subsets of $\BS(1,q)$ is well-equipped

18:   with closure properties, we obtain further applications of these

19:   results. Our results imply that (i)~emptiness of Boolean

20:   combinations of rational subsets is decidable, (ii)~membership to

21:   each fixed rational subset of $\BS(1,q)$ is decidable in logarithmic

22:   space, and (iii)~it is decidable whether a given rational subset is

23:   recognizable. In particular, it is decidable whether a given

24:   finitely generated subgroup of $\BS(1,q)$ has finite index.

25: \end{abstract}

26: