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.

On the Solutions of Linear Systems over Additively Idempotent Semirings

On the solutions of linear systems over additively idempotent semirings

Using matrix sparsification to solve tropical linear vector equations

Equations over Polyhedral Semirings

On max-plus two-sided linear systems whose solution sets are min-plus linear

Solving Systems of Algebraic Equations Over Finite Commutative Rings and Applications

On solving basic equations over the semiring of functional digraphs

SMT Solving over Finite Field Arithmetic

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

On a Conjecture about the Number of Solutions to Linear Diophantine Equations with a Positive Integer Parameter

On T-Sylvester equations over commutative rings

Kannappan-Wilson and Van Vleck-Wilson functional equations on semigroups

Solving parameter-dependent semi-algebraic systems

On Matrices over a Polynomial Ring with Restricted Subdeterminants

Additively idempotent matrix semirings

Solutions of the Yang-Baxter equation and strong semilattices of skew braces

On the solvability of systems of equations revisited

Verification of Solutions for Almost Linear Complementarity Problems

Solutions of the Yang–Baxter Equation and Strong Semilattices of Skew Braces

Dimension of the linearization equations of the matsumoto-imai cryptosystems