#2399 ⟨a, b | aaaaba=baba⟩

Up:Monoids with two generators and one relation
Prev:#2398 ⟨a, b | aaaaba=baab⟩
Next:#2400 ⟨a, b | aaaaba=babb⟩

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. a4c2 ⇒ ca4c
  2. a8c ⇒ c2
  3. (a4c)2 ⇒ c3
  4. cba ⇒ a4c
  5. a4ba ⇒ c
  6. cbc ⇒ a4ca3ba
  7. a4bc ⇒ ca3ba
  8. bac ⇒ a4c
  9. ba5c ⇒ c2
  10. (ba)2 ⇒ c
  11. babc ⇒ ca3ba 
# ab:aaaaba=baba reversed:ac/b baba=c magic:0
aaaacc=caaaac
aaaaaaaac=cc
aaaacaaaac=ccc
cba=aaaac
aaaaba=c
cbc=aaaacaaaba
aaaabc=caaaba
bac=aaaac
baaaaac=cc
baba=c
babc=caaaba

Right Cayley graph (truncated)

Left Cayley graph (truncated)