#2617 ⟨a, b | abbaab=aaba⟩

Up:Monoids with two generators and one relation
Prev:#2616 ⟨a, b | abbaab=aaab⟩
Next:#2618 ⟨a, b | abbaab=aabb⟩

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. cb ⇒ d
  2. ab ⇒ c
  3. ac2 ⇒ dad
  4. aca ⇒ dac
  5. dadb ⇒ acd
  6. d2adc ⇒ acdad
  7. d(da)2 ⇒ acdac
  8. (acd)2b ⇒ d2a2cd
  9. (d2a)2cdb ⇒ acd2a2cd 
# ab:abbaab=aaba reversed:bdca ab=c,cb=d frequency:2/0,2/0
cb=d
ab=c
acc=dad
aca=dac
dadb=acd
ddadc=acdad
ddada=acdac
acdacdb=ddaacd
ddaddacdb=acddaacd

Right Cayley graph (truncated)

Left Cayley graph (truncated)