Back
〈a, b | aa=a, aba=ab〉
Monoid presentation of length 8
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: left-to-right cba
- Auxiliary generator abb=c
Complete rewriting system
- ca ⇒ c
- ac ⇒ c
- a2 ⇒ a
- cbc ⇒ c2b
- cb2 ⇒ c2
- cba ⇒ cb
- abc ⇒ cb
- ab2 ⇒ c
- aba ⇒ ab
Right Cayley graph (truncated)
Left Cayley graph (truncated)
Other isomorphic instances
13 total
| Length: | Presentation: |
|---|
| 9 | 〈a, b | aa=a, aaba=ab〉 |
| 9 | 〈a, b | aa=a, aba=aab〉 |
| 10 | 〈a, b | aa=a, aaaba=ab〉 |
| 10 | 〈a, b | aa=a, aabaa=ab〉 |
| 10 | 〈a, b | aa=a, aaab=aba〉 |
| 10 | 〈a, b | aa=a, aaba=aab〉 |
| 11 | 〈a, b | aa=a, aaaaba=ab〉 |
| 11 | 〈a, b | aa=a, aaabaa=ab〉 |
| 11 | 〈a, b | aa=a, aaaab=aba〉 |
| 11 | 〈a, b | aa=a, aaaba=aab〉 |
| 11 | 〈a, b | aa=a, aabaa=aab〉 |
| 11 | 〈a, b | aa=a, aaba=aaab〉 |
| 11 | 〈a, b | aa=a, abaa=aaab〉 |