#2463 ⟨a, b | aaabba=baba⟩

Up:Monoids with two generators and one relation
Prev:#2462 ⟨a, b | aaabba=baab⟩
Next:#2464 ⟨a, b | aaabba=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. bac ⇒ cba
  2. a3bc ⇒ cba
  3. (ba)2 ⇒ c
  4. a3b2a ⇒ c
  5. babc ⇒ ca2b2a
  6. a3b2c ⇒ ca2b2a 
# ab:aaabba=baba a/cb baba=c magic:0
bac=cba
aaabc=cba
baba=c
aaabba=c
babc=caabba
aaabbc=caabba

Right Cayley graph (truncated)

Left Cayley graph (truncated)