Back
〈a, b | ababbaabba=1〉
Monoid presentation of length 10
Properties
- Infinite non-Abelian group
Completion parameters
- Reduction order: left-to-right dc/ab
- Auxiliary generator ab=c
- Auxiliary generator cba=d
Inverses of generators
- a-1 = bd2
- b-1 = adc2
- c-1 = d2
- d-1 = dc
Complete rewriting system
- cd ⇒ dc
- d2c ⇒ 1
- ca ⇒ ad3
- d2a ⇒ adc2
- cb ⇒ dbd2
- d3b ⇒ bc
- ab ⇒ c
- ba ⇒ d3
Other isomorphic instances
1 total
| Length: | Presentation: |
|---|
| 10 | 〈a, b | abbaababba=1〉 |