Back

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

Monoid presentation of length 11

Properties

Completion parameters

Complete rewriting system

  1. b10 ⇒ b
  2. bab9 ⇒ ba
  3. b3a ⇒ ab6
  4. a2 ⇒ 1
  5. (ba)2 ⇒ abab4
  6. bab2a ⇒ ab2ab7

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
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