1: \begin{abstract}

2: We consider semigroup algorithmic problems in the wreath product $\mathbb{Z} \wr \mathbb{Z}$.

3: Our paper focuses on two decision problems introduced by Choffrut and Karhum\"{a}ki (2005): the \emph{Identity Problem} (does a semigroup contain the neutral element?) and the \emph{Group Problem} (is a semigroup a group?) for finitely generated sub-semigroups of $\mathbb{Z} \wr \mathbb{Z}$.

4: We show that both problems are decidable.

5: Our result complements the undecidability of the \emph{Semigroup Membership Problem} (does a semigroup contain a given element?) in $\mathbb{Z} \wr \mathbb{Z}$ shown by Lohrey, Steinberg and Zetzsche (ICALP 2013), and contributes an important step towards solving semigroup algorithmic problems in general metabelian groups.

6: \end{abstract}

7: