Another group can be found in Alan Logan's paper (PAMS 2016): it is a
The example is the two generator, one relator group
$$ \langle G = a, b; (a^{−2}ba^44ba^{−3}ba^5b)^n\rangle.$$
Igor Rivin
- 96.4k
- 11
- 153
- 366