Back
〈a, b | abbaaabba=1〉
Monoid presentation of length 9
Properties
- Infinite non-Abelian group
Completion parameters
- Reduction order: left-to-right ac/bd
- Auxiliary generator bb=c
- Auxiliary generator aaabbaa=d
Inverses of generators
- a-1 = a4c2
- b-1 = ba5c
- c-1 = a5c
- d-1 = c
Complete rewriting system
- ca ⇒ ac
- a5c2 ⇒ 1
- cb ⇒ bc
- a5b ⇒ ba5
- d ⇒ a5c
- b2 ⇒ c
Other isomorphic instances
1 total
| Length: | Presentation: |
|---|
| 9 | 〈a, b | abbaabbba=1〉 |