Back
〈a, b | aaababba=1〉
Monoid presentation of length 8
Properties
- Infinite non-Abelian group
Completion parameters
- Reduction order: right-to-left cda/b
- Auxiliary generator aaaa=c
- Auxiliary generator babb=d
Inverses of generators
- a-1 = da3
- b-1 = babc
- c-1 = d
- d-1 = c
Complete rewriting system
- dc ⇒ 1
- cd ⇒ 1
- ca ⇒ ac
- da ⇒ ad
- a4 ⇒ c
- b2c ⇒ a3bab
- babd ⇒ adb2
- bcba ⇒ cbab
- b2ac ⇒ a3(ba)2
- (ba)2d ⇒ adb2a
- b2a2c ⇒ a3baba2
- baba2d ⇒ adb2a2
- b2a3 ⇒ a3dbcb
- baba3 ⇒ d(bc)2
- bab2 ⇒ d
Other isomorphic instances
1 total
| Length: | Presentation: |
|---|
| 8 | 〈a, b | aababbaa=1〉 |
Other anti-isomorphic instances
2 total
| Length: | Presentation: |
|---|
| 8 | 〈a, b | aaabbaba=1〉 |
| 8 | 〈a, b | ababbbba=1〉 |