Back
〈a, b | ab=a, aaa=a〉
Monoid presentation of length 7
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: left-to-right ab
Complete rewriting system
- ab ⇒ a
- a3 ⇒ a
Right Cayley graph (truncated)
Left Cayley graph (truncated)
Other isomorphic instances
105 total
| Length: | Presentation: |
|---|
| 8 | 〈a, b | ab=a, aaab=a〉 |
| 8 | 〈a, b | ab=a, aaba=a〉 |
| 8 | 〈a, b | ab=a, abaa=a〉 |
| 8 | 〈a, b | ab=a, aaa=ab〉 |
| 9 | 〈a, b | aaa=a, aaab=a〉 |
| 9 | 〈a, b | ab=a, aaabb=a〉 |
| 9 | 〈a, b | ab=a, aabab=a〉 |
| 9 | 〈a, b | ab=a, aabba=a〉 |
| 9 | 〈a, b | ab=a, abaab=a〉 |
| 9 | 〈a, b | ab=a, ababa=a〉 |
| 9 | 〈a, b | ab=a, abbaa=a〉 |
| 9 | 〈a, b | ab=a, aaab=ab〉 |
| 9 | 〈a, b | ab=a, aaba=ab〉 |
| 9 | 〈a, b | ab=a, abaa=ab〉 |
| 9 | 〈a, b | ab=a, abb=aaa〉 |
| 10 | 〈a, b | aab=aa, aaab=a〉 |
| 10 | 〈a, b | aab=aa, aaba=a〉 |
| 10 | 〈a, b | aab=aa, abaa=a〉 |
| 10 | 〈a, b | aba=aa, aaab=a〉 |
| 10 | 〈a, b | aba=ab, babb=b〉 |
| 10 | 〈a, b | aba=ab, bbab=b〉 |
| 10 | 〈a, b | aba=ab, bbba=b〉 |
| 10 | 〈a, b | ab=a, aaabbb=a〉 |
| 10 | 〈a, b | ab=a, aababb=a〉 |
| 10 | 〈a, b | ab=a, aabbab=a〉 |
| 10 | 〈a, b | ab=a, aabbba=a〉 |
| 10 | 〈a, b | ab=a, abaabb=a〉 |
| 10 | 〈a, b | ab=a, ababab=a〉 |
| 10 | 〈a, b | ab=a, ababba=a〉 |
| 10 | 〈a, b | ab=a, abbaab=a〉 |
| 10 | 〈a, b | ab=a, abbaba=a〉 |
| 10 | 〈a, b | ab=a, abbbaa=a〉 |
| 10 | 〈a, b | ab=a, aaabb=ab〉 |
| 10 | 〈a, b | ab=a, aabab=ab〉 |
| 10 | 〈a, b | ab=a, aabba=ab〉 |
| 10 | 〈a, b | ab=a, abaab=ab〉 |
| 10 | 〈a, b | ab=a, ababa=ab〉 |
| 10 | 〈a, b | ab=a, abbaa=ab〉 |
| 10 | 〈a, b | ab=a, aaab=abb〉 |
| 10 | 〈a, b | ab=a, aaba=abb〉 |
| 10 | 〈a, b | ab=a, abaa=abb〉 |
| 10 | 〈a, b | ab=a, abbb=aaa〉 |
| 11 | 〈a, b | aaaa=aa, aaab=a〉 |
| 11 | 〈a, b | aaba=ab, abaa=a〉 |
| 11 | 〈a, b | aaab=a, aaabb=a〉 |
| 11 | 〈a, b | aaab=a, aabab=a〉 |
| 11 | 〈a, b | aaab=a, aabba=a〉 |
| 11 | 〈a, b | aaab=a, abaab=a〉 |
| 11 | 〈a, b | aaab=a, ababa=a〉 |
| 11 | 〈a, b | aaab=a, abbaa=a〉 |
| 11 | 〈a, b | aaba=a, aabab=a〉 |
| 11 | 〈a, b | aaba=a, abaab=a〉 |
| 11 | 〈a, b | aab=aa, aaabb=a〉 |
| 11 | 〈a, b | aab=aa, aabab=a〉 |
| 11 | 〈a, b | aab=aa, aabba=a〉 |
| 11 | 〈a, b | aab=aa, abaab=a〉 |
| 11 | 〈a, b | aab=aa, abbaa=a〉 |
| 11 | 〈a, b | aba=aa, aabab=a〉 |
| 11 | 〈a, b | aba=aa, abaab=a〉 |
| 11 | 〈a, b | aba=ab, baabb=b〉 |
| 11 | 〈a, b | aba=ab, babab=b〉 |
| 11 | 〈a, b | aba=ab, babba=b〉 |
| 11 | 〈a, b | aba=ab, bbaab=b〉 |
| 11 | 〈a, b | aba=ab, bbaba=b〉 |
| 11 | 〈a, b | aba=ab, bbbaa=b〉 |
| 11 | 〈a, b | aaa=a, aaaaab=a〉 |
| 11 | 〈a, b | aaa=a, aaaaa=ab〉 |
| 11 | 〈a, b | aaa=a, aaaab=aa〉 |
| 11 | 〈a, b | aaa=a, aaaa=aab〉 |
| 11 | 〈a, b | aaa=a, aaab=aaa〉 |
| 11 | 〈a, b | ab=a, aaabbbb=a〉 |
| 11 | 〈a, b | ab=a, aababbb=a〉 |
| 11 | 〈a, b | ab=a, aabbabb=a〉 |
| 11 | 〈a, b | ab=a, aabbbab=a〉 |
| 11 | 〈a, b | ab=a, aabbbba=a〉 |
| 11 | 〈a, b | ab=a, abaabbb=a〉 |
| 11 | 〈a, b | ab=a, abababb=a〉 |
| 11 | 〈a, b | ab=a, ababbab=a〉 |
| 11 | 〈a, b | ab=a, ababbba=a〉 |
| 11 | 〈a, b | ab=a, abbaabb=a〉 |
| 11 | 〈a, b | ab=a, abbabab=a〉 |
| 11 | 〈a, b | ab=a, abbabba=a〉 |
| 11 | 〈a, b | ab=a, abbbaab=a〉 |
| 11 | 〈a, b | ab=a, abbbaba=a〉 |
| 11 | 〈a, b | ab=a, abbbbaa=a〉 |
| 11 | 〈a, b | ab=a, aaabbb=ab〉 |
| 11 | 〈a, b | ab=a, aababb=ab〉 |
| 11 | 〈a, b | ab=a, aabbab=ab〉 |
| 11 | 〈a, b | ab=a, aabbba=ab〉 |
| 11 | 〈a, b | ab=a, abaabb=ab〉 |
| 11 | 〈a, b | ab=a, ababab=ab〉 |
| 11 | 〈a, b | ab=a, ababba=ab〉 |
| 11 | 〈a, b | ab=a, abbaab=ab〉 |
| 11 | 〈a, b | ab=a, abbaba=ab〉 |
| 11 | 〈a, b | ab=a, abbbaa=ab〉 |
| 11 | 〈a, b | ab=a, aaabb=abb〉 |
| 11 | 〈a, b | ab=a, aabab=abb〉 |
| 11 | 〈a, b | ab=a, aabba=abb〉 |
| 11 | 〈a, b | ab=a, abaab=abb〉 |
| 11 | 〈a, b | ab=a, ababa=abb〉 |
| 11 | 〈a, b | ab=a, abbaa=abb〉 |
| 11 | 〈a, b | ab=a, abbbb=aaa〉 |
| 11 | 〈a, b | ab=a, abbb=aaab〉 |
| 11 | 〈a, b | ab=a, abbb=aaba〉 |
| 11 | 〈a, b | ab=a, abbb=abaa〉 |