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

Ruiwen Dong

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 tak…