#2058 ⟨a, b | abababba=ba⟩

Up:Monoids with two generators and one relation
Prev:#2057 ⟨a, b | abababba=ab⟩
Next:#2059 ⟨a, b | abababba=bb⟩

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. (ac)3c ⇒ c
  2. bc ⇒ cac2
  3. bac2 ⇒ (ca)2c2
  4. bacac2 ⇒ c2
  5. cab ⇒ bac
  6. (ac)3ba ⇒ ba
  7. b2a ⇒ cacba
  8. bab ⇒ c
  9. bacba ⇒ c(ac)2ba
  10. b(ac)2ba ⇒ cba 
# ab:abababba=ba ac/b bab=c frequency:3/1
acacacc=c
bc=cacc
bacc=cacacc
bacacc=cc
cab=bac
acacacba=ba
bba=cacba
bab=c
bacba=cacacba
bacacba=cba

Right Cayley graph (truncated)

Left Cayley graph (truncated)