#3800 ⟨a, b | abbaaaabba=b⟩
Contents
- Properties
- Rewriting system
- Sum of relation sides is 11
- Infinite cancellative non-commutative monoid
- Element a has infinite order
- Submonoid of enveloping group: ⟨a, b | aaaabbab-1abb⟩
-
Embedding: φ(a) = a, φ(b) = b
- Auxiliary generators:
- c = aaabba
- d = cb
- Reduction order:
- Left-to-right recursive path with deg(c) = 0; deg(d) = deg(a) = 1, d < a; deg(b) = 2
- Certificate: derivations of all rewriting rules from the defining relations.
- Morphocompletion: how the auxiliary generators were found.
# ab:abbaaaabba=b c/da/b aaabba=c,cb=d morph:6/0,2/0
acdc=ccda
ccdadc=dda
acdd=ccdcdac
acda=c
ccdadd=ddcdac
ccdadac=d
ccdadad=dcdadac
b=cdadac