Back
〈a, b | aaaabaaba=1〉
Monoid presentation of length 9
Properties
- Infinite non-Abelian group
Completion parameters
- Reduction order: left-to-right cda/b
- Auxiliary generator aaaaa=c
- Auxiliary generator baab=d
Inverses of generators
- a-1 = da4
- b-1 = cba2
- c-1 = d
- d-1 = c
Complete rewriting system
- cd ⇒ 1
- dc ⇒ 1
- ac ⇒ ca
- ad ⇒ da
- a5 ⇒ c
- ab ⇒ dbca
- c2b ⇒ dbc3
- d2b ⇒ cbd3
- bcb ⇒ da3
Other isomorphic instances
3 total
| Length: | Presentation: |
|---|
| 9 | 〈a, b | aaabaabaa=1〉 |
| 9 | 〈a, b | aabaaaaab=1〉 |
| 9 | 〈a, b | abaaaaaba=1〉 |