Back
〈a, b | ab=a, aaaaa=a〉
Monoid presentation of length 9
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: left-to-right ab
Complete rewriting system
- ab ⇒ a
- a5 ⇒ a
Right Cayley graph (truncated)
Left Cayley graph (truncated)
Other isomorphic instances
28 total
| Length: | Presentation: |
|---|
| 10 | 〈a, b | ab=a, aaaaab=a〉 |
| 10 | 〈a, b | ab=a, aaaaba=a〉 |
| 10 | 〈a, b | ab=a, aaabaa=a〉 |
| 10 | 〈a, b | ab=a, aabaaa=a〉 |
| 10 | 〈a, b | ab=a, abaaaa=a〉 |
| 10 | 〈a, b | ab=a, aaaaa=ab〉 |
| 11 | 〈a, b | aab=aa, aaaaa=a〉 |
| 11 | 〈a, b | ab=a, aaaaabb=a〉 |
| 11 | 〈a, b | ab=a, aaaabab=a〉 |
| 11 | 〈a, b | ab=a, aaaabba=a〉 |
| 11 | 〈a, b | ab=a, aaabaab=a〉 |
| 11 | 〈a, b | ab=a, aaababa=a〉 |
| 11 | 〈a, b | ab=a, aaabbaa=a〉 |
| 11 | 〈a, b | ab=a, aabaaab=a〉 |
| 11 | 〈a, b | ab=a, aabaaba=a〉 |
| 11 | 〈a, b | ab=a, aababaa=a〉 |
| 11 | 〈a, b | ab=a, aabbaaa=a〉 |
| 11 | 〈a, b | ab=a, abaaaab=a〉 |
| 11 | 〈a, b | ab=a, abaaaba=a〉 |
| 11 | 〈a, b | ab=a, abaabaa=a〉 |
| 11 | 〈a, b | ab=a, ababaaa=a〉 |
| 11 | 〈a, b | ab=a, abbaaaa=a〉 |
| 11 | 〈a, b | ab=a, aaaaab=ab〉 |
| 11 | 〈a, b | ab=a, aaaaba=ab〉 |
| 11 | 〈a, b | ab=a, aaabaa=ab〉 |
| 11 | 〈a, b | ab=a, aabaaa=ab〉 |
| 11 | 〈a, b | ab=a, abaaaa=ab〉 |
| 11 | 〈a, b | ab=a, aaaaa=abb〉 |