Back

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

Monoid presentation of length 9

Properties

Completion parameters

Complete rewriting system

  1. b16 ⇒ b
  2. ba ⇒ ab4
  3. a2 ⇒ 1

Idempotents

2 elements

Right Cayley graph

Left Cayley graph

Others with same cardinality

2 unique, 2 total

Length:Presentation:Description:Related:
10 〈a, b | aba=bb, bab=aa〉 Finite non-commutative monoid with 32 elements
11 〈a, b | aaa=bb, aabab=a〉 Finite non-commutative monoid with 32 elements

Other isomorphic instances

17 total

Length:Presentation:
9〈a, b | aa=1, abbbb=ba〉
9〈a, b | aa=1, bbbb=aba〉
11〈a, b | aa=1, aaabbbba=b〉
11〈a, b | aa=1, abaabbba=b〉
11〈a, b | aa=1, abbaabba=b〉
11〈a, b | aa=1, aaabbbb=ba〉
11〈a, b | aa=1, aabbbba=ab〉
11〈a, b | aa=1, abaabbb=ba〉
11〈a, b | aa=1, abbaabb=ba〉
11〈a, b | aa=1, abbbaab=ba〉
11〈a, b | aa=1, aabbbb=aba〉
11〈a, b | aa=1, abbbba=aab〉
11〈a, b | aa=1, baabbb=aba〉
11〈a, b | aa=1, bbaabb=aba〉
11〈a, b | aa=1, aaaba=bbbb〉
11〈a, b | aa=1, abbbb=aaba〉
11〈a, b | aa=1, abbbb=baaa〉