Back
〈a, b | aababa=1〉
Monoid presentation of length 6
Properties
- Infinite non-Abelian group
Completion parameters
- Reduction order: left-to-right acd/b
- Auxiliary generator aaa=c
- Auxiliary generator bab=d
Inverses of generators
- a-1 = a2d
- b-1 = abc
- c-1 = d
- d-1 = c
Complete rewriting system
- ca ⇒ ac
- cd ⇒ 1
- da ⇒ ad
- dc ⇒ 1
- a3 ⇒ c
- cb ⇒ aba2
- db ⇒ aba2d2
- a2b ⇒ ba2
- bab ⇒ d
Other isomorphic instances
1 total
| Length: | Presentation: |
|---|
| 6 | 〈a, b | abaaab=1〉 |