Back
〈a, b | aaaaaaabba=1〉
Monoid presentation of length 10
Properties
- Infinite non-Abelian group
Completion parameters
- Reduction order: left-to-right abcd
- Auxiliary generator aaaaaaaa=c
- Auxiliary generator bb=d
Inverses of generators
- a-1 = a7d
- b-1 = bc
- c-1 = d
- d-1 = c
Complete rewriting system
- b2 ⇒ d
- ca ⇒ ac
- cb ⇒ bc
- cd ⇒ 1
- da ⇒ ad
- db ⇒ bd
- dc ⇒ 1
- a8 ⇒ c
Other isomorphic instances
3 total
| Length: | Presentation: |
|---|
| 10 | 〈a, b | aaaaaabbaa=1〉 |
| 10 | 〈a, b | aaaaabbaaa=1〉 |
| 10 | 〈a, b | aaaabbaaaa=1〉 |