1: \begin{abstract}

2: If $M$ is a submonoid of a f.g.\@ nilpotent group $G$, and $MG'$ is a finite index subgroup of $G$, then $M$ itself is a finite index subgroup of $G$. If $MG'=G$, then $M=G$. This generalizes a well-known theorem for subgroups of f.g.\@ nilpotent groups. As a result, we give an algorithm for the identity problem in nilpotent groups.

3: \end{abstract}

4: