We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Group Theory

Title: The Identity Problem in the special affine group of $\mathbb{Z}^2$

Authors: Ruiwen Dong
Abstract: We consider semigroup algorithmic problems in the Special Affine group $\mathsf{SA}(2, \mathbb{Z}) = \mathbb{Z}^2 \rtimes \mathsf{SL}(2, \mathbb{Z})$, which is the group of affine transformations of the lattice $\mathbb{Z}^2$ that preserve orientation. Our paper focuses on two decision problems introduced by Choffrut and Karhum\"{a}ki (2005): the Identity Problem (does a semigroup contain a neutral element?) and the Group Problem (is a semigroup a group?) for finitely generated sub-semigroups of $\mathsf{SA}(2, \mathbb{Z})$. We show that both problems are decidable and NP-complete. Since $\mathsf{SL}(2, \mathbb{Z}) \leq \mathsf{SA}(2, \mathbb{Z}) \leq \mathsf{SL}(3, \mathbb{Z})$, our result extends that of Bell, Hirvensalo and Potapov (SODA 2017) on the NP-completeness of both problems in $\mathsf{SL}(2, \mathbb{Z})$, and contributes a first step towards the open problems in $\mathsf{SL}(3, \mathbb{Z})$.
Comments: 17 pages, 10 figures
Subjects: Group Theory (math.GR); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)
Cite as: arXiv:2301.09502 [math.GR]
  (or arXiv:2301.09502v1 [math.GR] for this version)

Submission history

From: Ruiwen Dong [view email]
[v1] Mon, 23 Jan 2023 15:56:01 GMT (129kb,D)

Link back to: arXiv, form interface, contact.