Back

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

Monoid presentation of length 6

Properties

Completion parameters

Inverses of generators

Complete rewriting system

  1. a2 ⇒ 1
  2. bab ⇒ a

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

63 total

Length:Presentation:
6〈a, b | aa=1, bab=a〉
8〈a, b | aaa=a, abab=1〉
8〈a, b | aab=b, abab=1〉
8〈a, b | aab=b, baba=1〉
8〈a, b | aba=b, abab=1〉
8〈a, b | aa=1, aaabab=1〉
8〈a, b | aa=1, aababa=1〉
8〈a, b | aa=1, abaaab=1〉
8〈a, b | aa=1, aabab=a〉
8〈a, b | aa=1, ababa=a〉
8〈a, b | aa=1, baaab=a〉
8〈a, b | aa=1, abab=aa〉
8〈a, b | aa=1, bab=aaa〉
10〈a, b | aaaa=aa, abab=1〉
10〈a, b | aaab=ab, abab=1〉
10〈a, b | aaab=ab, baba=1〉
10〈a, b | aaba=ab, abab=1〉
10〈a, b | aaba=ab, baba=1〉
10〈a, b | aaba=ba, abab=1〉
10〈a, b | aaba=ba, baba=1〉
10〈a, b | aabb=aa, baba=1〉
10〈a, b | abab=aa, baba=1〉
10〈a, b | abba=aa, baba=1〉
10〈a, b | abab=1, aaabab=1〉
10〈a, b | abab=1, aabaab=1〉
10〈a, b | abab=1, aababa=1〉
10〈a, b | abab=1, abaaab=1〉
10〈a, b | abab=1, abaaba=1〉
10〈a, b | abab=1, ababaa=1〉
10〈a, b | abab=1, baaaba=1〉
10〈a, b | abab=1, baabaa=1〉
10〈a, b | abab=1, babaaa=1〉
10〈a, b | aaa=a, aaabab=1〉
10〈a, b | aaa=a, aababa=1〉
10〈a, b | aaa=a, abaaab=1〉
10〈a, b | aab=b, aaabab=1〉
10〈a, b | aab=b, aababa=1〉
10〈a, b | aab=b, abaaab=1〉
10〈a, b | aab=b, ababaa=1〉
10〈a, b | aab=b, baaaba=1〉
10〈a, b | aab=b, babaaa=1〉
10〈a, b | aba=b, aabaab=1〉
10〈a, b | aba=b, abaaba=1〉
10〈a, b | aa=1, aaaaabab=1〉
10〈a, b | aa=1, aaaababa=1〉
10〈a, b | aa=1, aaabaaab=1〉
10〈a, b | aa=1, aaababaa=1〉
10〈a, b | aa=1, aabaaaba=1〉
10〈a, b | aa=1, abaaaaab=1〉
10〈a, b | aa=1, aaaabab=a〉
10〈a, b | aa=1, aaababa=a〉
10〈a, b | aa=1, aabaaab=a〉
10〈a, b | aa=1, aababaa=a〉
10〈a, b | aa=1, abaaaba=a〉
10〈a, b | aa=1, baaaaab=a〉
10〈a, b | aa=1, aaabab=aa〉
10〈a, b | aa=1, aababa=aa〉
10〈a, b | aa=1, abaaab=aa〉
10〈a, b | aa=1, aaaaa=bab〉
10〈a, b | aa=1, aabab=aaa〉
10〈a, b | aa=1, ababa=aaa〉
10〈a, b | aa=1, baaab=aaa〉
10〈a, b | aa=1, abab=aaaa〉