#542 ⟨a, b | abaab=bab⟩

Up:Monoids with two generators and one relation
Prev:#541 ⟨a, b | abaab=baa⟩
Next:#543 ⟨a, b | abaab=bba⟩

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. ac2 ⇒ cac
  2. (ac)2 ⇒ ca2c
  3. acab ⇒ ca2b
  4. bc ⇒ ca2b
  5. bac ⇒ cab
  6. aba2c ⇒ cab
  7. bab ⇒ c
  8. aba2b ⇒ c 
# ab:abaab=bab a/cb bab=c magic:0
acc=cac
acac=caac
acab=caab
bc=caab
bac=cab
abaac=cab
bab=c
abaab=c

Right Cayley graph (truncated)

Left Cayley graph (truncated)