1: \begin{abstract}

2:     We consider semigroup algorithmic problems in finitely generated metabelian groups.

3:     Our paper focuses on three decision problems introduced by Choffrut and Karhum\"{a}ki (2005): the \emph{Identity Problem} (does a semigroup contain a neutral element?), the \emph{Group Problem} (is a semigroup a group?) and the \emph{Inverse Problem} (does a semigroup contain the inverse of a generator?).

4:     We show that all three problems are decidable for finitely generated sub-semigroups of finitely generated metabelian groups.

5:     In particular, we establish a correspondence between polynomial semirings and sub-semigroups of metabelian groups using an interaction of graph theory, convex polytopes, algebraic geometry and number theory.

6:     

7:     Since the \emph{Semigroup Membership} problem (does a semigroup contain a given element?) is known to be undecidable in finitely generated metabelian groups, our result completes the decidability characterization of semigroup algorithmic problems in metabelian groups.

8: \end{abstract}

9: