#1505 ⟨a, b | ababaaaaab=1⟩

Up:Monoids with two generators and one relation
Prev:#1503 ⟨a, b | abaabbbaba=1⟩
Next:#1506 ⟨a, b | ababaaabab=1⟩

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. cd ⇒ 1
  3. da ⇒ ad
  4. dc ⇒ 1
  5. a5 ⇒ c
  6. cb ⇒ aba4
  7. adb ⇒ bad
  8. d2b ⇒ a2ba3d3
  9. a3b ⇒ dba3c
  10. b(ab)2 ⇒ d 
# ab:ababaaaaab=1 acd/b aaaaa=c,babab=d magic:0
ca=ac
cd=1
da=ad
dc=1
aaaaa=c
cb=abaaaa
adb=bad
ddb=aabaaaddd
aaab=dbaaac
babab=d

Right Cayley graph (truncated)

Left Cayley graph (truncated)