#25251 ⟨a, b | aa=a, bbabb=abb⟩

Up:Monoids with two generators and two relations
Prev:#25250 ⟨a, b | aa=a, bbabb=aba⟩
Next:#25252 ⟨a, b | aa=a, bbabb=bab⟩

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. c2b ⇒ cb
  2. c3 ⇒ c2
  3. b2cb ⇒ cb
  4. b2c2 ⇒ c2
  5. ab2 ⇒ bcb
  6. abc ⇒ bc2
  7. acb ⇒ b(cb)2
  8. ac2 ⇒ bcbc2
  9. bab ⇒ c
  10. cab ⇒ bac
  11. a2 ⇒ a 
# ab:aa=a,bbabb=abb bc/a bab=c frequency:3/1
ccb=cb
ccc=cc
bbcb=cb
bbcc=cc
abb=bcb
abc=bcc
acb=bcbcb
acc=bcbcc
bab=c
cab=bac
aa=a

Right Cayley graph (truncated)

Left Cayley graph (truncated)