Equations in groups that are virtually direct products
Laura CiobanuDerek HoltSarah Rees
所有作者
Laura CiobanuDerek HoltSarah Rees
文献摘要
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.