ab28f3bfc3f54758.tex
1: \begin{abstract}
2: We consider semigroup algorithmic problems in the Special Affine group $\SA = \Z^2 \rtimes \SL(2, \Z)$,
3: which is the group of affine transformations of the lattice $\Z^2$ that preserve orientation.
4: Our paper focuses on two decision problems introduced by Choffrut and Karhum\"{a}ki (2005): the \emph{Identity Problem} (does a semigroup contain a neutral element?) and the \emph{Group Problem} (is a semigroup a group?) for finitely generated sub-semigroups of $\SA$.
5: We show that both problems are decidable and \textbf{NP}-complete.
6: Since $\SL(2, \Z) \leq \SA \leq \SL(3, \Z)$, our result extends that of Bell, Hirvensalo and Potapov (SODA 2017) on the \textbf{NP}-completeness of both problems in $\SL(2, \Z)$,
7: and contributes a first step towards the open problems in $\SL(3, \Z)$. \\
8: \end{abstract}
9: