Back
〈a, b | abaababaab=1〉
Monoid presentation of length 10
Properties
- Infinite non-Abelian group
Completion parameters
- Reduction order: left-to-right ab
Inverses of generators
- a-1 = ab(aba)2b
- b-1 = a2b(aba)2
Complete rewriting system
- ba2(ba)2 ⇒ (ab)2a2b
- (a(ab)2)2 ⇒ 1
Other isomorphic instances
1 total
| Length: | Presentation: |
|---|
| 10 | 〈a, b | ababaababa=1〉 |