#1175 ⟨a, b | aaaba=baba⟩

Up:Monoids with two generators and one relation
Prev:#1174 ⟨a, b | aaaba=baab⟩
Next:#1176 ⟨a, b | aaaba=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. a3c2 ⇒ ca3c
  2. a6c ⇒ c2
  3. (a3c)2 ⇒ c3
  4. cba ⇒ a3c
  5. a3ba ⇒ c
  6. cbc ⇒ a3ca2ba
  7. a3bc ⇒ ca2ba
  8. bac ⇒ a3c
  9. ba4c ⇒ c2
  10. (ba)2 ⇒ c
  11. babc ⇒ ca2ba 
# ab:aaaba=baba reversed:ac/b baba=c magic:0
aaacc=caaac
aaaaaac=cc
aaacaaac=ccc
cba=aaac
aaaba=c
cbc=aaacaaba
aaabc=caaba
bac=aaac
baaaac=cc
baba=c
babc=caaba

Right Cayley graph (truncated)

Left Cayley graph (truncated)