Back
〈a, b | ababbaba=1〉
Monoid presentation of length 8
Properties
- Infinite non-Abelian group
Completion parameters
- Reduction order: left-to-right dc/ab
- Auxiliary generator ba=c
- Auxiliary generator bcca=d
Inverses of generators
- a-1 = db
- b-1 = ad
- c-1 = d
- d-1 = c
Complete rewriting system
- dc ⇒ 1
- cd ⇒ 1
- ca ⇒ dad2
- d2a ⇒ ac2
- cb ⇒ dbd2
- d2b ⇒ bc2
- adb ⇒ 1
- ba ⇒ c
Other isomorphic instances
1 total
| Length: | Presentation: |
|---|
| 8 | 〈a, b | abbabaab=1〉 |