#15200 ⟨a, b | aab=ba, bbbbbb=1⟩

Properties

• Presentation has sum-of-sides 11
• Finite non-commutative monoid with 384 elements

Element profile

• 2 element center:
  • 1, a⁶³
• 2 idempotent elements:
  • 1, a⁶³

Complete rewriting system

1

# ab:aab=ba,bbbbbb=1 reversed:a/b
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa=a
ba=aab
bbbbbb=1

Right Cayley graph

Left Cayley graph