#22290 ⟨a, b | aaa=1, abbbbb=ba⟩
Properties
- Presentation has sum-of-sides 11
- Finite non-commutative monoid with 375 elements
Element profile
- 5 element center:
- 2 idempotent elements:
Complete rewriting system
- Reduction order:
- Left-to-right recursive path with deg(b) = 0; deg(a) = 1
- b125 ⇒ b
- ba ⇒ ab5
- a3 ⇒ 1
# ab:aaa=1,abbbbb=ba b/a
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb=b
ba=abbbbb
aaa=1
Right Cayley graph
Left Cayley graph
