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

Properties

• Finite non-commutative monoid with 324 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