Back

〈a, b | aab=1, aaab=a〉

Monoid presentation of length 8

Properties

Completion parameters

Complete rewriting system

  1. a2b ⇒ 1

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

39 total

Length:Presentation:
8〈a, b | aab=1, aaba=a〉
8〈a, b | aab=1, aabb=b〉
8〈a, b | aab=1, baab=b〉
9〈a, b | aab=1, aaaabb=1〉
9〈a, b | aab=1, aaabab=1〉
9〈a, b | aab=1, aabaab=1〉
10〈a, b | aab=1, aaaab=aa〉
10〈a, b | aab=1, aaaba=aa〉
10〈a, b | aab=1, aaabb=ab〉
10〈a, b | aab=1, aabaa=aa〉
10〈a, b | aab=1, aabab=ab〉
10〈a, b | aab=1, aabba=ba〉
10〈a, b | aab=1, aabbb=bb〉
10〈a, b | aab=1, abaab=ab〉
10〈a, b | aab=1, baaab=ba〉
10〈a, b | aab=1, baaba=ba〉
10〈a, b | aab=1, baabb=bb〉
10〈a, b | aab=1, bbaab=bb〉
11〈a, b | aaab=a, aaaabb=1〉
11〈a, b | aaab=a, aaabab=1〉
11〈a, b | aaba=a, aaaabb=1〉
11〈a, b | aaba=a, aaabab=1〉
11〈a, b | aaba=a, aabaab=1〉
11〈a, b | aab=1, aaaaabb=a〉
11〈a, b | aab=1, aaaabab=a〉
11〈a, b | aab=1, aaaabba=a〉
11〈a, b | aab=1, aaaabbb=b〉
11〈a, b | aab=1, aaabaab=a〉
11〈a, b | aab=1, aaababa=a〉
11〈a, b | aab=1, aaababb=b〉
11〈a, b | aab=1, aabaaab=a〉
11〈a, b | aab=1, aabaaba=a〉
11〈a, b | aab=1, aabaabb=b〉
11〈a, b | aab=1, aabbaab=b〉
11〈a, b | aab=1, baaaabb=b〉
11〈a, b | aab=1, baaabab=b〉
11〈a, b | aab=1, baabaab=b〉
11〈a, b | aab=1, aaba=aaab〉
11〈a, b | aab=1, baab=aabb〉