Back
〈a, b | aabababa=1〉
Monoid presentation of length 8
Properties
- Infinite non-Abelian group
Completion parameters
- Reduction order: left-to-right cda/b
- Auxiliary generator aaa=c
- Auxiliary generator babab=d
Inverses of generators
- a-1 = da2
- b-1 = (cb)2da2
- c-1 = d
- d-1 = c
Complete rewriting system
- cd ⇒ 1
- dc ⇒ 1
- ac ⇒ ca
- ad ⇒ da
- a3 ⇒ c
- db ⇒ cbd2
- ab ⇒ cbda
- c2b ⇒ bc2
- b(cb)2 ⇒ a
Other isomorphic instances
2 total
| Length: | Presentation: |
|---|
| 8 | 〈a, b | abaaabab=1〉 |
| 8 | 〈a, b | ababaaab=1〉 |