Back

〈a, b | aa=1, ababbba=b〉

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 ⇒ bab3
  6. ab3a ⇒ b5ab
  7. ab5a ⇒ b3ab5
  8. bab2a ⇒ ab4ab5
  9. bab4a ⇒ ab2ab3

Idempotents

2 elements

Right Cayley graph

Left Cayley graph

Others with same cardinality

5 unique, 7 total

Length:Presentation:Description:Related:
10 〈a, b | aa=1, abbbab=ba〉 Finite non-commutative monoid with 56 elements
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

Other isomorphic instances

2 total

Length:Presentation:
10〈a, b | aa=1, ababbb=ba〉
10〈a, b | aa=1, babbb=aba〉