#2991 ⟨a, b | aaabbbabbba=1⟩
Quick links
- Properties
- Rewriting system
- Presentation has sum-of-sides 11
- Infinite non-Abelian group
- Inverses of generators:
- a-1 = da2
- b-1 = b2a4ca
- c-1 = a4ca
- d-1 = a3
- Reduction order:
- Right-to-left recursive path with deg(a) = deg(d) = 0, a < d; deg(c) = deg(b) = 1, c < b
- Auxiliary generators:
- bbb=c
- acac=d
- Certificate: derivations of all rewriting rules from the defining relations.
- Morphocompletion: how the auxiliary generators were found.
# ab:aaabbbabbba=1 reversed:ad/cb bbb=c,acac=d morph:3/0,4/0
ad=da
daaa=1
cd=dc
caaa=aaac
cac=ddaa
cb=bc
cab=ddaabaaaaca
bbb=c