Back

〈a, b | babab=a, bbbbb=1〉

Monoid presentation of length 11

Properties

Completion parameters

Complete rewriting system

  1. a21 ⇒ a
  2. aba20 ⇒ ab
  3. a2b ⇒ ba2
  4. ab2a20 ⇒ ab2
  5. b(ab)2 ⇒ a
  6. ab3a20 ⇒ ab3
  7. b4a ⇒ (ab)2
  8. (bab)2 ⇒ ab3a19
  9. ab4 ⇒ (ba)2
  10. b5 ⇒ 1
  11. b3ab3 ⇒ abab3aba
  12. ab(bab2)2 ⇒ b(bab2)2a11

Idempotents

2 elements

Right Cayley graph

Left Cayley graph

Others with same cardinality

3 unique, 3 total

Length:Presentation:Description:Related:
10 〈a, b | abba=b, aaaaa=1〉 Finite non-commutative monoid with 605 elements
10 〈a, b | aba=bb, aaaaa=1〉 Finite non-commutative monoid with 605 elements
11 〈a, b | bab=aba, aaaaa=1〉 Finite non-commutative monoid with 605 elements