#953 ⟨a, b | aabbaba=ab⟩

Up:Monoids with two generators and one relation
Prev:#952 ⟨a, b | aabbaba=aa⟩
Next:#954 ⟨a, b | aabbaba=ba⟩

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. acaba ⇒ ab
  2. acabc ⇒ cb
  3. c2aba ⇒ cb
  4. ab2 ⇒ c
  5. abcaba ⇒ c
  6. cb2 ⇒ (abc)2
  7. c(ba)2 ⇒ ac2
  8. cbcaba ⇒ (abc)2
  9. c2abcb ⇒ cbcabc
  10. (abc)2b ⇒ c2abc
  11. cbabcb ⇒ ac3abc
  12. cbcabcb ⇒ ab(cabc)2 
# ab:aabbaba=ab ac/b abb=c frequency:3/0
acaba=ab
acabc=cb
ccaba=cb
abb=c
abcaba=c
cbb=abcabc
cbaba=acc
cbcaba=abcabc
ccabcb=cbcabc
abcabcb=ccabc
cbabcb=acccabc
cbcabcb=abcabccabc

Right Cayley graph (truncated)

Left Cayley graph (truncated)