1: \begin{abstract}

2: We show that the membership problem in a finitely generated

3: submonoid of a graph group (also called a right-angled Artin group

4: or a free partially commutative group) is decidable if and only if

5: the independence graph (commutation graph) is a transitive forest.

6: As a consequence we obtain the first example of a finitely presented

7: group with a decidable generalized word problem that does not have a

8: decidable membership problem for finitely generated submonoids.  We

9: also show that the rational subset membership problem is decidable

10: for a graph group if and only if the independence graph is a

11: transitive forest, answering a question of Kambites, Silva, and the

12: second author \cite{KaSiSt06}.  Finally we prove that for certain 

13: amalgamated free products and HNN-extensions the rational subset and

14: submonoid membership problems are recursively equivalent.

15: In particular, this applies to finitely generated groups with two or

16: more ends that are either torsion-free or residually finite.

17: \end{abstract}

18: