Back
〈a, b | aabb=1, bbaa=1〉
Monoid presentation of length 8
Properties
- Infinite non-Abelian group
Completion parameters
- Reduction order: left-to-right cab
- Auxiliary generator bb=c
Inverses of generators
- a-1 = ca
- b-1 = a2b
- c-1 = a2
Complete rewriting system
- ac ⇒ ca
- bc ⇒ cb
- b2 ⇒ c
- ca2 ⇒ 1
- ba2 ⇒ a2b
Right Cayley graph (truncated)
Left Cayley graph (truncated)
Other isomorphic instances
3 total
| Length: | Presentation: |
|---|
| 8 | 〈a, b | abba=1, baab=1〉 |
| 10 | 〈a, b | abba=1, aaabb=a〉 |
| 10 | 〈a, b | abba=1, abaab=a〉 |