Back

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

Monoid presentation of length 5

Properties

Completion parameters

Inverses of generators

Complete rewriting system

  1. a2 ⇒ 1
  2. b3 ⇒ 1

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

146 total

Length:Presentation:
7〈a, b | aab=b, bbb=1〉
7〈a, b | aa=1, aabbb=1〉
7〈a, b | aa=1, abbba=1〉
7〈a, b | aa=1, baabb=1〉
7〈a, b | aa=1, abbb=a〉
7〈a, b | aa=1, bbb=aa〉
8〈a, b | aaa=1, aaabb=1〉
8〈a, b | aaa=1, aabba=1〉
8〈a, b | aaa=1, baaab=1〉
9〈a, b | aaa=a, aabbb=1〉
9〈a, b | aaa=a, abbba=1〉
9〈a, b | aaa=a, baabb=1〉
9〈a, b | aab=b, aabbb=1〉
9〈a, b | aab=b, abbba=1〉
9〈a, b | aab=b, baabb=1〉
9〈a, b | aab=b, bbaab=1〉
9〈a, b | aab=b, bbbaa=1〉
9〈a, b | aaa=1, aabb=aa〉
9〈a, b | aaa=1, abba=aa〉
9〈a, b | aa=1, aaaabbb=1〉
9〈a, b | aa=1, aaabbba=1〉
9〈a, b | aa=1, aabaabb=1〉
9〈a, b | aa=1, aabbaab=1〉
9〈a, b | aa=1, aabbbaa=1〉
9〈a, b | aa=1, abaabba=1〉
9〈a, b | aa=1, baaaabb=1〉
9〈a, b | aa=1, baabaab=1〉
9〈a, b | aa=1, aaabbb=a〉
9〈a, b | aa=1, aabbba=a〉
9〈a, b | aa=1, abaabb=a〉
9〈a, b | aa=1, abbaab=a〉
9〈a, b | aa=1, aabbb=aa〉
9〈a, b | aa=1, abbba=aa〉
9〈a, b | aa=1, baabb=aa〉
9〈a, b | aa=1, aaaa=bbb〉
9〈a, b | aa=1, abbb=aaa〉
10〈a, b | aaaa=a, aaabb=1〉
10〈a, b | aaaa=a, aabba=1〉
10〈a, b | aaaa=a, baaab=1〉
10〈a, b | aaab=b, aaabb=1〉
10〈a, b | aaab=b, aabba=1〉
10〈a, b | aaab=b, abbaa=1〉
10〈a, b | aaab=b, baaab=1〉
10〈a, b | aaab=b, bbaaa=1〉
10〈a, b | aaa=1, aaaabb=a〉
10〈a, b | aaa=1, aaabba=a〉
10〈a, b | aaa=1, aabbaa=a〉
10〈a, b | aaa=1, abaaab=a〉
10〈a, b | aaa=1, aaaa=abb〉
11〈a, b | aaaa=aa, aabbb=1〉
11〈a, b | aaaa=aa, abbba=1〉
11〈a, b | aaaa=aa, baabb=1〉
11〈a, b | aaab=ab, aabbb=1〉
11〈a, b | aaab=ab, abbba=1〉
11〈a, b | aaab=ab, baabb=1〉
11〈a, b | aaab=ab, bbaab=1〉
11〈a, b | aaab=ab, bbbaa=1〉
11〈a, b | aaba=ba, aabbb=1〉
11〈a, b | aaba=ba, abbba=1〉
11〈a, b | aaba=ba, baabb=1〉
11〈a, b | aaba=ba, bbaab=1〉
11〈a, b | aaba=ba, bbbaa=1〉
11〈a, b | aabb=aa, aaabb=1〉
11〈a, b | aabb=aa, aabba=1〉
11〈a, b | aabb=aa, abbaa=1〉
11〈a, b | aabb=aa, baaab=1〉
11〈a, b | aabb=aa, bbaaa=1〉
11〈a, b | abba=aa, aaabb=1〉
11〈a, b | abba=aa, aabba=1〉
11〈a, b | abba=aa, baaab=1〉
11〈a, b | aaa=a, aaaabbb=1〉
11〈a, b | aaa=a, aaabbba=1〉
11〈a, b | aaa=a, aabaabb=1〉
11〈a, b | aaa=a, aabbaab=1〉
11〈a, b | aaa=a, aabbbaa=1〉
11〈a, b | aaa=a, abaabba=1〉
11〈a, b | aaa=a, baaaabb=1〉
11〈a, b | aaa=a, baabaab=1〉
11〈a, b | aab=b, aaaabbb=1〉
11〈a, b | aab=b, aaabbba=1〉
11〈a, b | aab=b, aabaabb=1〉
11〈a, b | aab=b, aabbaab=1〉
11〈a, b | aab=b, aabbbaa=1〉
11〈a, b | aab=b, abaabba=1〉
11〈a, b | aab=b, abbaaba=1〉
11〈a, b | aab=b, abbbaaa=1〉
11〈a, b | aab=b, baaaabb=1〉
11〈a, b | aab=b, baabaab=1〉
11〈a, b | aab=b, baabbaa=1〉
11〈a, b | aab=b, bbaaaab=1〉
11〈a, b | aab=b, bbaabaa=1〉
11〈a, b | aab=b, bbbaaaa=1〉
11〈a, b | aaa=1, aaaaaabb=1〉
11〈a, b | aaa=1, aaaaabba=1〉
11〈a, b | aaa=1, aaaabbaa=1〉
11〈a, b | aaa=1, aaabaaab=1〉
11〈a, b | aaa=1, aaabbaaa=1〉
11〈a, b | aaa=1, aabaaaba=1〉
11〈a, b | aaa=1, baaaaaab=1〉
11〈a, b | aaa=1, aaaaaa=bb〉
11〈a, b | aaa=1, aaabb=aaa〉
11〈a, b | aaa=1, aabba=aaa〉
11〈a, b | aaa=1, baaab=aaa〉
11〈a, b | aa=1, aaaaaabbb=1〉
11〈a, b | aa=1, aaaaabbba=1〉
11〈a, b | aa=1, aaaabaabb=1〉
11〈a, b | aa=1, aaaabbaab=1〉
11〈a, b | aa=1, aaaabbbaa=1〉
11〈a, b | aa=1, aaabaabba=1〉
11〈a, b | aa=1, aaabbaaba=1〉
11〈a, b | aa=1, aaabbbaaa=1〉
11〈a, b | aa=1, aabaaaabb=1〉
11〈a, b | aa=1, aabaabaab=1〉
11〈a, b | aa=1, aabaabbaa=1〉
11〈a, b | aa=1, aabbaaaab=1〉
11〈a, b | aa=1, abaaaabba=1〉
11〈a, b | aa=1, abaabaaba=1〉
11〈a, b | aa=1, baaaaaabb=1〉
11〈a, b | aa=1, baaaabaab=1〉
11〈a, b | aa=1, aaaaabbb=a〉
11〈a, b | aa=1, aaaabbba=a〉
11〈a, b | aa=1, aaabaabb=a〉
11〈a, b | aa=1, aaabbaab=a〉
11〈a, b | aa=1, aaabbbaa=a〉
11〈a, b | aa=1, aabaabba=a〉
11〈a, b | aa=1, aabbaaba=a〉
11〈a, b | aa=1, abaaaabb=a〉
11〈a, b | aa=1, abaabaab=a〉
11〈a, b | aa=1, abbaaaab=a〉
11〈a, b | aa=1, aaaabbb=aa〉
11〈a, b | aa=1, aaabbba=aa〉
11〈a, b | aa=1, aabaabb=aa〉
11〈a, b | aa=1, aabbaab=aa〉
11〈a, b | aa=1, aabbbaa=aa〉
11〈a, b | aa=1, abaabba=aa〉
11〈a, b | aa=1, baaaabb=aa〉
11〈a, b | aa=1, baabaab=aa〉
11〈a, b | aa=1, aaaaaa=bbb〉
11〈a, b | aa=1, aaabbb=aaa〉
11〈a, b | aa=1, aabbba=aaa〉
11〈a, b | aa=1, abaabb=aaa〉
11〈a, b | aa=1, abbaab=aaa〉
11〈a, b | aa=1, aaaaa=abbb〉
11〈a, b | aa=1, aabbb=aaaa〉
11〈a, b | aa=1, abbba=aaaa〉
11〈a, b | aa=1, baabb=aaaa〉