Back

a, b | ab=aa, bb=ba

Monoid presentation of length 8

Properties

Completion parameters

Complete rewriting system

  1. aba2
  2. b2ba

Right Cayley graph (truncated)

Left Cayley graph (truncated)