Back
〈a, b | ab=a, baa=a〉
Monoid presentation of length 7
Properties
- Infinite commutative monoid
- Isomorphic to commutative presentation: 〈a, b | 2b=b, a+b=b〉
- Grothendieck group is the trivial group
Completion parameters
- Reduction order: left-to-right ab
Complete rewriting system
- a2 ⇒ a
- ab ⇒ a
- ba ⇒ a
Right Cayley graph (truncated)
Other isomorphic instances
168 total
| Length: | Presentation: |
|---|
| 8 | 〈a, b | ab=a, baab=a〉 |
| 8 | 〈a, b | ab=a, baba=a〉 |
| 8 | 〈a, b | ab=a, baa=ab〉 |
| 9 | 〈a, b | aab=aa, baa=a〉 |
| 9 | 〈a, b | aab=ba, aba=a〉 |
| 9 | 〈a, b | aab=ba, abb=b〉 |
| 9 | 〈a, b | aab=ba, baa=a〉 |
| 9 | 〈a, b | aba=ab, abb=b〉 |
| 9 | 〈a, b | aba=ab, baa=a〉 |
| 9 | 〈a, b | aab=a, baaa=a〉 |
| 9 | 〈a, b | aab=a, baab=a〉 |
| 9 | 〈a, b | aab=a, baba=a〉 |
| 9 | 〈a, b | aba=a, baab=a〉 |
| 9 | 〈a, b | ab=a, baabb=a〉 |
| 9 | 〈a, b | ab=a, babab=a〉 |
| 9 | 〈a, b | ab=a, babba=a〉 |
| 9 | 〈a, b | ab=a, baab=ab〉 |
| 9 | 〈a, b | ab=a, baba=ab〉 |
| 9 | 〈a, b | ab=a, baa=abb〉 |
| 10 | 〈a, b | aab=aa, baab=a〉 |
| 10 | 〈a, b | aab=aa, baba=a〉 |
| 10 | 〈a, b | aab=ab, abba=b〉 |
| 10 | 〈a, b | aab=ba, aaab=a〉 |
| 10 | 〈a, b | aab=ba, aaba=a〉 |
| 10 | 〈a, b | aab=ba, abaa=a〉 |
| 10 | 〈a, b | aab=ba, abab=b〉 |
| 10 | 〈a, b | aab=ba, abba=b〉 |
| 10 | 〈a, b | aab=ba, baaa=a〉 |
| 10 | 〈a, b | aba=aa, baab=a〉 |
| 10 | 〈a, b | aba=ab, abab=b〉 |
| 10 | 〈a, b | aba=ab, abba=b〉 |
| 10 | 〈a, b | aba=ab, baaa=a〉 |
| 10 | 〈a, b | ab=a, baabbb=a〉 |
| 10 | 〈a, b | ab=a, bababb=a〉 |
| 10 | 〈a, b | ab=a, babbab=a〉 |
| 10 | 〈a, b | ab=a, babbba=a〉 |
| 10 | 〈a, b | ab=a, baabb=ab〉 |
| 10 | 〈a, b | ab=a, babab=ab〉 |
| 10 | 〈a, b | ab=a, babba=ab〉 |
| 10 | 〈a, b | ab=a, abbb=baa〉 |
| 10 | 〈a, b | ab=a, baab=abb〉 |
| 10 | 〈a, b | ab=a, baba=abb〉 |
| 11 | 〈a, b | aaab=aa, baaa=a〉 |
| 11 | 〈a, b | aaab=aa, baab=a〉 |
| 11 | 〈a, b | aaab=aa, baba=a〉 |
| 11 | 〈a, b | aaba=aa, baab=a〉 |
| 11 | 〈a, b | aabb=ab, abba=b〉 |
| 11 | 〈a, b | aabb=ba, abab=a〉 |
| 11 | 〈a, b | aabb=ba, abba=b〉 |
| 11 | 〈a, b | aabb=ba, abbb=b〉 |
| 11 | 〈a, b | abab=ab, abba=b〉 |
| 11 | 〈a, b | abab=ba, abba=a〉 |
| 11 | 〈a, b | abab=ba, abba=b〉 |
| 11 | 〈a, b | abab=ba, abbb=b〉 |
| 11 | 〈a, b | abab=ba, baaa=a〉 |
| 11 | 〈a, b | abab=ba, baba=a〉 |
| 11 | 〈a, b | abab=ba, babb=b〉 |
| 11 | 〈a, b | abab=ba, bbaa=a〉 |
| 11 | 〈a, b | abab=ba, bbab=b〉 |
| 11 | 〈a, b | abba=ab, abbb=b〉 |
| 11 | 〈a, b | abba=ab, baaa=a〉 |
| 11 | 〈a, b | abba=ab, baab=a〉 |
| 11 | 〈a, b | abba=ab, baba=a〉 |
| 11 | 〈a, b | abba=ba, baba=b〉 |
| 11 | 〈a, b | baba=ab, bbaa=a〉 |
| 11 | 〈a, b | aaab=a, baaaa=a〉 |
| 11 | 〈a, b | aabb=a, babab=a〉 |
| 11 | 〈a, b | abab=a, baabb=a〉 |
| 11 | 〈a, b | abab=a, babab=a〉 |
| 11 | 〈a, b | abab=a, babba=a〉 |
| 11 | 〈a, b | abba=a, babab=a〉 |
| 11 | 〈a, b | abba=b, aaabb=b〉 |
| 11 | 〈a, b | abba=b, aabab=b〉 |
| 11 | 〈a, b | abba=b, aabba=b〉 |
| 11 | 〈a, b | abba=b, abaab=b〉 |
| 11 | 〈a, b | abba=b, ababa=b〉 |
| 11 | 〈a, b | abba=b, baaab=b〉 |
| 11 | 〈a, b | aab=aa, baabb=a〉 |
| 11 | 〈a, b | aab=aa, babba=a〉 |
| 11 | 〈a, b | aab=ab, aabba=b〉 |
| 11 | 〈a, b | aab=ab, ababa=b〉 |
| 11 | 〈a, b | aab=ba, aaaab=a〉 |
| 11 | 〈a, b | aab=ba, aaaba=a〉 |
| 11 | 〈a, b | aab=ba, aaabb=b〉 |
| 11 | 〈a, b | aab=ba, aabaa=a〉 |
| 11 | 〈a, b | aab=ba, abaaa=a〉 |
| 11 | 〈a, b | aab=ba, abaab=b〉 |
| 11 | 〈a, b | aab=ba, ababa=b〉 |
| 11 | 〈a, b | aab=ba, abbaa=b〉 |
| 11 | 〈a, b | aab=ba, baaaa=a〉 |
| 11 | 〈a, b | aba=aa, babab=a〉 |
| 11 | 〈a, b | aba=ab, abaab=b〉 |
| 11 | 〈a, b | aba=ab, ababa=b〉 |
| 11 | 〈a, b | aba=ab, abbaa=b〉 |
| 11 | 〈a, b | aba=ab, baaaa=a〉 |
| 11 | 〈a, b | aab=a, baaaab=a〉 |
| 11 | 〈a, b | aab=a, baaaba=a〉 |
| 11 | 〈a, b | aab=a, baaabb=a〉 |
| 11 | 〈a, b | aab=a, baabaa=a〉 |
| 11 | 〈a, b | aab=a, baabab=a〉 |
| 11 | 〈a, b | aab=a, baabba=a〉 |
| 11 | 〈a, b | aab=a, babaaa=a〉 |
| 11 | 〈a, b | aab=a, babaab=a〉 |
| 11 | 〈a, b | aab=a, bababa=a〉 |
| 11 | 〈a, b | aab=a, babbaa=a〉 |
| 11 | 〈a, b | aba=a, baaaab=a〉 |
| 11 | 〈a, b | aba=a, baabab=a〉 |
| 11 | 〈a, b | aab=a, aaabb=ba〉 |
| 11 | 〈a, b | aab=a, aabab=ba〉 |
| 11 | 〈a, b | aab=a, aabba=ba〉 |
| 11 | 〈a, b | aab=a, aabbb=ba〉 |
| 11 | 〈a, b | aab=a, abaab=ba〉 |
| 11 | 〈a, b | aab=a, ababa=ba〉 |
| 11 | 〈a, b | aab=a, ababb=ba〉 |
| 11 | 〈a, b | aab=a, abbaa=ba〉 |
| 11 | 〈a, b | aab=a, abbab=ba〉 |
| 11 | 〈a, b | aab=a, abbba=ba〉 |
| 11 | 〈a, b | aab=a, baaaa=aa〉 |
| 11 | 〈a, b | aab=a, baaab=aa〉 |
| 11 | 〈a, b | aab=a, baaab=ab〉 |
| 11 | 〈a, b | aab=a, baaba=aa〉 |
| 11 | 〈a, b | aab=a, baaba=ab〉 |
| 11 | 〈a, b | aab=a, baabb=ab〉 |
| 11 | 〈a, b | aab=a, babaa=aa〉 |
| 11 | 〈a, b | aab=a, babaa=ab〉 |
| 11 | 〈a, b | aab=a, babab=ab〉 |
| 11 | 〈a, b | aab=a, babba=ab〉 |
| 11 | 〈a, b | aba=a, aabab=ba〉 |
| 11 | 〈a, b | aba=a, abaab=ba〉 |
| 11 | 〈a, b | aba=a, abbab=ba〉 |
| 11 | 〈a, b | aab=a, aaab=baa〉 |
| 11 | 〈a, b | aab=a, aaba=baa〉 |
| 11 | 〈a, b | aab=a, aabb=baa〉 |
| 11 | 〈a, b | aab=a, aabb=bab〉 |
| 11 | 〈a, b | aab=a, abaa=baa〉 |
| 11 | 〈a, b | aab=a, abab=baa〉 |
| 11 | 〈a, b | aab=a, abab=bab〉 |
| 11 | 〈a, b | aab=a, abba=baa〉 |
| 11 | 〈a, b | aab=a, abba=bab〉 |
| 11 | 〈a, b | aab=a, abbb=bab〉 |
| 11 | 〈a, b | aab=a, baaa=aaa〉 |
| 11 | 〈a, b | aab=a, baaa=aab〉 |
| 11 | 〈a, b | aab=a, baaa=aba〉 |
| 11 | 〈a, b | aab=a, baab=aab〉 |
| 11 | 〈a, b | aab=a, baab=aba〉 |
| 11 | 〈a, b | aab=a, baab=abb〉 |
| 11 | 〈a, b | aab=a, baba=aab〉 |
| 11 | 〈a, b | aab=a, baba=aba〉 |
| 11 | 〈a, b | aab=a, baba=abb〉 |
| 11 | 〈a, b | aab=a, babb=abb〉 |
| 11 | 〈a, b | aba=a, abab=baa〉 |
| 11 | 〈a, b | aba=a, abba=bab〉 |
| 11 | 〈a, b | aba=a, baab=aba〉 |
| 11 | 〈a, b | ab=a, baabbbb=a〉 |
| 11 | 〈a, b | ab=a, bababbb=a〉 |
| 11 | 〈a, b | ab=a, babbabb=a〉 |
| 11 | 〈a, b | ab=a, babbbab=a〉 |
| 11 | 〈a, b | ab=a, babbbba=a〉 |
| 11 | 〈a, b | ab=a, baabbb=ab〉 |
| 11 | 〈a, b | ab=a, bababb=ab〉 |
| 11 | 〈a, b | ab=a, babbab=ab〉 |
| 11 | 〈a, b | ab=a, babbba=ab〉 |
| 11 | 〈a, b | ab=a, abbbb=baa〉 |
| 11 | 〈a, b | ab=a, baabb=abb〉 |
| 11 | 〈a, b | ab=a, babab=abb〉 |
| 11 | 〈a, b | ab=a, babba=abb〉 |
| 11 | 〈a, b | ab=a, baab=abbb〉 |
| 11 | 〈a, b | ab=a, baba=abbb〉 |