Equations in groups that are virtually direct products
arXiv:1806.00244
Abstract
In this note, we show that the satisfiability of equations and inequations with recognisable constraints is decidable in groups that are virtually direct products of finitely many hyperbolic groups.
Dedicated to Charles Sims