〈a, b | aaab=ba, bbbbb=1〉

Properties

• Finite non-commutative monoid with 1215 elements

Completion parameters

• Reduction order: right-to-left a/b

Complete rewriting system

1. a²⁴³ ⇒ a
2. ba ⇒ a³b
3. b⁵ ⇒ 1

Idempotents

• 1
• a²⁴²

Right Cayley graph

Left Cayley graph