Back

〈a, b | aa=1, abbbab=ba〉

Monoid presentation of length 10

Properties

Completion parameters

Complete rewriting system

  1. b7 ⇒ b
  2. bab6 ⇒ ba
  3. b6a ⇒ ab6
  4. a2 ⇒ 1
  5. aba ⇒ b3ab
  6. ab3a ⇒ bab5
  7. ab5a ⇒ b5ab3
  8. bab2a ⇒ ab4ab5
  9. bab4a ⇒ ab2ab3

Idempotents

2 elements

Right Cayley graph

Left Cayley graph

Others with same cardinality

5 unique, 9 total

Length:Presentation:Description:Related:
10 〈a, b | aa=1, ababbba=b〉 Finite non-commutative monoid with 56 elements 2 isomorphic
11 〈a, b | aab=a, bbbbbbb=1〉 Finite non-commutative monoid with 56 elements
11 〈a, b | ab=aa, bbbbbbb=1〉 Finite non-commutative monoid with 56 elements
11 〈a, b | aa=1, abababba=b〉 Finite non-commutative monoid with 56 elements 2 isomorphic
11 〈a, b | aa=1, abbabab=ba〉 Finite non-commutative monoid with 56 elements