#1764 ⟨a, b | abaabaaab=b⟩

Up:Monoids with two generators and one relation
Prev:#1763 ⟨a, b | abaabaaab=a⟩
Next:#1767 ⟨a, b | abaababab=a⟩

Properties

Complete rewriting system

Format:
Word to reduce:
Tips:
  • Lowercase letters stand for generators.
  • Spaces are ignored.
  • Numbers repeat the previous letter, e.g. b90.
Reduction strategy:
Path to normal form: 1 
1
  1. ca ⇒ ac
  2. a2 ⇒ c
  3. cb2 ⇒ bcb
  4. cbab ⇒ bacb
  5. b2ab ⇒ ab3
  6. b2acb ⇒ ab2cb
  7. (cb)3 ⇒ b
  8. bcbacb ⇒ ab(cb)2 
# ab:abaabaaab=b reversed:cba aa=c frequency:2/0
ca=ac
aa=c
cbb=bcb
cbab=bacb
bbab=abbb
bbacb=abbcb
cbcbcb=b
bcbacb=abcbcb

Right Cayley graph (truncated)

Left Cayley graph (truncated)