〈a, b | aa=1, abbabbabb=1〉

Properties

• Infinite non-Abelian group

Completion parameters

• Reduction order: right-to-left ac/b
• Auxiliary generator bb=c

Inverses of generators

• a^-1 = a
• b^-1 = ba(ca)²
• c^-1 = a(ca)²

Complete rewriting system

1. a² ⇒ 1
2. c(ac)² ⇒ a
3. bc ⇒ cb
4. b(ac)² ⇒ a(ca)²ba
5. b² ⇒ c

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other anti-isomorphic instances