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.
Original language | English |
---|---|
Pages (from-to) | 88-99 |
Number of pages | 12 |
Journal | Journal of Algebra |
Volume | 545 |
Early online date | 6 Dec 2018 |
DOIs | |
Publication status | Published - 1 Mar 2020 |
Keywords
- Direct products
- Equations in groups
- Hyperbolic groups
- Wreath products
ASJC Scopus subject areas
- Algebra and Number Theory