#15908 ⟨a, b | aba=bb, aaaab=b⟩

Up:Monoids with two generators and two relations
Prev:#15905 ⟨a, b | aba=bb, aaaaa=a⟩
Next:#15932 ⟨a, b | aba=bb, abbbb=b⟩

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. b14 ⇒ b2
  2. b13a ⇒ ba
  3. b12ab2 ⇒ ab2
  4. ab3 ⇒ b3a
  5. aba ⇒ b2
  6. ab2ab ⇒ b5a2
  7. a2b2 ⇒ b8(b2a)2
  8. ba3 ⇒ b11ab
  9. ab2a2b ⇒ b5ab2a2
  10. a4b ⇒ b 
# ab:aba=bb,aaaab=b reversed:b/a
bbbbbbbbbbbbbb=bb
bbbbbbbbbbbbba=ba
bbbbbbbbbbbbabb=abb
abbb=bbba
aba=bb
abbab=bbbbbaa
aabb=bbbbbbbbbbabba
baaa=bbbbbbbbbbbab
abbaab=bbbbbabbaa
aaaab=b

Right Cayley graph (truncated)

Left Cayley graph (truncated)