Back
〈a, b | aaabaaba=1〉
Monoid presentation of length 8
Properties
- Infinite non-Abelian group
Completion parameters
- Reduction order: left-to-right bc/ad
- Auxiliary generator aaaa=c
- Auxiliary generator baab=d
Inverses of generators
- a-1 = ab2c
- b-1 = b3c3
- c-1 = b4c2
- d-1 = c
Complete rewriting system
- cb ⇒ bc
- b4c3 ⇒ 1
- ca ⇒ ac
- b2a ⇒ ab2
- d ⇒ b4c2
- a2 ⇒ b2c2
Other isomorphic instances
3 total
| Length: | Presentation: |
|---|
| 8 | 〈a, b | aabaaaab=1〉 |
| 8 | 〈a, b | aabaabaa=1〉 |
| 8 | 〈a, b | abaaaaba=1〉 |