Decidability of the membership problem for Baumslag Solitar group $BS(1,2)$

Is the subsemigroup or subgroup membership problem for $$BS(1,2)$$ decidable ?

That is, given elements $$g,g_1,g_2,\dots,g_n$$ from $$BS(1,2)$$, is there a decision procedure to check whether $$g$$ belongs to the semigroup/subgroup generated by $$\{g_1,g_2,\dots,g_n\}$$?

Note that the decidability of the semigroup membership implies the decidability of subgroup memebership problem and the undecidability of the subgroup membership problem implies the undecidability of the semigroup membership problem.

• For positive words $g_i$ the submonoid membership problem is decidable; see Example 2.7 in math.tamu.edu/~sunik/prefix.pdf. – Moishe Kohan May 10 at 19:04
• So what you say is stronger than the answer below. There is also a result which says if the group G has at least two ends, then the rational subset membership problem for G is decidable if and only if the submonoid membership problem for G is decidable. (M. Lohrey and B. Steinberg. Submonoids and rational subsets of groups with infinitely many ends) But I don't know how many ends $BS(1,2)$ has. – cssstyler May 10 at 21:09
• This group has one end. – Moishe Kohan May 10 at 21:10

The group question is often referred to as the generalised word problem (and archaically as the occurrence problem). A group is metabelian if its derived subgroup is abelian. The group $$BS(1, 2)$$ (and more generally $$BS(1, n)$$) is a metabelian group. Romanovskii proved that the generalised word problem is soluble for metabelian groups (the reference is: Romanovskii, N.S. Some algorithmic problems for solvable groups. Algebra i Logika, (1974) 13(1):26–34.). Hence, the answer to the "group" question is "yes".
To extend the above answer from user1729, the subgroup membership problem is decidable for any Baumslag-Solitar group $$BS(m,n)$$, as they are all HNN-extensions $$\mathbb{Z} \ast_{\mathbb{Z}}$$, and so decidability follows by Theorem 1.1 of Foldings, graphs of groups and the membership problem, as $$\mathbb{Z}$$ is polycyclic-by-finite.
I think that the submonoid membership problem for Baumslag-Solitar groups is open in general. As mentioned in the comments, the problem of deciding membership in positively generated submonoids is decidable in $$BS(m, n)$$.
Note that as seen in the above answer, the problem of deciding membership in a finitely generated subgroup is sometimes called the generalized word problem, although this historically refers to the problem of deciding membership in one of the finitely many subgroups generated by subsets of the generating set, and so can occasionally cause confusion if the distinction is not made. For example, in $$F_2 \times F_2$$ one can decide membership in any subgroup generated by a subset of a generating set, but there are finitely generated subgroups of it for which membership is undecidable (a famous result due to Mikhailova).