#2184 ⟨a, b | aaabbaa=aab⟩

Up:Monoids with two generators and one relation
Prev:#2183 ⟨a, b | aaabbaa=aaa⟩
Next:#2185 ⟨a, b | aaabbaa=aba⟩

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)3a ⇒ c2
  2. c3aca2 ⇒ c(ac)3
  3. a3caca2 ⇒ a2c
  4. a2c2aca2 ⇒ a2(ac)3
  5. ca(ac)2a2 ⇒ cac
  6. (cac)2a2 ⇒ ca(ac)3
  7. cb ⇒ cac
  8. a2b ⇒ a3c
  9. cab ⇒ ca2c
  10. b2a2 ⇒ c 
# ab:aaabbaa=aab ac/b bbaa=c frequency:4/0
cacacaa=cc
cccacaa=cacacac
aaacacaa=aac
aaccacaa=aaacacac
caacacaa=cac
caccacaa=caacacac
cb=cac
aab=aaac
cab=caac
bbaa=c

Right Cayley graph (truncated)

Left Cayley graph (truncated)