Back
〈a, b | aaabbaaab=1〉
Monoid presentation of length 9
Properties
- Infinite non-Abelian group
Completion parameters
- Reduction order: left-to-right bc/ad
- Auxiliary generator aaa=c
- Auxiliary generator bbaaab=d
Inverses of generators
- a-1 = a2b3c
- b-1 = b2c2
- c-1 = b3c
- d-1 = c
Complete rewriting system
- cb ⇒ bc
- b3c2 ⇒ 1
- ca ⇒ ac
- b3a ⇒ ab3
- d ⇒ b3c
- a3 ⇒ c
Other isomorphic instances
2 total
| Length: | Presentation: |
|---|
| 9 | 〈a, b | aabaaabba=1〉 |
| 9 | 〈a, b | aabbaaaba=1〉 |