Back
〈a, b | aa=b〉
Monoid presentation of length 3
Properties
- Infinite commutative monoid
- Isomorphic to commutative presentation: 〈a | 〉
- Grothendieck group is ℤ
Completion parameters
- Reduction order: left-to-right a/b
Complete rewriting system
- b ⇒ a2
Other isomorphic instances
7 total
| Length: | Presentation: |
|---|
| 4 | 〈a, b | aaa=b〉 |
| 5 | 〈a, b | aaaa=b〉 |
| 6 | 〈a, b | aaaaa=b〉 |
| 7 | 〈a, b | aaaaaa=b〉 |
| 8 | 〈a, b | aaaaaaa=b〉 |
| 9 | 〈a, b | aaaaaaaa=b〉 |
| 10 | 〈a, b | aaaaaaaaa=b〉 |