English

Semigroup algorithmic problems in metabelian groups

Group Theory 2023-04-26 v1 Discrete Mathematics Algebraic Geometry Rings and Algebras

Abstract

We consider semigroup algorithmic problems in finitely generated metabelian groups. Our paper focuses on three decision problems introduced by Choffrut and Karhum\"{a}ki (2005): the Identity Problem (does a semigroup contain a neutral element?), the Group Problem (is a semigroup a group?) and the Inverse Problem (does a semigroup contain the inverse of a generator?). We show that all three problems are decidable for finitely generated sub-semigroups of finitely generated metabelian groups. 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. Since the 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.

Keywords

Cite

@article{arxiv.2304.12893,
  title  = {Semigroup algorithmic problems in metabelian groups},
  author = {Ruiwen Dong},
  journal= {arXiv preprint arXiv:2304.12893},
  year   = {2023}
}

Comments

52 pages including appendices, 28 figures