Infinite non-cancellative non-commutative monoids, five auxiliary generators

2 unique, 2 total

Solved by morph:2/1,2/0,2/0,2/0,2/1

Σ#PresentationDescriptionRelated
115811a, b | abaaab=aaabaInfinite non-cancellative non-commutative monoid

Solved by morph:2/1,4/0,2/0,2/0,2/0

Σ#PresentationDescriptionRelated
102255a, b | aabbaab=abaInfinite non-cancellative non-commutative monoid