Back
〈a, b | aabababaab=1〉
Monoid presentation of length 10
Properties
- Infinite non-Abelian group
Completion parameters
- Reduction order: left-to-right bc/a
- Auxiliary generator aba=c
Inverses of generators
- a-1 = babc2
- b-1 = c3
- c-1 = bc2
Complete rewriting system
- cb ⇒ bc
- bc3 ⇒ 1
- ca ⇒ bac4
- b2a ⇒ ab2
- aba ⇒ c
Other isomorphic instances
3 total
| Length: | Presentation: |
|---|
| 10 | 〈a, b | abaabaabab=1〉 |
| 10 | 〈a, b | abaabababa=1〉 |
| 10 | 〈a, b | ababaabaab=1〉 |