Current browse context:
cs.DM
Change to browse by:
References & Citations
Computer Science > Discrete Mathematics
Title: The Identity Problem in nilpotent groups of bounded class
(Submitted on 3 Aug 2022 (v1), last revised 11 Sep 2023 (this version, v4))
Abstract: Let $G$ be a unitriangular matrix group of nilpotency class at most ten. We show that the Identity Problem (does a semigroup contain the identity matrix?) and the Group Problem (is a semigroup a group?) are decidable in polynomial time for finitely generated subsemigroups of $G$. Our decidability results also hold when $G$ is an arbitrary finitely generated nilpotent group of class at most ten. This extends earlier work of Babai et al. on commutative matrix groups (SODA'96) and work of Bell et al. on $\mathsf{SL}(2, \mathbb{Z})$ (SODA'17). Furthermore, we formulate a sufficient condition for the generalization of our results to nilpotent groups of class $d > 10$. For every such $d$, we exhibit an effective procedure that verifies this condition in case it is true.
Submission history
From: Ruiwen Dong [view email][v1] Wed, 3 Aug 2022 15:51:40 GMT (45kb)
[v2] Thu, 4 Aug 2022 10:42:09 GMT (45kb)
[v3] Sat, 15 Oct 2022 23:07:45 GMT (46kb)
[v4] Mon, 11 Sep 2023 11:21:00 GMT (49kb)
Link back to: arXiv, form interface, contact.