Back

〈a, b | aaaa=bb, abbb=1〉

Monoid presentation of length 10

Properties

Completion parameters

Inverses of generators

Complete rewriting system

  1. a14 ⇒ 1
  2. b ⇒ a9

Cayley table

1aa2a3a4a5a6a7a8a9a10a11a12a13
11aa2a3a4a5a6a7a8a9a10a11a12a13
aaa2a3a4a5a6a7a8a9a10a11a12a131
a2a2a3a4a5a6a7a8a9a10a11a12a131a
a3a3a4a5a6a7a8a9a10a11a12a131aa2
a4a4a5a6a7a8a9a10a11a12a131aa2a3
a5a5a6a7a8a9a10a11a12a131aa2a3a4
a6a6a7a8a9a10a11a12a131aa2a3a4a5
a7a7a8a9a10a11a12a131aa2a3a4a5a6
a8a8a9a10a11a12a131aa2a3a4a5a6a7
a9a9a10a11a12a131aa2a3a4a5a6a7a8
a10a10a11a12a131aa2a3a4a5a6a7a8a9
a11a11a12a131aa2a3a4a5a6a7a8a9a10
a12a12a131aa2a3a4a5a6a7a8a9a10a11
a13a131aa2a3a4a5a6a7a8a9a10a11a12

Right Cayley graph

Others with same cardinality

35 unique, 151 total

Length:Presentation:Description:Related:
8 〈a, b | aa=1, abbbb=b〉 Finite non-commutative monoid with 14 elements 14 isomorphic, 7 anti-isomorphic
9 〈a, b | aba=bb, bab=a〉 Finite non-commutative monoid with 14 elements 1 isomorphic
9 〈a, b | aa=a, bbbb=ab〉 Finite non-commutative monoid with 14 elements 2 isomorphic
9 〈a, b | aa=1, ababbb=b〉 Finite non-commutative monoid with 14 elements 27 isomorphic, 10 anti-isomorphic
10 〈a, b | aab=bb, bbba=a〉 Finite non-commutative monoid with 14 elements 5 isomorphic
10 〈a, b | aab=bb, aba=aa〉 Finite non-commutative monoid with 14 elements 1 isomorphic
10 〈a, b | aab=b, bbba=aa〉 Finite non-commutative monoid with 14 elements
11 〈a, b | aaaa=ab, baab=b〉 Finite non-commutative monoid with 14 elements 2 isomorphic
11 〈a, b | aaaa=bb, abbb=a〉 Finite commutative monoid with 14 elements 1 isomorphic
11 〈a, b | aaaa=bb, abbb=b〉 Finite commutative monoid with 14 elements 1 isomorphic
11 〈a, b | aabb=aa, baab=b〉 Finite non-commutative monoid with 14 elements 2 isomorphic
11 〈a, b | abab=aa, abba=b〉 Finite non-commutative monoid with 14 elements
11 〈a, b | abab=aa, baaa=b〉 Finite non-commutative monoid with 14 elements
11 〈a, b | aaaa=b, aabbb=a〉 Finite commutative monoid with 14 elements 15 isomorphic
11 〈a, b | aaaa=b, aabbb=b〉 Finite commutative monoid with 14 elements 5 isomorphic
11 〈a, b | aaa=bb, abbbb=b〉 Finite commutative monoid with 14 elements 11 isomorphic
11 〈a, b | aaa=bb, babbb=a〉 Finite commutative monoid with 14 elements
11 〈a, b | aab=aa, baaaa=b〉 Finite non-commutative monoid with 14 elements
11 〈a, b | aaa=ab, baab=bb〉 Finite non-commutative monoid with 14 elements 1 isomorphic
11 〈a, b | aaa=bb, bbbb=ab〉 Finite non-commutative monoid with 14 elements
11 〈a, b | aab=bb, abab=aa〉 Finite non-commutative monoid with 14 elements
11 〈a, b | aba=bb, bbbb=aa〉 Finite non-commutative monoid with 14 elements
11 〈a, b | aab=b, abbaa=aa〉 Finite non-commutative monoid with 14 elements 2 isomorphic
11 〈a, b | aab=b, babba=aa〉 Finite non-commutative monoid with 14 elements 1 isomorphic
11 〈a, b | aab=a, bbbb=baa〉 Finite non-commutative monoid with 14 elements
11 〈a, b | ab=aa, bbbbb=aa〉 Finite non-commutative monoid with 14 elements 1 isomorphic
11 〈a, b | ab=aa, bbbbb=ba〉 Finite non-commutative monoid with 14 elements
11 〈a, b | ab=aa, bbaa=bbb〉 Finite non-commutative monoid with 14 elements 1 isomorphic
11 〈a, b | ab=aa, bbbb=aaa〉 Finite non-commutative monoid with 14 elements 3 isomorphic
11 〈a, b | ab=aa, bbbb=baa〉 Finite non-commutative monoid with 14 elements 1 isomorphic
11 〈a, b | ab=aa, bbbb=bba〉 Finite non-commutative monoid with 14 elements
11 〈a, b | bb=aa, abab=aaa〉 Finite non-commutative monoid with 14 elements 2 anti-isomorphic
11 〈a, b | aa=a, bbbbbbb=a〉 Finite commutative monoid with 14 elements
11 〈a, b | aa=b, bbbbbbb=b〉 Finite commutative monoid with 14 elements
11 〈a, b | ab=a, bbaaaa=bb〉 Finite non-commutative monoid with 14 elements

