Back

a, b | ab=aa, ba=a

Monoid presentation of length 7

Properties

Completion parameters

Complete rewriting system

  1. aba2
  2. baa
  3. a3a2

Right Cayley graph (truncated)

Left Cayley graph (truncated)