Back
〈a, b | aabbbbbaab=1〉
Monoid presentation of length 10
Properties
- Infinite non-Abelian group
Completion parameters
- Reduction order: right-to-left cdb/a
- Auxiliary generator bbbb=c
- Auxiliary generator aab=d
Inverses of generators
- a-1 = acdb
- b-1 = d2b3
- c-1 = d2
- d-1 = cd
Complete rewriting system
- cd ⇒ dc
- cb ⇒ bc
- d2c ⇒ 1
- d2b ⇒ bd2
- b4 ⇒ c
- ab ⇒ bdcad
- adb3 ⇒ db3d2ac
- a2 ⇒ db3d2
Other anti-isomorphic instances
1 total
| Length: | Presentation: |
|---|
| 10 | 〈a, b | abaabbbbba=1〉 |