Back

a, b | aaba=aa, bbba=a

Monoid presentation of length 11

Properties

Completion parameters

Complete rewriting system

  1. a2baa2
  2. b3aa

Right Cayley graph (truncated)

Left Cayley graph (truncated)