Back

〈a, b | aaab=bba, bbbb=1〉

Monoid presentation of length 11

Properties

Completion parameters

Complete rewriting system

  1. a9 ⇒ a
  2. aba8 ⇒ ab
  3. b2a ⇒ a3b
  4. ab2 ⇒ a4ba7
  5. (ab)2 ⇒ a6ba6
  6. aba2b ⇒ a7
  7. aba3b ⇒ a3ba3
  8. aba4b ⇒ a2ba5
  9. aba5b ⇒ a7ba
  10. aba6b ⇒ a5ba4
  11. aba7b ⇒ a8ba2
  12. b4 ⇒ 1

Idempotents

3 elements

Right Cayley graph

Left Cayley graph

Others with same cardinality

3 unique, 3 total

Length:Presentation:Description:Related:
11 〈a, b | babb=aaa, bbbb=1〉 Finite non-commutative monoid with 148 elements
11 〈a, b | aaaa=a, abbba=b〉 Finite non-commutative monoid with 148 elements
11 〈a, b | aaaa=1, aabbb=ba〉 Finite non-commutative monoid with 148 elements

Other isomorphic instances

1 total

Length:Presentation:
11〈a, b | aaaa=1, aabbba=b〉