Back
〈a, b | ab=a, aaaa=a〉
Monoid presentation of length 8
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: left-to-right ab
Complete rewriting system
- ab ⇒ a
- a4 ⇒ a
Right Cayley graph (truncated)
Left Cayley graph (truncated)
Other isomorphic instances
66 total
| Length: | Presentation: |
|---|
| 9 | 〈a, b | ab=a, aaaab=a〉 |
| 9 | 〈a, b | ab=a, aaaba=a〉 |
| 9 | 〈a, b | ab=a, aabaa=a〉 |
| 9 | 〈a, b | ab=a, abaaa=a〉 |
| 9 | 〈a, b | ab=a, aaaa=ab〉 |
| 10 | 〈a, b | aab=aa, aaaa=a〉 |
| 10 | 〈a, b | ab=a, aaaabb=a〉 |
| 10 | 〈a, b | ab=a, aaabab=a〉 |
| 10 | 〈a, b | ab=a, aaabba=a〉 |
| 10 | 〈a, b | ab=a, aabaab=a〉 |
| 10 | 〈a, b | ab=a, aababa=a〉 |
| 10 | 〈a, b | ab=a, aabbaa=a〉 |
| 10 | 〈a, b | ab=a, abaaab=a〉 |
| 10 | 〈a, b | ab=a, abaaba=a〉 |
| 10 | 〈a, b | ab=a, ababaa=a〉 |
| 10 | 〈a, b | ab=a, abbaaa=a〉 |
| 10 | 〈a, b | ab=a, aaaab=ab〉 |
| 10 | 〈a, b | ab=a, aaaba=ab〉 |
| 10 | 〈a, b | ab=a, aabaa=ab〉 |
| 10 | 〈a, b | ab=a, abaaa=ab〉 |
| 10 | 〈a, b | ab=a, aaaa=abb〉 |
| 11 | 〈a, b | aaaa=a, aaaab=a〉 |
| 11 | 〈a, b | aab=aa, aaaab=a〉 |
| 11 | 〈a, b | aab=aa, aaaba=a〉 |
| 11 | 〈a, b | aab=aa, aabaa=a〉 |
| 11 | 〈a, b | aab=aa, abaaa=a〉 |
| 11 | 〈a, b | aba=aa, aaaab=a〉 |
| 11 | 〈a, b | aba=ab, babbb=b〉 |
| 11 | 〈a, b | aba=ab, bbabb=b〉 |
| 11 | 〈a, b | aba=ab, bbbab=b〉 |
| 11 | 〈a, b | aba=ab, bbbba=b〉 |
| 11 | 〈a, b | ab=a, aaaabbb=a〉 |
| 11 | 〈a, b | ab=a, aaababb=a〉 |
| 11 | 〈a, b | ab=a, aaabbab=a〉 |
| 11 | 〈a, b | ab=a, aaabbba=a〉 |
| 11 | 〈a, b | ab=a, aabaabb=a〉 |
| 11 | 〈a, b | ab=a, aababab=a〉 |
| 11 | 〈a, b | ab=a, aababba=a〉 |
| 11 | 〈a, b | ab=a, aabbaab=a〉 |
| 11 | 〈a, b | ab=a, aabbaba=a〉 |
| 11 | 〈a, b | ab=a, aabbbaa=a〉 |
| 11 | 〈a, b | ab=a, abaaabb=a〉 |
| 11 | 〈a, b | ab=a, abaabab=a〉 |
| 11 | 〈a, b | ab=a, abaabba=a〉 |
| 11 | 〈a, b | ab=a, ababaab=a〉 |
| 11 | 〈a, b | ab=a, abababa=a〉 |
| 11 | 〈a, b | ab=a, ababbaa=a〉 |
| 11 | 〈a, b | ab=a, abbaaab=a〉 |
| 11 | 〈a, b | ab=a, abbaaba=a〉 |
| 11 | 〈a, b | ab=a, abbabaa=a〉 |
| 11 | 〈a, b | ab=a, abbbaaa=a〉 |
| 11 | 〈a, b | ab=a, aaaabb=ab〉 |
| 11 | 〈a, b | ab=a, aaabab=ab〉 |
| 11 | 〈a, b | ab=a, aaabba=ab〉 |
| 11 | 〈a, b | ab=a, aabaab=ab〉 |
| 11 | 〈a, b | ab=a, aababa=ab〉 |
| 11 | 〈a, b | ab=a, aabbaa=ab〉 |
| 11 | 〈a, b | ab=a, abaaab=ab〉 |
| 11 | 〈a, b | ab=a, abaaba=ab〉 |
| 11 | 〈a, b | ab=a, ababaa=ab〉 |
| 11 | 〈a, b | ab=a, abbaaa=ab〉 |
| 11 | 〈a, b | ab=a, aaaab=abb〉 |
| 11 | 〈a, b | ab=a, aaaba=abb〉 |
| 11 | 〈a, b | ab=a, aabaa=abb〉 |
| 11 | 〈a, b | ab=a, abaaa=abb〉 |
| 11 | 〈a, b | ab=a, abbb=aaaa〉 |