Back
〈a, b | aba=1〉
Monoid presentation of length 3
Properties
- Isomorphic to ℤ
- Isomorphic to commutative presentation: 〈a, b | a+2b=0〉
Completion parameters
- Reduction order: left-to-right ab
Inverses of generators
Complete rewriting system
- ba ⇒ ab
- a2b ⇒ 1
Other isomorphic instances
42 total
| Length: | Presentation: |
|---|
| 4 | 〈a, b | aaba=1〉 |
| 5 | 〈a, b | aaaba=1〉 |
| 5 | 〈a, b | aabaa=1〉 |
| 5 | 〈a, b | abaab=1〉 |
| 5 | 〈a, b | ababa=1〉 |
| 6 | 〈a, b | aaaaba=1〉 |
| 6 | 〈a, b | aaabaa=1〉 |
| 7 | 〈a, b | aaaaaba=1〉 |
| 7 | 〈a, b | aaaabaa=1〉 |
| 7 | 〈a, b | aaabaaa=1〉 |
| 7 | 〈a, b | aabaaab=1〉 |
| 7 | 〈a, b | aabaaba=1〉 |
| 7 | 〈a, b | abaaaba=1〉 |
| 7 | 〈a, b | abaabab=1〉 |
| 7 | 〈a, b | ababaab=1〉 |
| 7 | 〈a, b | abababa=1〉 |
| 8 | 〈a, b | aaaaaaba=1〉 |
| 8 | 〈a, b | aaaaabaa=1〉 |
| 8 | 〈a, b | aaaabaaa=1〉 |
| 8 | 〈a, b | aababaab=1〉 |
| 8 | 〈a, b | abaabaab=1〉 |
| 8 | 〈a, b | abaababa=1〉 |
| 9 | 〈a, b | aaaaaaaba=1〉 |
| 9 | 〈a, b | aaaaaabaa=1〉 |
| 9 | 〈a, b | aaaaabaaa=1〉 |
| 9 | 〈a, b | aaaabaaaa=1〉 |
| 9 | 〈a, b | aaabaaaab=1〉 |
| 9 | 〈a, b | aaabaaaba=1〉 |
| 9 | 〈a, b | aabaaaaba=1〉 |
| 9 | 〈a, b | aabaaabaa=1〉 |
| 9 | 〈a, b | abaababab=1〉 |
| 9 | 〈a, b | ababaabab=1〉 |
| 9 | 〈a, b | abababaab=1〉 |
| 9 | 〈a, b | ababababa=1〉 |
| 10 | 〈a, b | aaaaaaaaba=1〉 |
| 10 | 〈a, b | aaaaaaabaa=1〉 |
| 10 | 〈a, b | aaaaaabaaa=1〉 |
| 10 | 〈a, b | aaaaabaaaa=1〉 |
| 10 | 〈a, b | aabaaabaab=1〉 |
| 10 | 〈a, b | aabaabaaab=1〉 |
| 10 | 〈a, b | aabaabaaba=1〉 |
| 10 | 〈a, b | abaaabaaba=1〉 |