〈a, b | aababbabba=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: left-to-right cdb/a
• Auxiliary generator bb=c
• Auxiliary generator abbaaaba=d

Inverses of generators

• a^-1 = a²b(ac)²
• b^-1 = db
• c^-1 = d
• d^-1 = c

Complete rewriting system

1. cd ⇒ 1
2. dc ⇒ 1
3. bc ⇒ cb
4. bd ⇒ db
5. b² ⇒ c
6. ca³ ⇒ a(ab)²
7. da²ba ⇒ a³db
8. ba(ca)² ⇒ ab(ac)²
9. (ba)²ca ⇒ (ca)³d
10. cba³ ⇒ ba(ab)²
11. dba²ba ⇒ ba³db
12. ba³ba ⇒ (ac)²a²d
13. ba²baca ⇒ (ca)³ad
14. a³baca ⇒ d
15. da²(ca)³ ⇒ a⁴cac
16. ba(ac)²a² ⇒ (ca)³da²b
17. dba²(ca)³ ⇒ ba⁴cac
18. da³caca² ⇒ (a³b)²
19. ba³caca² ⇒ (ca)³ada²b
20. ba³(ca)³ ⇒ (ac)²a²db(ac)²
21. c(ca)³ada² ⇒ ba²(bac)²a²db
22. a⁴caca² ⇒ da²b

Other anti-isomorphic instances