Back

a, b | aa=1, bbabbb=bb

Monoid presentation of length 10

Properties

Completion parameters

Complete rewriting system

  1. a2 ⇒ 1
  2. b2ab3b2

Right Cayley graph (truncated)

Left Cayley graph (truncated)