#2308 ⟨a, b | abaabab=abb⟩

Up:Monoids with two generators and one relation
Prev:#2307 ⟨a, b | abaabab=aba⟩
Next:#2309 ⟨a, b | abaabab=baa⟩

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. ab2 ⇒ c
  2. cb2 ⇒ ca2bc
  3. ca(ab)2 ⇒ cb
  4. aba2bc ⇒ cb
  5. (aba)2b ⇒ c
  6. cba2bc ⇒ ca2bcb
  7. cba(ab)2 ⇒ ca2bc 
# ab:abaabab=abb a/cb abb=c magic:0
abb=c
cbb=caabc
caabab=cb
abaabc=cb
abaabab=c
cbaabc=caabcb
cbaabab=caabc

Right Cayley graph (truncated)

Left Cayley graph (truncated)