Back
〈a, b | aaaaababa=1〉
Monoid presentation of length 9
Properties
- Infinite non-Abelian group
Completion parameters
- Reduction order: left-to-right ca/d/b
- Auxiliary generator aaaaaa=c
- Auxiliary generator bab=d
Inverses of generators
- a-1 = da5
- b-1 = cba
- c-1 = d
- d-1 = c
Complete rewriting system
- ac ⇒ ca
- a6 ⇒ c
- dc ⇒ 1
- cd ⇒ 1
- ad ⇒ da
- ab ⇒ cbda
- c5b ⇒ bc5
- db ⇒ c4bd5
- bcb ⇒ da5
Other isomorphic instances
3 total
| Length: | Presentation: |
|---|
| 9 | 〈a, b | aaaababaa=1〉 |
| 9 | 〈a, b | aaababaaa=1〉 |
| 9 | 〈a, b | abaaaaaab=1〉 |