Back
〈a, b | aababaaba=1〉
Monoid presentation of length 9
Properties
- Infinite non-Abelian group
Completion parameters
- Reduction order: left-to-right ac/b
- Auxiliary generator aab=c
Inverses of generators
- a-1 = bcac
- b-1 = (ca)2
- c-1 = bcac3a
Complete rewriting system
- c2a2 ⇒ (ac)2
- c2ac ⇒ a
- b(ca)2 ⇒ 1
- ab ⇒ bcac2
- cb ⇒ bc4
Other isomorphic instances
1 total
| Length: | Presentation: |
|---|
| 9 | 〈a, b | abaaababa=1〉 |