〈a, b | aabbaabbba=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: left-to-right cda/b
• Auxiliary generator aaa=c
• Auxiliary generator bbaabbb=d

Inverses of generators

• a^-1 = da²
• b^-1 = b²cb²a²
• c^-1 = d
• d^-1 = c

Complete rewriting system

1. cd ⇒ 1
2. dc ⇒ 1
3. ac ⇒ ca
4. ad ⇒ da
5. a³ ⇒ c
6. cb²a²b ⇒ bcb²a²
7. dbcb² ⇒ b²a²bda
8. ab²a²b ⇒ b³c
9. abcb² ⇒ cb³a
10. a²b³ ⇒ bcb²da²
11. db²cb² ⇒ b²a²b²da
12. ab²cb² ⇒ cb³cbda
13. b³cb² ⇒ da
14. cb²ab³ ⇒ (b²c)²abd
15. cb²cab³ ⇒ bcb²ca²b²da²
16. ab²ab³ ⇒ b³cba²bd
17. ab²cab³ ⇒ b³c²b²da²

Other isomorphic instances

Other anti-isomorphic instances