#2065 ⟨a, b | ababbaba=ab⟩

Up:Monoids with two generators and one relation
Prev:#2064 ⟨a, b | ababbaba=aa⟩
Next:#2066 ⟨a, b | ababbaba=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. cb2 ⇒ c2abc
  2. c2aba ⇒ c
  3. ab2 ⇒ c
  4. cbabc ⇒ abc2b
  5. cbcabc ⇒ c2abcb
  6. (abc)2 ⇒ cb
  7. c(ba)2 ⇒ abcab
  8. cbcaba ⇒ cb
  9. abcaba ⇒ ab 
# ab:ababbaba=ab c/ab abb=c frequency:3/0
cbb=ccabc
ccaba=c
abb=c
cbabc=abccb
cbcabc=ccabcb
abcabc=cb
cbaba=abcab
cbcaba=cb
abcaba=ab

Right Cayley graph (truncated)

Left Cayley graph (truncated)