〈a, b | aaa=1, abbbbb=ba〉

Properties

• Finite non-commutative monoid with 375 elements

Completion parameters

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

Complete rewriting system

1. b¹²⁵ ⇒ b
2. ba ⇒ ab⁵
3. a³ ⇒ 1

Idempotents

• 1
• b¹²⁴

Right Cayley graph

Left Cayley graph