Back
〈a, b | ab=a, ba=a〉
Monoid presentation of length 6
Properties
- Infinite commutative monoid
- Isomorphic to commutative presentation: 〈a, b | a+b=b〉
- Grothendieck group is ℤ
Completion parameters
- Reduction order: left-to-right ab
Complete rewriting system
- ab ⇒ a
- ba ⇒ a
Right Cayley graph (truncated)
Other isomorphic instances
34 total
| Length: | Presentation: |
|---|
| 7 | 〈a, b | ab=a, bab=a〉 |
| 7 | 〈a, b | ab=a, ba=ab〉 |
| 8 | 〈a, b | ab=a, babb=a〉 |
| 8 | 〈a, b | ab=a, abb=ba〉 |
| 8 | 〈a, b | ab=a, bab=ab〉 |
| 9 | 〈a, b | aab=ab, aba=b〉 |
| 9 | 〈a, b | aba=b, aaba=b〉 |
| 9 | 〈a, b | ab=a, babbb=a〉 |
| 9 | 〈a, b | ab=a, abbb=ba〉 |
| 9 | 〈a, b | ab=a, babb=ab〉 |
| 9 | 〈a, b | ab=a, bab=abb〉 |
| 10 | 〈a, b | aab=ab, aaba=b〉 |
| 10 | 〈a, b | aba=ab, abaa=b〉 |
| 10 | 〈a, b | ab=a, babbbb=a〉 |
| 10 | 〈a, b | ab=a, abbbb=ba〉 |
| 10 | 〈a, b | ab=a, babbb=ab〉 |
| 10 | 〈a, b | ab=a, abbb=bab〉 |
| 10 | 〈a, b | ab=a, babb=abb〉 |
| 11 | 〈a, b | aaba=ab, abaa=b〉 |
| 11 | 〈a, b | aaba=b, aaaba=b〉 |
| 11 | 〈a, b | aab=ab, aaaba=b〉 |
| 11 | 〈a, b | aba=ab, abaaa=b〉 |
| 11 | 〈a, b | aba=b, aaabaa=b〉 |
| 11 | 〈a, b | aba=b, aaaba=ab〉 |
| 11 | 〈a, b | aba=b, aabaa=ab〉 |
| 11 | 〈a, b | aba=b, aaab=aab〉 |
| 11 | 〈a, b | aba=b, aaba=aab〉 |
| 11 | 〈a, b | aba=b, aaba=aba〉 |
| 11 | 〈a, b | ab=a, babbbbb=a〉 |
| 11 | 〈a, b | ab=a, abbbbb=ba〉 |
| 11 | 〈a, b | ab=a, babbbb=ab〉 |
| 11 | 〈a, b | ab=a, abbbb=bab〉 |
| 11 | 〈a, b | ab=a, babbb=abb〉 |
| 11 | 〈a, b | ab=a, babb=abbb〉 |