Back

a, b | aab=aa, bba=ba

Monoid presentation of length 10

Properties

Completion parameters

Complete rewriting system

  1. a2ba2
  2. b2aba

Right Cayley graph (truncated)

Left Cayley graph (truncated)