Back

a, b | ab=a, bb=1

Monoid presentation of length 5

Properties

Completion parameters

Complete rewriting system

  1. aba
  2. b2 ⇒ 1

Right Cayley graph (truncated)

Left Cayley graph (truncated)