Back
〈a, b | aabababba=1〉
Monoid presentation of length 9
Properties
- Infinite non-Abelian group
Completion parameters
- Reduction order: right-to-left cda/b
- Auxiliary generator aaa=c
- Auxiliary generator bababb=d
Inverses of generators
- a-1 = da2
- b-1 = b(ab)2c
- c-1 = d
- d-1 = c
Complete rewriting system
- dc ⇒ 1
- cd ⇒ 1
- ca ⇒ ac
- da ⇒ ad
- a3 ⇒ c
- bcba ⇒ ab2c
- b2a2 ⇒ a2dbcb
- bab2c ⇒ a(ab)3
- b(ab)2d ⇒ adbab2
- bab2ac ⇒ a2(ba)3
- (ba)3d ⇒ adbab2a
- (ba)3a ⇒ adb(bc)2
- (ba)2b2 ⇒ d
- (b2c)2 ⇒ a2dba2cb(ab)2
- b2cb2ac ⇒ a2dba2c(ba)3
Other isomorphic instances
1 total
| Length: | Presentation: |
|---|
| 9 | 〈a, b | ababbaaab=1〉 |
Other anti-isomorphic instances
2 total
| Length: | Presentation: |
|---|
| 9 | 〈a, b | aabbababa=1〉 |
| 9 | 〈a, b | abababbba=1〉 |