#2032 ⟨a, b | abaaabba=ba⟩

Up:Monoids with two generators and one relation
Prev:#2031 ⟨a, b | abaaabba=ab⟩
Next:#2033 ⟨a, b | abaaabba=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. b2a ⇒ aba3c
  2. b2c ⇒ cba3c
  3. baba3c ⇒ c
  4. aba3bc ⇒ c
  5. (aba3)2c ⇒ ba
  6. a(ba3c)2 ⇒ bc
  7. cba3bc ⇒ bcba3c
  8. cba4ba3c ⇒ bc 
# ab:abaaabba=ba ac/b bbba=c frequency:4/1
bba=abaaac
bbc=cbaaac
babaaac=c
abaaabc=c
abaaaabaaac=ba
abaaacbaaac=bc
cbaaabc=bcbaaac
cbaaaabaaac=bc

Right Cayley graph (truncated)

Left Cayley graph (truncated)