〈a, b | aababbaba=1〉

Properties

• Infinite non-Abelian group

Completion parameters

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

Inverses of generators

• a^-1 = a²d
• b^-1 = babcba
• c^-1 = d
• d^-1 = c

Complete rewriting system

1. ca ⇒ ac
2. cd ⇒ 1
3. da ⇒ ad
4. dc ⇒ 1
5. a³ ⇒ c
6. cbab ⇒ babc
7. dbab ⇒ babd
8. ab²ab ⇒ babcbad
9. a²bab² ⇒ b²aba²
10. a(ab)²cb ⇒ cb²aba²
11. a(ab)²db ⇒ db²aba²
12. acb²ab ⇒ babc²bad
13. adb²ab ⇒ bab²ad
14. c²b²ab ⇒ a(ab)²c²bad
15. d²b²ab ⇒ a(ab)²d²bad
16. b²abcb ⇒ a²d

Other isomorphic instances