〈a, b | babb=aa, bbbb=b〉

Properties

• Finite non-commutative monoid with 79 elements

Completion parameters

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

Complete rewriting system

1. a¹¹ ⇒ a⁴
2. a⁴ba ⇒ a⁶b
3. ba³ ⇒ a²ba²
4. bab ⇒ a²b²
5. a³b²a ⇒ a(a²b)²
6. a(a²b)²a ⇒ a⁴b²
7. a²b²a² ⇒ a³b²
8. a²(ba²)² ⇒ a(a²b)²
9. a²b³ ⇒ a²
10. (a²b)²ba ⇒ a³ba²b²
11. b³a² ⇒ a²
12. b(ba²)² ⇒ a³
13. b⁴ ⇒ b

Idempotents

• 1
• a⁷
• b³

Right Cayley graph

Left Cayley graph