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