Back
〈a, b | aabaaabbba=1〉
Monoid presentation of length 10
Properties
- Infinite non-Abelian group
Completion parameters
- Reduction order: left-to-right bd/ca
- Auxiliary generator aaa=c
- Auxiliary generator cbbbc=d
Inverses of generators
- a-1 = bcb3a2
- b-1 = d
- c-1 = bcb3
- d-1 = b
Complete rewriting system
- bd ⇒ 1
- db ⇒ 1
- dc ⇒ bcd2
- b2c ⇒ cb2
- cbc ⇒ d3
- ac ⇒ ca
- abc ⇒ bcb3ad3
- a3 ⇒ c
Other isomorphic instances
1 total
| Length: | Presentation: |
|---|
| 10 | 〈a, b | aabbbaaaba=1〉 |