Abstract:We show that it is undecidable whether a system of linear equations over the Laurent polynomial ring $\mathbb{Z}[X^{\pm}]$ admit solutions where a specified subset of variables take value in the set of monomials $\{X^z \mid z \in \mathbb{Z}\}$. In particular, we construct a finitely presented $\mathbb{Z}[X^{\pm}]$-module, where it is undecidable whether a linear equation $X^{z_1} \boldsymbol{f}_1 + \cdots + X^{z_n} \boldsymbol{f}_n = \boldsymbol{f}_0$ has solutions $z_1, \ldots, z_n \in \mathbb{Z}$. This contrasts the decidability of the case $n = 1$, which can be deduced from Noskov's Lemma. We apply this result to settle a number of problems in computational group theory. We show that it is undecidable whether a system of equations has solutions in the wreath product $\mathbb{Z} \wr \mathbb{Z}$, providing a negative answer to an open problem of Kharlampovich, López and Miasnikov (2020). We show that there exists a finitely generated abelian-by-cyclic group in which the problem of solving a single quadratic equation is undecidable. We also construct a finitely generated abelian-by-cyclic group, different to that of Mishchenko and Treier (2017), in which the Knapsack Problem is undecidable. In contrast, we show that the problem of Coset Intersection is decidable in all finitely generated abelian-by-cyclic groups.

Semigroup algorithmic problems in metabelian groups

Recent advances in algorithmic problems for semigroups

The Identity Problem in $\mathbb{Z} \wr \mathbb{Z}$ is decidable

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

Semigroup intersection problems in the Heisenberg groups

The Identity Problem in nilpotent groups of bounded class

Subgroup and Coset Intersection in abelian-by-cyclic groups

Computing finite index congruences of finitely presented semigroups and monoids

Ordering groups and the Identity Problem

The Identity Problem in virtually solvable matrix groups over algebraic numbers

Remarks and problems about algorithmic descriptions of groups

Computing congruences of finite inverse semigroups

Linear equations with monomial constraints and decision problems in abelian-by-cyclic groups

Undecidability of the submonoid membership problem for a sufficiently large finite direct power of the Heisenberg group

Membership problems in nilpotent groups

On decidability of the product of subgroups membership problem for nilpotent groups

Regularity of Semigroup Rings

The Freeness Problem for Automaton Semigroups

A computational approach to the study of finite-complement submonids of an affine cone

Semigroups of ideals and isomorphism problems

Submonoid Membership in n-dimensional lamplighter groups and S-unit equations