Back
〈a, b | aaaaaababa=1〉
Monoid presentation of length 10
Properties
- Infinite non-Abelian group
Completion parameters
- Reduction order: left-to-right ca/d/b
- Auxiliary generator aaaaaaa=c
- Auxiliary generator bab=d
Inverses of generators
- a-1 = da6
- b-1 = cba
- c-1 = d
- d-1 = c
Complete rewriting system
- ac ⇒ ca
- a7 ⇒ c
- dc ⇒ 1
- cd ⇒ 1
- ad ⇒ da
- ab ⇒ cbda
- c6b ⇒ bc6
- db ⇒ c5bd6
- bcb ⇒ da6
Other isomorphic instances
3 total
| Length: | Presentation: |
|---|
| 10 | 〈a, b | aaaaababaa=1〉 |
| 10 | 〈a, b | aaaababaaa=1〉 |
| 10 | 〈a, b | abaaaaaaab=1〉 |