Back

a, b | aba=a, bbbbbb=1

Monoid presentation of length 10

Properties

Completion parameters

Complete rewriting system

  1. abaa
  2. b6 ⇒ 1

Right Cayley graph (truncated)

Left Cayley graph (truncated)