1: \begin{abstract}

2: 	We study both the Submonoid Membership problem ($\SMP$) and the Rational Subset Membership problem ($\RSMP$) in finitely generated nilpotent groups. We give two reductions with important applications: 

3: 	

4: 	\medbreak

5: 	

6: 	\begin{itemize}[leftmargin=6mm]

7: 		\item The $\SMP$ in any nilpotent group can be reduced to the $\RSMP$ in \emph{smaller} groups. As a corollary, we prove the existence of a group with decidable $\SMP$ and undecidable $\RSMP$, answering a question of Lohrey and Steinberg.

8: 		

9: 		\medbreak

10: 		

11: 		\item The Rational Subset Membership problem in $H_3(\Z)$ can be reduced to the Knapsack problem in the \emph{same} group, and is therefore decidable.

12: 	\end{itemize}

13: 	\medbreak

14: 	\noindent Combining both results, we deduce that the filiform $3$-step nilpotent group 

15: 	% \[ \la x,y\;\big|\; [x,[x,[x,y]]]=[y,[x,[x,y]]]=[y,[x,y]]=1\ra \]

16: 	has decidable Submonoid Membership.

17: 	

18: 	%\medbreak

19: 	%\noindent\textbf{Keywords:} Rational subsets, Membership problem, Heisenberg group. \vspace*{-2mm}

20: \end{abstract}

21: