Back
〈a, b | ab=a, baaa=a〉
Monoid presentation of length 8
Properties
- Infinite commutative monoid
- Isomorphic to commutative presentation: 〈a, b | a+b=b, 3b=b〉
- Grothendieck group is ℤ2
Completion parameters
- Reduction order: left-to-right ab
Complete rewriting system
- ab ⇒ a
- ba ⇒ a
- a3 ⇒ a
Right Cayley graph (truncated)
Other isomorphic instances
55 total
| Length: | Presentation: |
|---|
| 9 | 〈a, b | ab=a, baaab=a〉 |
| 9 | 〈a, b | ab=a, baaba=a〉 |
| 9 | 〈a, b | ab=a, babaa=a〉 |
| 9 | 〈a, b | ab=a, baaa=ab〉 |
| 10 | 〈a, b | aab=aa, baaa=a〉 |
| 10 | 〈a, b | aab=ba, abbb=b〉 |
| 10 | 〈a, b | aba=ab, abbb=b〉 |
| 10 | 〈a, b | ab=a, baaabb=a〉 |
| 10 | 〈a, b | ab=a, baabab=a〉 |
| 10 | 〈a, b | ab=a, baabba=a〉 |
| 10 | 〈a, b | ab=a, babaab=a〉 |
| 10 | 〈a, b | ab=a, bababa=a〉 |
| 10 | 〈a, b | ab=a, babbaa=a〉 |
| 10 | 〈a, b | ab=a, baaab=ab〉 |
| 10 | 〈a, b | ab=a, baaba=ab〉 |
| 10 | 〈a, b | ab=a, babaa=ab〉 |
| 10 | 〈a, b | ab=a, baaa=abb〉 |
| 11 | 〈a, b | aaab=ba, aaba=a〉 |
| 11 | 〈a, b | aaab=ba, abaa=a〉 |
| 11 | 〈a, b | aaab=ba, baaa=a〉 |
| 11 | 〈a, b | aaba=ab, baaa=a〉 |
| 11 | 〈a, b | abaa=ab, baaa=a〉 |
| 11 | 〈a, b | aaab=a, baaab=a〉 |
| 11 | 〈a, b | aaab=a, baaba=a〉 |
| 11 | 〈a, b | aaab=a, babaa=a〉 |
| 11 | 〈a, b | aaba=a, baaab=a〉 |
| 11 | 〈a, b | aab=aa, baaab=a〉 |
| 11 | 〈a, b | aab=aa, baaba=a〉 |
| 11 | 〈a, b | aab=aa, babaa=a〉 |
| 11 | 〈a, b | aab=ab, abbba=b〉 |
| 11 | 〈a, b | aab=ba, abbab=b〉 |
| 11 | 〈a, b | aba=aa, baaab=a〉 |
| 11 | 〈a, b | aba=ab, ababb=b〉 |
| 11 | 〈a, b | aba=ab, abbab=b〉 |
| 11 | 〈a, b | aba=ab, abbba=b〉 |
| 11 | 〈a, b | ab=a, baaabbb=a〉 |
| 11 | 〈a, b | ab=a, baababb=a〉 |
| 11 | 〈a, b | ab=a, baabbab=a〉 |
| 11 | 〈a, b | ab=a, baabbba=a〉 |
| 11 | 〈a, b | ab=a, babaabb=a〉 |
| 11 | 〈a, b | ab=a, bababab=a〉 |
| 11 | 〈a, b | ab=a, bababba=a〉 |
| 11 | 〈a, b | ab=a, babbaab=a〉 |
| 11 | 〈a, b | ab=a, babbaba=a〉 |
| 11 | 〈a, b | ab=a, babbbaa=a〉 |
| 11 | 〈a, b | ab=a, baaabb=ab〉 |
| 11 | 〈a, b | ab=a, baabab=ab〉 |
| 11 | 〈a, b | ab=a, baabba=ab〉 |
| 11 | 〈a, b | ab=a, babaab=ab〉 |
| 11 | 〈a, b | ab=a, bababa=ab〉 |
| 11 | 〈a, b | ab=a, babbaa=ab〉 |
| 11 | 〈a, b | ab=a, baaab=abb〉 |
| 11 | 〈a, b | ab=a, baaba=abb〉 |
| 11 | 〈a, b | ab=a, babaa=abb〉 |
| 11 | 〈a, b | ab=a, baaa=abbb〉 |