Other isomorphic instances

165 total

Length:Presentation:
10〈a, b | aaaa=bb, babb=1〉
10〈a, b | aaaa=b, aabbb=1〉
10〈a, b | aaaa=b, ababb=1〉
10〈a, b | aaaa=b, abbab=1〉
10〈a, b | aaaa=b, abbba=1〉
10〈a, b | aaaa=b, baabb=1〉
10〈a, b | aaaa=b, babab=1〉
10〈a, b | aaa=bb, abbbb=1〉
10〈a, b | aaa=bb, babbb=1〉
10〈a, b | aaa=bb, bbabb=1〉
10〈a, b | aaab=1, abbbbb=1〉
10〈a, b | aaab=1, babbbb=1〉
10〈a, b | aaab=1, bbabbb=1〉
10〈a, b | aaab=1, bbbabb=1〉
10〈a, b | aaab=1, bbbbab=1〉
10〈a, b | aaab=1, bbbbba=1〉
10〈a, b | aaba=1, abbbbb=1〉
10〈a, b | aaba=1, babbbb=1〉
10〈a, b | aaba=1, bbabbb=1〉
10〈a, b | aaba=1, bbbabb=1〉
10〈a, b | aaba=1, bbbbab=1〉
10〈a, b | aaba=1, bbbbba=1〉
10〈a, b | aaa=b, aabbbb=1〉
10〈a, b | aaa=b, ababbb=1〉
10〈a, b | aaa=b, abbabb=1〉
10〈a, b | aaa=b, abbbab=1〉
10〈a, b | aaa=b, abbbba=1〉
10〈a, b | aaa=b, baabbb=1〉
10〈a, b | aaa=b, bababb=1〉
10〈a, b | aaa=b, babbab=1〉
10〈a, b | aaa=b, bbaabb=1〉
10〈a, b | aab=1, bbbbbbb=1〉
10〈a, b | aba=1, bbbbbbb=1〉
10〈a, b | aa=b, bbbbbbb=1〉
10〈a, b | aa=1, abbbbbbb=1〉
10〈a, b | aa=1, babbbbbb=1〉
10〈a, b | aa=1, bbabbbbb=1〉
10〈a, b | aa=1, bbbabbbb=1〉
10〈a, b | aa=1, bbbbbbb=a〉
11〈a, b | aaaa=bbb, aabb=1〉
11〈a, b | aaaa=bbb, abba=1〉
11〈a, b | aaaa=bbb, baab=1〉
11〈a, b | aaaa=bb, aaabb=1〉
11〈a, b | aaaa=bb, aabab=1〉
11〈a, b | aaaa=bb, aabba=1〉
11〈a, b | aaaa=bb, abaab=1〉
11〈a, b | aaaa=bb, ababa=1〉
11〈a, b | aaaa=bb, baaab=1〉
11〈a, b | aaaab=1, aabbbb=1〉
11〈a, b | aaaab=1, ababbb=1〉
11〈a, b | aaaab=1, abbabb=1〉
11〈a, b | aaaab=1, abbbab=1〉
11〈a, b | aaaab=1, abbbba=1〉
11〈a, b | aaaab=1, baabbb=1〉
11〈a, b | aaaab=1, bababb=1〉
11〈a, b | aaaab=1, babbab=1〉
11〈a, b | aaaab=1, babbba=1〉
11〈a, b | aaaab=1, bbaabb=1〉
11〈a, b | aaaab=1, bbabab=1〉
11〈a, b | aaaab=1, bbabba=1〉
11〈a, b | aaaab=1, bbbaab=1〉
11〈a, b | aaaab=1, bbbaba=1〉
11〈a, b | aaaab=1, bbbbaa=1〉
11〈a, b | aaaba=1, aabbbb=1〉
11〈a, b | aaaba=1, ababbb=1〉
11〈a, b | aaaba=1, abbabb=1〉
11〈a, b | aaaba=1, abbbab=1〉
11〈a, b | aaaba=1, abbbba=1〉
11〈a, b | aaaba=1, baabbb=1〉
11〈a, b | aaaba=1, bababb=1〉
11〈a, b | aaaba=1, babbab=1〉
11〈a, b | aaaba=1, babbba=1〉
11〈a, b | aaaba=1, bbaabb=1〉
11〈a, b | aaaba=1, bbabab=1〉
11〈a, b | aaaba=1, bbabba=1〉
11〈a, b | aaaba=1, bbbaab=1〉
11〈a, b | aaaba=1, bbbaba=1〉
11〈a, b | aaaba=1, bbbbaa=1〉
11〈a, b | aabaa=1, aabbbb=1〉
11〈a, b | aabaa=1, ababbb=1〉
11〈a, b | aabaa=1, abbabb=1〉
11〈a, b | aabaa=1, abbbab=1〉
11〈a, b | aabaa=1, abbbba=1〉
11〈a, b | aabaa=1, baabbb=1〉
11〈a, b | aabaa=1, bababb=1〉
11〈a, b | aabaa=1, babbab=1〉
11〈a, b | aabaa=1, bbaabb=1〉
11〈a, b | aaa=bb, aaaabb=1〉
11〈a, b | aaa=bb, aaabab=1〉
11〈a, b | aaa=bb, aaabba=1〉
11〈a, b | aaa=bb, aababa=1〉
11〈a, b | aaa=bb, aabbaa=1〉
11〈a, b | aaa=bb, abaaab=1〉
11〈a, b | aaa=bb, baaaab=1〉
11〈a, b | aabb=1, aaaaaaa=1〉
11〈a, b | abba=1, aaaaaaa=1〉
11〈a, b | abba=1, bbbbbbb=1〉
11〈a, b | aabb=1, aaaaaa=b〉
11〈a, b | abab=1, aaaaaa=b〉
11〈a, b | abba=1, aaaaaa=b〉
11〈a, b | abba=1, bbbbbb=a〉
11〈a, b | aabb=1, aaaaa=bb〉
11〈a, b | abba=1, aaaaa=bb〉
11〈a, b | abba=1, bbbbb=aa〉
11〈a, b | aba=b, bbbbbbb=1〉
11〈a, b | bb=aa, aaaaaaa=1〉
11〈a, b | bb=aa, aaaaaab=1〉
11〈a, b | bb=aa, aaaaaba=1〉
11〈a, b | bb=aa, aaaaabb=1〉
11〈a, b | bb=aa, aaaabaa=1〉
11〈a, b | bb=aa, aaaabab=1〉
11〈a, b | bb=aa, aaaabba=1〉
11〈a, b | bb=aa, aaaabbb=1〉
11〈a, b | bb=aa, aaabaaa=1〉
11〈a, b | bb=aa, aaabaab=1〉
11〈a, b | bb=aa, aaababa=1〉
11〈a, b | bb=aa, aaababb=1〉
11〈a, b | bb=aa, aaabbaa=1〉
11〈a, b | bb=aa, aaabbab=1〉
11〈a, b | bb=aa, aaabbba=1〉
11〈a, b | bb=aa, aabaaab=1〉
11〈a, b | bb=aa, aabaaba=1〉
11〈a, b | bb=aa, aabaabb=1〉
11〈a, b | bb=aa, aababaa=1〉
11〈a, b | bb=aa, aababab=1〉
11〈a, b | bb=aa, aababba=1〉
11〈a, b | bb=aa, aabbaab=1〉
11〈a, b | bb=aa, aabbaba=1〉
11〈a, b | bb=aa, aabbbaa=1〉
11〈a, b | bb=aa, aabbbab=1〉
11〈a, b | bb=aa, aabbbba=1〉
11〈a, b | bb=aa, abaaaab=1〉
11〈a, b | bb=aa, abaaaba=1〉
11〈a, b | bb=aa, abaabab=1〉
11〈a, b | bb=aa, abaabba=1〉
11〈a, b | bb=aa, ababaab=1〉
11〈a, b | bb=aa, abababa=1〉
11〈a, b | bb=aa, ababbba=1〉
11〈a, b | bb=aa, abbaaab=1〉
11〈a, b | bb=aa, abbabba=1〉
11〈a, b | bb=aa, abbbbba=1〉
11〈a, b | aab=1, bbbbbb=aa〉
11〈a, b | aba=1, bbbbbb=aa〉
11〈a, b | aa=b, aabbbbbb=1〉
11〈a, b | aa=b, ababbbbb=1〉
11〈a, b | aa=b, abbabbbb=1〉
11〈a, b | aa=b, abbbabbb=1〉
11〈a, b | aa=b, abbbbabb=1〉
11〈a, b | aa=b, abbbbbab=1〉
11〈a, b | aa=b, abbbbbba=1〉
11〈a, b | aa=b, baabbbbb=1〉
11〈a, b | aa=b, bababbbb=1〉
11〈a, b | aa=b, babbabbb=1〉
11〈a, b | aa=b, babbbabb=1〉
11〈a, b | aa=b, babbbbab=1〉
11〈a, b | aa=b, bbaabbbb=1〉
11〈a, b | aa=b, bbababbb=1〉
11〈a, b | aa=b, bbabbabb=1〉
11〈a, b | aa=b, bbbaabbb=1〉
11〈a, b | aa=1, abbbabbbb=1〉
11〈a, b | aa=1, abbbbabbb=1〉
11〈a, b | aa=1, babbbabbb=1〉
11〈a, b | aa=1, babbbbabb=1〉
11〈a, b | aa=1, bbabbbabb=1〉
11〈a, b | aa=1, bbbabbbb=a〉