#2300 ⟨a, b | abaaaba=aab⟩
Quick links
- Properties
- Rewriting system
- Presentation has sum-of-sides 10
- Infinite non-cancellative non-commutative monoid
- Not left cancellative, because left multiplication by a is not injective:
-
a ⋅ ba3ba = a2b and a ⋅ ab = a2b, however ba3ba ≠ ab
- Enveloping group: ⟨a, b | aaba-1b-1⟩
- Auxiliary generators:
- c = aaba
- d = ab
- Reduction order:
- Left-to-right recursive path with deg(a) = deg(c) = 0, a < c; deg(d) = 1; deg(b) = 2
- Certificate: derivations of all rewriting rules from the defining relations.
- Morphocompletion: how the auxiliary generators were found.
# ab:abaaaba=aab ac/d/b aaba=c,ab=d morph:4/0,2/0
cca=ac
daca=c
ad=dac
cd=dcccc
ab=d
cb=ddaccccc