#2307 ⟨a, b | abaabab=aba⟩

Up:Monoids with two generators and one relation
Prev:#2306 ⟨a, b | abaabab=aab⟩
Next:#2308 ⟨a, b | abaabab=abb⟩

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. ca ⇒ cbc
  2. aba ⇒ cbab
  3. c2bab ⇒ (cb)2a
  4. (cb)2ab ⇒ c
  5. cba2 ⇒ cbabc
  6. cbab2a ⇒ abcbab
  7. (cba)2b ⇒ cbabcba
  8. (cbab)2 ⇒ cba 
# ab:abaabab=aba reversed:b/ca abaa=c frequency:4/0
ca=cbc
aba=cbab
ccbab=cbcba
cbcbab=c
cbaa=cbabc
cbabba=abcbab
cbacbab=cbabcba
cbabcbab=cba

Right Cayley graph (truncated)

Left Cayley graph (truncated)