Infinite non-cancellative non-commutative monoids, one auxiliary generator

Up:Monoids with two generators and one relation
830 unique, 845 total

Solved by magic:0

Σ#PresentationDescriptionRelated
552⟨a, b | aba=ab⟩Infinite non-cancellative non-commutative monoid
6102⟨a, b | aaba=ab⟩Infinite non-cancellative non-commutative monoid
6103⟨a, b | aaba=ba⟩Infinite non-cancellative non-commutative monoid
7205⟨a, b | aaaba=ab⟩Infinite non-cancellative non-commutative monoid
7206⟨a, b | aaaba=ba⟩Infinite non-cancellative non-commutative monoid
7213⟨a, b | aabaa=ab⟩Infinite non-cancellative non-commutative monoid
7228⟨a, b | ababa=ab⟩Infinite non-cancellative non-commutative monoid
7248⟨a, b | aaba=aab⟩Infinite non-cancellative non-commutative monoid
7260⟨a, b | abab=aab⟩Infinite non-cancellative non-commutative monoid
7261⟨a, b | abab=aba⟩Infinite non-cancellative non-commutative monoid
7266⟨a, b | abba=abb⟩Infinite non-cancellative non-commutative monoid
8421⟨a, b | aaaaba=ab⟩Infinite non-cancellative non-commutative monoid
8422⟨a, b | aaaaba=ba⟩Infinite non-cancellative non-commutative monoid
8429⟨a, b | aaabaa=ab⟩Infinite non-cancellative non-commutative monoid
8430⟨a, b | aaabaa=ba⟩Infinite non-cancellative non-commutative monoid
8437⟨a, b | aaabba=ab⟩Infinite non-cancellative non-commutative monoid
8448⟨a, b | aababa=ab⟩Infinite non-cancellative non-commutative monoid
8449⟨a, b | aababa=ba⟩Infinite non-cancellative non-commutative monoid
8455⟨a, b | aabbaa=ab⟩Infinite non-cancellative non-commutative monoid
8470⟨a, b | abaaba=ab⟩Infinite non-cancellative non-commutative monoid
8500⟨a, b | aaaba=aab⟩Infinite non-cancellative non-commutative monoid
8516⟨a, b | aabaa=aab⟩Infinite non-cancellative non-commutative monoid
8530⟨a, b | aabba=aab⟩Infinite non-cancellative non-commutative monoid
8532⟨a, b | aabba=abb⟩Infinite non-cancellative non-commutative monoid
8535⟨a, b | aabba=bba⟩Infinite non-cancellative non-commutative monoid
8538⟨a, b | abaab=aab⟩Infinite non-cancellative non-commutative monoid
8539⟨a, b | abaab=aba⟩Infinite non-cancellative non-commutative monoid
8540⟨a, b | abaab=abb⟩Infinite non-cancellative non-commutative monoid
8542⟨a, b | abaab=bab⟩Infinite non-cancellative non-commutative monoid
8548⟨a, b | ababa=abb⟩Infinite non-cancellative non-commutative monoid
8554⟨a, b | abbba=abb⟩Infinite non-cancellative non-commutative monoid
8570⟨a, b | abab=abaa⟩Infinite non-cancellative non-commutative monoid
9875⟨a, b | aaaaaba=ab⟩Infinite non-cancellative non-commutative monoid
9876⟨a, b | aaaaaba=ba⟩Infinite non-cancellative non-commutative monoid
9883⟨a, b | aaaabaa=ab⟩Infinite non-cancellative non-commutative monoid
9884⟨a, b | aaaabaa=ba⟩Infinite non-cancellative non-commutative monoid
9899⟨a, b | aaabaaa=ab⟩Infinite non-cancellative non-commutative monoid
9906⟨a, b | aaababa=ab⟩Infinite non-cancellative non-commutative monoid
9907⟨a, b | aaababa=ba⟩Infinite non-cancellative non-commutative monoid
9930⟨a, b | aabaaba=ab⟩Infinite non-cancellative non-commutative monoid
9931⟨a, b | aabaaba=ba⟩Infinite non-cancellative non-commutative monoid
9938⟨a, b | aababaa=ab⟩Infinite non-cancellative non-commutative monoid
9972⟨a, b | abaaaba=ab⟩Infinite non-cancellative non-commutative monoid
9987⟨a, b | abababa=ab⟩Infinite non-cancellative non-commutative monoid
91018⟨a, b | aaaaba=aab⟩Infinite non-cancellative non-commutative monoid
91034⟨a, b | aaabaa=aab⟩Infinite non-cancellative non-commutative monoid
91037⟨a, b | aaabaa=baa⟩Infinite non-cancellative non-commutative monoid
91050⟨a, b | aaabba=aab⟩Infinite non-cancellative non-commutative monoid
91052⟨a, b | aaabba=abb⟩Infinite non-cancellative non-commutative monoid
91055⟨a, b | aaabba=bba⟩Infinite non-cancellative non-commutative monoid
91063⟨a, b | aabaab=aba⟩Infinite non-cancellative non-commutative monoid
91072⟨a, b | aababa=abb⟩Infinite non-cancellative non-commutative monoid
91075⟨a, b | aababa=bba⟩Infinite non-cancellative non-commutative monoid
91084⟨a, b | aabbaa=abb⟩Infinite non-cancellative non-commutative monoid
91096⟨a, b | aabbba=aab⟩Infinite non-cancellative non-commutative monoid
91098⟨a, b | aabbba=abb⟩Infinite non-cancellative non-commutative monoid
91101⟨a, b | aabbba=bba⟩Infinite non-cancellative non-commutative monoid
91106⟨a, b | abaaab=abb⟩Infinite non-cancellative non-commutative monoid
91108⟨a, b | abaaab=bab⟩Infinite non-cancellative non-commutative monoid
91114⟨a, b | abaaba=abb⟩Infinite non-cancellative non-commutative monoid
91118⟨a, b | ababab=aab⟩Infinite non-cancellative non-commutative monoid
91119⟨a, b | ababab=aba⟩Infinite non-cancellative non-commutative monoid
91124⟨a, b | ababba=abb⟩Infinite non-cancellative non-commutative monoid
91125⟨a, b | ababba=baa⟩Infinite non-cancellative non-commutative monoid
91127⟨a, b | ababba=bba⟩Infinite non-cancellative non-commutative monoid
91130⟨a, b | abbaab=aab⟩Infinite non-cancellative non-commutative monoid
91166⟨a, b | aaaba=aaab⟩Infinite non-cancellative non-commutative monoid
91175⟨a, b | aaaba=baba⟩Infinite non-cancellative non-commutative monoid
91199⟨a, b | aabaa=aaba⟩Infinite non-cancellative non-commutative monoid
91226⟨a, b | aabba=aabb⟩Infinite non-cancellative non-commutative monoid
91233⟨a, b | aabba=baba⟩Infinite non-cancellative non-commutative monoid
91240⟨a, b | abaab=aaab⟩Infinite non-cancellative non-commutative monoid
91243⟨a, b | abaab=abaa⟩Infinite non-cancellative non-commutative monoid
91248⟨a, b | abaab=baab⟩Infinite non-cancellative non-commutative monoid
91257⟨a, b | ababa=aaba⟩Infinite non-cancellative non-commutative monoid
91259⟨a, b | ababa=abab⟩Infinite non-cancellative non-commutative monoid
91269⟨a, b | abbba=abab⟩Infinite non-cancellative non-commutative monoid
91271⟨a, b | abbba=abbb⟩Infinite non-cancellative non-commutative monoid
101827⟨a, b | aaaaaaba=ab⟩Infinite non-cancellative non-commutative monoid
101828⟨a, b | aaaaaaba=ba⟩Infinite non-cancellative non-commutative monoid
101835⟨a, b | aaaaabaa=ab⟩Infinite non-cancellative non-commutative monoid
101836⟨a, b | aaaaabaa=ba⟩Infinite non-cancellative non-commutative monoid
101851⟨a, b | aaaabaaa=ab⟩Infinite non-cancellative non-commutative monoid
101852⟨a, b | aaaabaaa=ba⟩Infinite non-cancellative non-commutative monoid
101859⟨a, b | aaaababa=ab⟩Infinite non-cancellative non-commutative monoid
101860⟨a, b | aaaababa=ba⟩Infinite non-cancellative non-commutative monoid
101886⟨a, b | aaabaaba=ab⟩Infinite non-cancellative non-commutative monoid
101887⟨a, b | aaabaaba=ba⟩Infinite non-cancellative non-commutative monoid
101894⟨a, b | aaababaa=ab⟩Infinite non-cancellative non-commutative monoid
101895⟨a, b | aaababaa=ba⟩Infinite non-cancellative non-commutative monoid
101902⟨a, b | aaababba=ab⟩Infinite non-cancellative non-commutative monoid
101916⟨a, b | aaabbaba=ab⟩Infinite non-cancellative non-commutative monoid
101941⟨a, b | aabaaaba=ba⟩Infinite non-cancellative non-commutative monoid
101948⟨a, b | aabaabaa=ab⟩Infinite non-cancellative non-commutative monoid
101963⟨a, b | aabababa=ab⟩Infinite non-cancellative non-commutative monoid
101964⟨a, b | aabababa=ba⟩Infinite non-cancellative non-commutative monoid
101970⟨a, b | aababbaa=ab⟩Infinite non-cancellative non-commutative monoid
101971⟨a, b | aababbaa=ba⟩Infinite non-cancellative non-commutative monoid
102024⟨a, b | abaaaaba=ab⟩Infinite non-cancellative non-commutative monoid
102039⟨a, b | abaababa=ab⟩Infinite non-cancellative non-commutative monoid
102040⟨a, b | abaababa=ba⟩Infinite non-cancellative non-commutative monoid
102106⟨a, b | aaaaaba=aab⟩Infinite non-cancellative non-commutative monoid
102122⟨a, b | aaaabaa=aab⟩Infinite non-cancellative non-commutative monoid
102125⟨a, b | aaaabaa=baa⟩Infinite non-cancellative non-commutative monoid
102138⟨a, b | aaaabba=aab⟩Infinite non-cancellative non-commutative monoid
102140⟨a, b | aaaabba=abb⟩Infinite non-cancellative non-commutative monoid
102143⟨a, b | aaaabba=bba⟩Infinite non-cancellative non-commutative monoid
102154⟨a, b | aaabaaa=aab⟩Infinite non-cancellative non-commutative monoid
102170⟨a, b | aaababa=abb⟩Infinite non-cancellative non-commutative monoid
102173⟨a, b | aaababa=bba⟩Infinite non-cancellative non-commutative monoid
102186⟨a, b | aaabbaa=abb⟩Infinite non-cancellative non-commutative monoid
102189⟨a, b | aaabbaa=bba⟩Infinite non-cancellative non-commutative monoid
102200⟨a, b | aaabbba=aab⟩Infinite non-cancellative non-commutative monoid
102202⟨a, b | aaabbba=abb⟩Infinite non-cancellative non-commutative monoid
102205⟨a, b | aaabbba=bba⟩Infinite non-cancellative non-commutative monoid
102216⟨a, b | aabaaba=aab⟩Infinite non-cancellative non-commutative monoid
102218⟨a, b | aabaaba=abb⟩Infinite non-cancellative non-commutative monoid
102219⟨a, b | aabaaba=baa⟩Infinite non-cancellative non-commutative monoid
102221⟨a, b | aabaaba=bba⟩Infinite non-cancellative non-commutative monoid
102234⟨a, b | aababaa=abb⟩Infinite non-cancellative non-commutative monoid
102248⟨a, b | aababba=abb⟩Infinite non-cancellative non-commutative monoid
102251⟨a, b | aababba=bba⟩Infinite non-cancellative non-commutative monoid
102264⟨a, b | aabbaba=abb⟩Infinite non-cancellative non-commutative monoid
102267⟨a, b | aabbaba=bba⟩Infinite non-cancellative non-commutative monoid
102272⟨a, b | aabbbaa=abb⟩Infinite non-cancellative non-commutative monoid
102284⟨a, b | aabbbba=aab⟩Infinite non-cancellative non-commutative monoid
102294⟨a, b | abaaaab=abb⟩Infinite non-cancellative non-commutative monoid
102296⟨a, b | abaaaab=bab⟩Infinite non-cancellative non-commutative monoid
102302⟨a, b | abaaaba=abb⟩Infinite non-cancellative non-commutative monoid
102306⟨a, b | abaabab=aab⟩Infinite non-cancellative non-commutative monoid
102308⟨a, b | abaabab=abb⟩Infinite non-cancellative non-commutative monoid
102310⟨a, b | abaabab=bab⟩Infinite non-cancellative non-commutative monoid
102314⟨a, b | abaabba=aab⟩Infinite non-cancellative non-commutative monoid
102316⟨a, b | abaabba=abb⟩Infinite non-cancellative non-commutative monoid
102319⟨a, b | abaabba=bba⟩Infinite non-cancellative non-commutative monoid
102323⟨a, b | ababaab=aba⟩Infinite non-cancellative non-commutative monoid
102324⟨a, b | ababaab=abb⟩Infinite non-cancellative non-commutative monoid
102332⟨a, b | abababa=abb⟩Infinite non-cancellative non-commutative monoid
102336⟨a, b | ababbba=aab⟩Infinite non-cancellative non-commutative monoid
102338⟨a, b | ababbba=abb⟩Infinite non-cancellative non-commutative monoid
102339⟨a, b | ababbba=baa⟩Infinite non-cancellative non-commutative monoid
102346⟨a, b | abbaaab=abb⟩Infinite non-cancellative non-commutative monoid
102352⟨a, b | abbabba=aab⟩Infinite non-cancellative non-commutative monoid
102354⟨a, b | abbabba=abb⟩Infinite non-cancellative non-commutative monoid
102390⟨a, b | aaaaba=aaab⟩Infinite non-cancellative non-commutative monoid
102399⟨a, b | aaaaba=baba⟩Infinite non-cancellative non-commutative monoid
102422⟨a, b | aaabaa=aaab⟩Infinite non-cancellative non-commutative monoid
102423⟨a, b | aaabaa=aaba⟩Infinite non-cancellative non-commutative monoid
102425⟨a, b | aaabaa=abaa⟩Infinite non-cancellative non-commutative monoid
102454⟨a, b | aaabba=aaab⟩Infinite non-cancellative non-commutative monoid
102456⟨a, b | aaabba=aabb⟩Infinite non-cancellative non-commutative monoid
102458⟨a, b | aaabba=abab⟩Infinite non-cancellative non-commutative monoid
102463⟨a, b | aaabba=baba⟩Infinite non-cancellative non-commutative monoid
102480⟨a, b | aabaab=aaab⟩Infinite non-cancellative non-commutative monoid
102481⟨a, b | aabaab=aaba⟩Infinite non-cancellative non-commutative monoid
102482⟨a, b | aabaab=aabb⟩Infinite non-cancellative non-commutative monoid
102485⟨a, b | aabaab=abba⟩Infinite non-cancellative non-commutative monoid
102488⟨a, b | aabaab=baab⟩Infinite non-cancellative non-commutative monoid
102498⟨a, b | aababa=aabb⟩Infinite non-cancellative non-commutative monoid
102500⟨a, b | aababa=abab⟩Infinite non-cancellative non-commutative monoid
102505⟨a, b | aababa=baba⟩Infinite non-cancellative non-commutative monoid
102522⟨a, b | aabbaa=aaab⟩Infinite non-cancellative non-commutative monoid
102523⟨a, b | aabbaa=aaba⟩Infinite non-cancellative non-commutative monoid
102524⟨a, b | aabbaa=aabb⟩Infinite non-cancellative non-commutative monoid
102525⟨a, b | aabbaa=abab⟩Infinite non-cancellative non-commutative monoid
102550⟨a, b | aabbba=aabb⟩Infinite non-cancellative non-commutative monoid
102552⟨a, b | aabbba=abab⟩Infinite non-cancellative non-commutative monoid
102554⟨a, b | aabbba=abbb⟩Infinite non-cancellative non-commutative monoid
102561⟨a, b | aabbba=bbba⟩Infinite non-cancellative non-commutative monoid
102564⟨a, b | abaaab=aaab⟩Infinite non-cancellative non-commutative monoid
102567⟨a, b | abaaab=abaa⟩Infinite non-cancellative non-commutative monoid
102569⟨a, b | abaaab=abba⟩Infinite non-cancellative non-commutative monoid
102581⟨a, b | abaaba=aaba⟩Infinite non-cancellative non-commutative monoid
102583⟨a, b | abaaba=abab⟩Infinite non-cancellative non-commutative monoid
102590⟨a, b | ababab=aaab⟩Infinite non-cancellative non-commutative monoid
102593⟨a, b | ababab=abaa⟩Infinite non-cancellative non-commutative monoid
102602⟨a, b | ababba=aabb⟩Infinite non-cancellative non-commutative monoid
102606⟨a, b | ababba=abbb⟩Infinite non-cancellative non-commutative monoid
102611⟨a, b | ababba=bbaa⟩Infinite non-cancellative non-commutative monoid
102613⟨a, b | ababba=bbba⟩Infinite non-cancellative non-commutative monoid
102616⟨a, b | abbaab=aaab⟩Infinite non-cancellative non-commutative monoid
102619⟨a, b | abbaab=abaa⟩Infinite non-cancellative non-commutative monoid
102621⟨a, b | abbaab=abba⟩Infinite non-cancellative non-commutative monoid
102629⟨a, b | abbbba=abab⟩Infinite non-cancellative non-commutative monoid
102631⟨a, b | abbbba=abbb⟩Infinite non-cancellative non-commutative monoid
102673⟨a, b | abaab=aabaa⟩Infinite non-cancellative non-commutative monoid
102677⟨a, b | abaab=abaaa⟩Infinite non-cancellative non-commutative monoid
102686⟨a, b | ababa=abaab⟩Infinite non-cancellative non-commutative monoid
102708⟨a, b | abbab=abaaa⟩Infinite non-cancellative non-commutative monoid
102711⟨a, b | abbab=abbaa⟩Infinite non-cancellative non-commutative monoid
102720⟨a, b | abbba=abaab⟩Infinite non-cancellative non-commutative monoid
113841⟨a, b | aaaaaaaba=ab⟩Infinite non-cancellative non-commutative monoid
113842⟨a, b | aaaaaaaba=ba⟩Infinite non-cancellative non-commutative monoid
113849⟨a, b | aaaaaabaa=ab⟩Infinite non-cancellative non-commutative monoid
113850⟨a, b | aaaaaabaa=ba⟩Infinite non-cancellative non-commutative monoid
113865⟨a, b | aaaaabaaa=ab⟩Infinite non-cancellative non-commutative monoid
113866⟨a, b | aaaaabaaa=ba⟩Infinite non-cancellative non-commutative monoid
113873⟨a, b | aaaaababa=ab⟩Infinite non-cancellative non-commutative monoid
113874⟨a, b | aaaaababa=ba⟩Infinite non-cancellative non-commutative monoid
113897⟨a, b | aaaabaaaa=ab⟩Infinite non-cancellative non-commutative monoid
113904⟨a, b | aaaabaaba=ab⟩Infinite non-cancellative non-commutative monoid
113905⟨a, b | aaaabaaba=ba⟩Infinite non-cancellative non-commutative monoid
113912⟨a, b | aaaababaa=ab⟩Infinite non-cancellative non-commutative monoid
113913⟨a, b | aaaababaa=ba⟩Infinite non-cancellative non-commutative monoid
113936⟨a, b | aaaabbaba=ab⟩Infinite non-cancellative non-commutative monoid
113960⟨a, b | aaabaaaba=ab⟩Infinite non-cancellative non-commutative monoid
113961⟨a, b | aaabaaaba=ba⟩Infinite non-cancellative non-commutative monoid
113968⟨a, b | aaabaabaa=ab⟩Infinite non-cancellative non-commutative monoid
113969⟨a, b | aaabaabaa=ba⟩Infinite non-cancellative non-commutative monoid
113984⟨a, b | aaababaaa=ab⟩Infinite non-cancellative non-commutative monoid
113991⟨a, b | aaabababa=ab⟩Infinite non-cancellative non-commutative monoid
113992⟨a, b | aaabababa=ba⟩Infinite non-cancellative non-commutative monoid
114024⟨a, b | aaabbabaa=ba⟩Infinite non-cancellative non-commutative monoid
114067⟨a, b | aabaaaaba=ba⟩Infinite non-cancellative non-commutative monoid
114074⟨a, b | aabaaabaa=ab⟩Infinite non-cancellative non-commutative monoid
114089⟨a, b | aabaababa=ab⟩Infinite non-cancellative non-commutative monoid
114090⟨a, b | aabaababa=ba⟩Infinite non-cancellative non-commutative monoid
114113⟨a, b | aababaaba=ab⟩Infinite non-cancellative non-commutative monoid
114114⟨a, b | aababaaba=ba⟩Infinite non-cancellative non-commutative monoid
114121⟨a, b | aabababaa=ab⟩Infinite non-cancellative non-commutative monoid
114230⟨a, b | abaaaaaba=ab⟩Infinite non-cancellative non-commutative monoid
114245⟨a, b | abaaababa=ab⟩Infinite non-cancellative non-commutative monoid
114246⟨a, b | abaaababa=ba⟩Infinite non-cancellative non-commutative monoid
114261⟨a, b | abaabaaba=ab⟩Infinite non-cancellative non-commutative monoid
114300⟨a, b | ababababa=ab⟩Infinite non-cancellative non-commutative monoid
114376⟨a, b | aaaaaaba=aab⟩Infinite non-cancellative non-commutative monoid
114392⟨a, b | aaaaabaa=aab⟩Infinite non-cancellative non-commutative monoid
114395⟨a, b | aaaaabaa=baa⟩Infinite non-cancellative non-commutative monoid
114408⟨a, b | aaaaabba=aab⟩Infinite non-cancellative non-commutative monoid
114410⟨a, b | aaaaabba=abb⟩Infinite non-cancellative non-commutative monoid
114413⟨a, b | aaaaabba=bba⟩Infinite non-cancellative non-commutative monoid
114424⟨a, b | aaaabaaa=aab⟩Infinite non-cancellative non-commutative monoid
114427⟨a, b | aaaabaaa=baa⟩Infinite non-cancellative non-commutative monoid
114442⟨a, b | aaaababa=abb⟩Infinite non-cancellative non-commutative monoid
114445⟨a, b | aaaababa=bba⟩Infinite non-cancellative non-commutative monoid
114458⟨a, b | aaaabbaa=abb⟩Infinite non-cancellative non-commutative monoid
114461⟨a, b | aaaabbaa=bba⟩Infinite non-cancellative non-commutative monoid
114472⟨a, b | aaaabbba=aab⟩Infinite non-cancellative non-commutative monoid
114474⟨a, b | aaaabbba=abb⟩Infinite non-cancellative non-commutative monoid
114477⟨a, b | aaaabbba=bba⟩Infinite non-cancellative non-commutative monoid
114492⟨a, b | aaabaaba=aab⟩Infinite non-cancellative non-commutative monoid
114494⟨a, b | aaabaaba=abb⟩Infinite non-cancellative non-commutative monoid
114495⟨a, b | aaabaaba=baa⟩Infinite non-cancellative non-commutative monoid
114497⟨a, b | aaabaaba=bba⟩Infinite non-cancellative non-commutative monoid
114510⟨a, b | aaababaa=abb⟩Infinite non-cancellative non-commutative monoid
114513⟨a, b | aaababaa=bba⟩Infinite non-cancellative non-commutative monoid
114524⟨a, b | aaababba=aab⟩Infinite non-cancellative non-commutative monoid
114526⟨a, b | aaababba=abb⟩Infinite non-cancellative non-commutative monoid
114529⟨a, b | aaababba=bba⟩Infinite non-cancellative non-commutative monoid
114538⟨a, b | aaabbaaa=abb⟩Infinite non-cancellative non-commutative monoid
114550⟨a, b | aaabbaba=aab⟩Infinite non-cancellative non-commutative monoid
114552⟨a, b | aaabbaba=abb⟩Infinite non-cancellative non-commutative monoid
114555⟨a, b | aaabbaba=bba⟩Infinite non-cancellative non-commutative monoid
114568⟨a, b | aaabbbaa=abb⟩Infinite non-cancellative non-commutative monoid
114571⟨a, b | aaabbbaa=bba⟩Infinite non-cancellative non-commutative monoid
114582⟨a, b | aaabbbba=aab⟩Infinite non-cancellative non-commutative monoid
114598⟨a, b | aabaaaba=aab⟩Infinite non-cancellative non-commutative monoid
114600⟨a, b | aabaaaba=abb⟩Infinite non-cancellative non-commutative monoid
114601⟨a, b | aabaaaba=baa⟩Infinite non-cancellative non-commutative monoid
114603⟨a, b | aabaaaba=bba⟩Infinite non-cancellative non-commutative monoid
114614⟨a, b | aabaabaa=aab⟩Infinite non-cancellative non-commutative monoid
114616⟨a, b | aabaabaa=abb⟩Infinite non-cancellative non-commutative monoid
114628⟨a, b | aabaabba=aab⟩Infinite non-cancellative non-commutative monoid
114630⟨a, b | aabaabba=abb⟩Infinite non-cancellative non-commutative monoid
114633⟨a, b | aabaabba=bba⟩Infinite non-cancellative non-commutative monoid
114646⟨a, b | aabababa=abb⟩Infinite non-cancellative non-commutative monoid
114649⟨a, b | aabababa=bba⟩Infinite non-cancellative non-commutative monoid
114658⟨a, b | aababbaa=abb⟩Infinite non-cancellative non-commutative monoid
114661⟨a, b | aababbaa=bba⟩Infinite non-cancellative non-commutative monoid
114674⟨a, b | aababbba=abb⟩Infinite non-cancellative non-commutative monoid
114690⟨a, b | aabbaaba=abb⟩Infinite non-cancellative non-commutative monoid
114693⟨a, b | aabbaaba=bba⟩Infinite non-cancellative non-commutative monoid
114710⟨a, b | aabbabba=abb⟩Infinite non-cancellative non-commutative monoid
114713⟨a, b | aabbabba=bba⟩Infinite non-cancellative non-commutative monoid
114726⟨a, b | aabbbaba=abb⟩Infinite non-cancellative non-commutative monoid
114729⟨a, b | aabbbaba=bba⟩Infinite non-cancellative non-commutative monoid
114746⟨a, b | aabbbbba=aab⟩Infinite non-cancellative non-commutative monoid
114748⟨a, b | aabbbbba=abb⟩Infinite non-cancellative non-commutative monoid
114756⟨a, b | abaaaaab=abb⟩Infinite non-cancellative non-commutative monoid
114758⟨a, b | abaaaaab=bab⟩Infinite non-cancellative non-commutative monoid
114764⟨a, b | abaaaaba=abb⟩Infinite non-cancellative non-commutative monoid
114770⟨a, b | abaaabab=abb⟩Infinite non-cancellative non-commutative monoid
114772⟨a, b | abaaabab=bab⟩Infinite non-cancellative non-commutative monoid
114776⟨a, b | abaaabba=aab⟩Infinite non-cancellative non-commutative monoid
114778⟨a, b | abaaabba=abb⟩Infinite non-cancellative non-commutative monoid
114781⟨a, b | abaaabba=bba⟩Infinite non-cancellative non-commutative monoid
114784⟨a, b | abaabaab=aab⟩Infinite non-cancellative non-commutative monoid
114785⟨a, b | abaabaab=aba⟩Infinite non-cancellative non-commutative monoid
114786⟨a, b | abaabaab=abb⟩Infinite non-cancellative non-commutative monoid
114800⟨a, b | abaabbab=aab⟩Infinite non-cancellative non-commutative monoid
114804⟨a, b | abaabbba=aab⟩Infinite non-cancellative non-commutative monoid
114806⟨a, b | abaabbba=abb⟩Infinite non-cancellative non-commutative monoid
114814⟨a, b | ababaaab=abb⟩Infinite non-cancellative non-commutative monoid
114820⟨a, b | abababab=aab⟩Infinite non-cancellative non-commutative monoid
114821⟨a, b | abababab=aba⟩Infinite non-cancellative non-commutative monoid
114826⟨a, b | abababba=abb⟩Infinite non-cancellative non-commutative monoid
114834⟨a, b | ababbaab=abb⟩Infinite non-cancellative non-commutative monoid
114842⟨a, b | ababbaba=abb⟩Infinite non-cancellative non-commutative monoid
114846⟨a, b | ababbbba=aab⟩Infinite non-cancellative non-commutative monoid
114848⟨a, b | ababbbba=abb⟩Infinite non-cancellative non-commutative monoid
114849⟨a, b | ababbbba=baa⟩Infinite non-cancellative non-commutative monoid
114856⟨a, b | abbaaaab=abb⟩Infinite non-cancellative non-commutative monoid
114862⟨a, b | abbaabba=aab⟩Infinite non-cancellative non-commutative monoid
114864⟨a, b | abbaabba=abb⟩Infinite non-cancellative non-commutative monoid
114872⟨a, b | abbabbba=aab⟩Infinite non-cancellative non-commutative monoid
114874⟨a, b | abbabbba=abb⟩Infinite non-cancellative non-commutative monoid
114875⟨a, b | abbabbba=baa⟩Infinite non-cancellative non-commutative monoid
114877⟨a, b | abbabbba=bba⟩Infinite non-cancellative non-commutative monoid
114916⟨a, b | aaaaaba=aaab⟩Infinite non-cancellative non-commutative monoid
114925⟨a, b | aaaaaba=baba⟩Infinite non-cancellative non-commutative monoid
114948⟨a, b | aaaabaa=aaab⟩Infinite non-cancellative non-commutative monoid
114949⟨a, b | aaaabaa=aaba⟩Infinite non-cancellative non-commutative monoid
114951⟨a, b | aaaabaa=abaa⟩Infinite non-cancellative non-commutative monoid
114980⟨a, b | aaaabba=aaab⟩Infinite non-cancellative non-commutative monoid
114982⟨a, b | aaaabba=aabb⟩Infinite non-cancellative non-commutative monoid
114984⟨a, b | aaaabba=abab⟩Infinite non-cancellative non-commutative monoid
114989⟨a, b | aaaabba=baba⟩Infinite non-cancellative non-commutative monoid
115012⟨a, b | aaabaaa=aaab⟩Infinite non-cancellative non-commutative monoid
115013⟨a, b | aaabaaa=aaba⟩Infinite non-cancellative non-commutative monoid
115038⟨a, b | aaababa=aaab⟩Infinite non-cancellative non-commutative monoid
115040⟨a, b | aaababa=aabb⟩Infinite non-cancellative non-commutative monoid
115042⟨a, b | aaababa=abab⟩Infinite non-cancellative non-commutative monoid
115047⟨a, b | aaababa=baba⟩Infinite non-cancellative non-commutative monoid
115070⟨a, b | aaabbaa=aaab⟩Infinite non-cancellative non-commutative monoid
115071⟨a, b | aaabbaa=aaba⟩Infinite non-cancellative non-commutative monoid
115072⟨a, b | aaabbaa=aabb⟩Infinite non-cancellative non-commutative monoid
115073⟨a, b | aaabbaa=abaa⟩Infinite non-cancellative non-commutative monoid
115081⟨a, b | aaabbaa=bbaa⟩Infinite non-cancellative non-commutative monoid
115102⟨a, b | aaabbba=aaab⟩Infinite non-cancellative non-commutative monoid
115104⟨a, b | aaabbba=aabb⟩Infinite non-cancellative non-commutative monoid
115106⟨a, b | aaabbba=abab⟩Infinite non-cancellative non-commutative monoid
115108⟨a, b | aaabbba=abbb⟩Infinite non-cancellative non-commutative monoid
115111⟨a, b | aaabbba=baba⟩Infinite non-cancellative non-commutative monoid
115113⟨a, b | aaabbba=bbaa⟩Infinite non-cancellative non-commutative monoid
115115⟨a, b | aaabbba=bbba⟩Infinite non-cancellative non-commutative monoid
115118⟨a, b | aabaaab=aaab⟩Infinite non-cancellative non-commutative monoid
115119⟨a, b | aabaaab=aaba⟩Infinite non-cancellative non-commutative monoid
115120⟨a, b | aabaaab=aabb⟩Infinite non-cancellative non-commutative monoid
115121⟨a, b | aabaaab=abaa⟩Infinite non-cancellative non-commutative monoid
115123⟨a, b | aabaaab=abba⟩Infinite non-cancellative non-commutative monoid
115126⟨a, b | aabaaab=baab⟩Infinite non-cancellative non-commutative monoid
115136⟨a, b | aabaaba=aabb⟩Infinite non-cancellative non-commutative monoid
115143⟨a, b | aabaaba=baba⟩Infinite non-cancellative non-commutative monoid
115167⟨a, b | aababaa=aaba⟩Infinite non-cancellative non-commutative monoid
115168⟨a, b | aababaa=aabb⟩Infinite non-cancellative non-commutative monoid
115169⟨a, b | aababaa=abab⟩Infinite non-cancellative non-commutative monoid
115192⟨a, b | aababba=aaab⟩Infinite non-cancellative non-commutative monoid
115194⟨a, b | aababba=aabb⟩Infinite non-cancellative non-commutative monoid
115198⟨a, b | aababba=abbb⟩Infinite non-cancellative non-commutative monoid
115201⟨a, b | aababba=baba⟩Infinite non-cancellative non-commutative monoid
115205⟨a, b | aababba=bbba⟩Infinite non-cancellative non-commutative monoid
115208⟨a, b | aabbaab=aaab⟩Infinite non-cancellative non-commutative monoid
115210⟨a, b | aabbaab=aabb⟩Infinite non-cancellative non-commutative monoid
115213⟨a, b | aabbaab=abba⟩Infinite non-cancellative non-commutative monoid
115216⟨a, b | aabbaab=baab⟩Infinite non-cancellative non-commutative monoid
115224⟨a, b | aabbaba=aaab⟩Infinite non-cancellative non-commutative monoid
115226⟨a, b | aabbaba=aabb⟩Infinite non-cancellative non-commutative monoid
115230⟨a, b | aabbaba=abbb⟩Infinite non-cancellative non-commutative monoid
115233⟨a, b | aabbaba=baba⟩Infinite non-cancellative non-commutative monoid
115237⟨a, b | aabbaba=bbba⟩Infinite non-cancellative non-commutative monoid
115240⟨a, b | aabbbaa=aaab⟩Infinite non-cancellative non-commutative monoid
115241⟨a, b | aabbbaa=aaba⟩Infinite non-cancellative non-commutative monoid
115242⟨a, b | aabbbaa=aabb⟩Infinite non-cancellative non-commutative monoid
115245⟨a, b | aabbbaa=abbb⟩Infinite non-cancellative non-commutative monoid
115268⟨a, b | aabbbba=aabb⟩Infinite non-cancellative non-commutative monoid
115270⟨a, b | aabbbba=abab⟩Infinite non-cancellative non-commutative monoid
115272⟨a, b | aabbbba=abbb⟩Infinite non-cancellative non-commutative monoid
115275⟨a, b | aabbbba=baba⟩Infinite non-cancellative non-commutative monoid
115279⟨a, b | aabbbba=bbba⟩Infinite non-cancellative non-commutative monoid
115282⟨a, b | abaaaab=aaab⟩Infinite non-cancellative non-commutative monoid
115285⟨a, b | abaaaab=abaa⟩Infinite non-cancellative non-commutative monoid
115287⟨a, b | abaaaab=abba⟩Infinite non-cancellative non-commutative monoid
115290⟨a, b | abaaaab=baab⟩Infinite non-cancellative non-commutative monoid
115294⟨a, b | abaaaab=bbab⟩Infinite non-cancellative non-commutative monoid
115299⟨a, b | abaaaba=aaba⟩Infinite non-cancellative non-commutative monoid
115301⟨a, b | abaaaba=abab⟩Infinite non-cancellative non-commutative monoid
115308⟨a, b | abaabab=aaab⟩Infinite non-cancellative non-commutative monoid
115311⟨a, b | abaabab=abaa⟩Infinite non-cancellative non-commutative monoid
115313⟨a, b | abaabab=abba⟩Infinite non-cancellative non-commutative monoid
115314⟨a, b | abaabab=abbb⟩Infinite non-cancellative non-commutative monoid
115316⟨a, b | abaabab=baab⟩Infinite non-cancellative non-commutative monoid
115320⟨a, b | abaabab=bbab⟩Infinite non-cancellative non-commutative monoid
115326⟨a, b | abaabba=aabb⟩Infinite non-cancellative non-commutative monoid
115328⟨a, b | abaabba=abab⟩Infinite non-cancellative non-commutative monoid
115330⟨a, b | abaabba=abbb⟩Infinite non-cancellative non-commutative monoid
115331⟨a, b | abaabba=baaa⟩Infinite non-cancellative non-commutative monoid
115335⟨a, b | abaabba=bbaa⟩Infinite non-cancellative non-commutative monoid
115337⟨a, b | abaabba=bbba⟩Infinite non-cancellative non-commutative monoid
115340⟨a, b | ababaab=aaab⟩Infinite non-cancellative non-commutative monoid
115343⟨a, b | ababaab=abaa⟩Infinite non-cancellative non-commutative monoid
115346⟨a, b | ababaab=abbb⟩Infinite non-cancellative non-commutative monoid
115348⟨a, b | ababaab=baab⟩Infinite non-cancellative non-commutative monoid
115352⟨a, b | ababaab=bbab⟩Infinite non-cancellative non-commutative monoid
115356⟨a, b | abababa=aaab⟩Infinite non-cancellative non-commutative monoid
115357⟨a, b | abababa=aaba⟩Infinite non-cancellative non-commutative monoid
115358⟨a, b | abababa=aabb⟩Infinite non-cancellative non-commutative monoid
115359⟨a, b | abababa=abab⟩Infinite non-cancellative non-commutative monoid
115361⟨a, b | abababa=abbb⟩Infinite non-cancellative non-commutative monoid
115368⟨a, b | ababbba=aabb⟩Infinite non-cancellative non-commutative monoid
115370⟨a, b | ababbba=abab⟩Infinite non-cancellative non-commutative monoid
115372⟨a, b | ababbba=abbb⟩Infinite non-cancellative non-commutative monoid
115377⟨a, b | ababbba=bbaa⟩Infinite non-cancellative non-commutative monoid
115379⟨a, b | ababbba=bbba⟩Infinite non-cancellative non-commutative monoid
115382⟨a, b | abbaaab=aaab⟩Infinite non-cancellative non-commutative monoid
115384⟨a, b | abbaaab=aabb⟩Infinite non-cancellative non-commutative monoid
115385⟨a, b | abbaaab=abaa⟩Infinite non-cancellative non-commutative monoid
115387⟨a, b | abbaaab=abba⟩Infinite non-cancellative non-commutative monoid
115388⟨a, b | abbaaab=abbb⟩Infinite non-cancellative non-commutative monoid
115390⟨a, b | abbaaab=baab⟩Infinite non-cancellative non-commutative monoid
115394⟨a, b | abbaaab=bbab⟩Infinite non-cancellative non-commutative monoid
115403⟨a, b | abbabba=abbb⟩Infinite non-cancellative non-commutative monoid
115411⟨a, b | abbbbba=abab⟩Infinite non-cancellative non-commutative monoid
115413⟨a, b | abbbbba=abbb⟩Infinite non-cancellative non-commutative monoid
115470⟨a, b | aaaaba=aaaab⟩Infinite non-cancellative non-commutative monoid
115487⟨a, b | aaaaba=baaba⟩Infinite non-cancellative non-commutative monoid
115535⟨a, b | aaabaa=aaaba⟩Infinite non-cancellative non-commutative monoid
115600⟨a, b | aaabba=aaabb⟩Infinite non-cancellative non-commutative monoid
115602⟨a, b | aaabba=aabab⟩Infinite non-cancellative non-commutative monoid
115615⟨a, b | aaabba=baaba⟩Infinite non-cancellative non-commutative monoid
115619⟨a, b | aaabba=babba⟩Infinite non-cancellative non-commutative monoid
115646⟨a, b | aabaab=aaaab⟩Infinite non-cancellative non-commutative monoid
115649⟨a, b | aabaab=aabaa⟩Infinite non-cancellative non-commutative monoid
115650⟨a, b | aabaab=aabab⟩Infinite non-cancellative non-commutative monoid
115651⟨a, b | aabaab=aabba⟩Infinite non-cancellative non-commutative monoid
115653⟨a, b | aabaab=abaaa⟩Infinite non-cancellative non-commutative monoid
115654⟨a, b | aabaab=abaab⟩Infinite non-cancellative non-commutative monoid
115662⟨a, b | aabaab=baaab⟩Infinite non-cancellative non-commutative monoid
115670⟨a, b | aabaab=bbaab⟩Infinite non-cancellative non-commutative monoid
115682⟨a, b | aababa=aabab⟩Infinite non-cancellative non-commutative monoid
115695⟨a, b | aababa=baaba⟩Infinite non-cancellative non-commutative monoid
115699⟨a, b | aababa=babba⟩Infinite non-cancellative non-commutative monoid
115731⟨a, b | aabbaa=aabba⟩Infinite non-cancellative non-commutative monoid
115784⟨a, b | aabbba=aabbb⟩Infinite non-cancellative non-commutative monoid
115786⟨a, b | aabbba=abaab⟩Infinite non-cancellative non-commutative monoid
115788⟨a, b | aabbba=ababb⟩Infinite non-cancellative non-commutative monoid
115790⟨a, b | aabbba=abbab⟩Infinite non-cancellative non-commutative monoid
115795⟨a, b | aabbba=baaba⟩Infinite non-cancellative non-commutative monoid
115799⟨a, b | aabbba=babba⟩Infinite non-cancellative non-commutative monoid
115810⟨a, b | abaaab=aaaab⟩Infinite non-cancellative non-commutative monoid
115813⟨a, b | abaaab=aabaa⟩Infinite non-cancellative non-commutative monoid
115817⟨a, b | abaaab=abaaa⟩Infinite non-cancellative non-commutative monoid
115819⟨a, b | abaaab=ababa⟩Infinite non-cancellative non-commutative monoid
115823⟨a, b | abaaab=abbba⟩Infinite non-cancellative non-commutative monoid
115826⟨a, b | abaaab=baaab⟩Infinite non-cancellative non-commutative monoid
115830⟨a, b | abaaab=babab⟩Infinite non-cancellative non-commutative monoid
115834⟨a, b | abaaab=bbaab⟩Infinite non-cancellative non-commutative monoid
115838⟨a, b | abaaab=bbbab⟩Infinite non-cancellative non-commutative monoid
115843⟨a, b | abaaba=aaaba⟩Infinite non-cancellative non-commutative monoid
115845⟨a, b | abaaba=aabaa⟩Infinite non-cancellative non-commutative monoid
115849⟨a, b | abaaba=abaab⟩Infinite non-cancellative non-commutative monoid
115866⟨a, b | ababab=aabab⟩Infinite non-cancellative non-commutative monoid
115868⟨a, b | ababab=abaaa⟩Infinite non-cancellative non-commutative monoid
115870⟨a, b | ababab=ababa⟩Infinite non-cancellative non-commutative monoid
115871⟨a, b | ababab=abbaa⟩Infinite non-cancellative non-commutative monoid
115872⟨a, b | ababab=abbba⟩Infinite non-cancellative non-commutative monoid
115886⟨a, b | ababba=abaab⟩Infinite non-cancellative non-commutative monoid
115888⟨a, b | ababba=ababb⟩Infinite non-cancellative non-commutative monoid
115890⟨a, b | ababba=abbab⟩Infinite non-cancellative non-commutative monoid
115895⟨a, b | ababba=baaba⟩Infinite non-cancellative non-commutative monoid
115899⟨a, b | ababba=babba⟩Infinite non-cancellative non-commutative monoid
115915⟨a, b | abbaab=aabba⟩Infinite non-cancellative non-commutative monoid
115918⟨a, b | abbaab=ababa⟩Infinite non-cancellative non-commutative monoid
115919⟨a, b | abbaab=abbaa⟩Infinite non-cancellative non-commutative monoid
115933⟨a, b | abbbba=abaab⟩Infinite non-cancellative non-commutative monoid
115936⟨a, b | abbbba=abbab⟩Infinite non-cancellative non-commutative monoid
115938⟨a, b | abbbba=abbbb⟩Infinite non-cancellative non-commutative monoid

Solved by morph:2/0

Σ#PresentationDescriptionRelated
8377⟨a, b | aababaa=a⟩Infinite non-cancellative non-commutative monoid1 iso
8401⟨a, b | ababaab=a⟩Infinite non-cancellative non-commutative monoid
8402⟨a, b | ababaab=b⟩Infinite non-cancellative non-commutative monoid1 iso
8546⟨a, b | ababa=aab⟩Infinite non-cancellative non-commutative monoid
8568⟨a, b | abab=aaba⟩Infinite non-cancellative non-commutative monoid
9847⟨a, b | ababaaab=b⟩Infinite non-cancellative non-commutative monoid1 iso
91201⟨a, b | aabaa=abab⟩Infinite non-cancellative non-commutative monoid
101615⟨a, b | aaabaabaa=a⟩Infinite non-cancellative non-commutative monoid1 anti-iso
101723⟨a, b | aabbabbaa=a⟩Infinite non-cancellative non-commutative monoid1 iso
101783⟨a, b | abababaab=a⟩Infinite non-cancellative non-commutative monoid
101784⟨a, b | abababaab=b⟩Infinite non-cancellative non-commutative monoid
102326⟨a, b | ababaab=bab⟩Infinite non-cancellative non-commutative monoid
102330⟨a, b | abababa=aab⟩Infinite non-cancellative non-commutative monoid
102431⟨a, b | aaabaa=baba⟩Infinite non-cancellative non-commutative monoid
102591⟨a, b | ababab=aaba⟩Infinite non-cancellative non-commutative monoid
102710⟨a, b | abbab=ababa⟩Infinite non-cancellative non-commutative monoid
113607⟨a, b | aababbabaa=a⟩Infinite non-cancellative non-commutative monoid
113768⟨a, b | abababaaab=b⟩Infinite non-cancellative non-commutative monoid
114788⟨a, b | abaabaab=bab⟩Infinite non-cancellative non-commutative monoid
114827⟨a, b | abababba=baa⟩Infinite non-cancellative non-commutative monoid
114840⟨a, b | ababbaba=aab⟩Infinite non-cancellative non-commutative monoid
115079⟨a, b | aaabbaa=baba⟩Infinite non-cancellative non-commutative monoid
115137⟨a, b | aabaaba=abaa⟩Infinite non-cancellative non-commutative monoid
115138⟨a, b | aabaaba=abab⟩Infinite non-cancellative non-commutative monoid
115733⟨a, b | aabbaa=abaab⟩Infinite non-cancellative non-commutative monoid

Solved by morph:3/0

Σ#PresentationDescriptionRelated
8476⟨a, b | ababba=ab⟩Infinite non-cancellative non-commutative monoid
9768⟨a, b | aaababaa=a⟩Infinite non-cancellative non-commutative monoid1 iso
9812⟨a, b | aabbaaab=a⟩Infinite non-cancellative non-commutative monoid
9891⟨a, b | aaaabba=ab⟩Infinite non-cancellative non-commutative monoid
9914⟨a, b | aaabbaa=ab⟩Infinite non-cancellative non-commutative monoid
9915⟨a, b | aaabbaa=ba⟩Infinite non-cancellative non-commutative monoid
9945⟨a, b | aababba=ab⟩Infinite non-cancellative non-commutative monoid
9953⟨a, b | aabbaba=ab⟩Infinite non-cancellative non-commutative monoid
9979⟨a, b | abaabba=ab⟩Infinite non-cancellative non-commutative monoid
101729⟨a, b | aabbbaaab=a⟩Infinite non-cancellative non-commutative monoid
101843⟨a, b | aaaaabba=ab⟩Infinite non-cancellative non-commutative monoid
101867⟨a, b | aaaabbaa=ab⟩Infinite non-cancellative non-commutative monoid
101909⟨a, b | aaabbaaa=ab⟩Infinite non-cancellative non-commutative monoid
101940⟨a, b | aabaaaba=ab⟩Infinite non-cancellative non-commutative monoid
101955⟨a, b | aabaabba=ab⟩Infinite non-cancellative non-commutative monoid
101986⟨a, b | aabbaaba=ab⟩Infinite non-cancellative non-commutative monoid
101987⟨a, b | aabbaaba=ba⟩Infinite non-cancellative non-commutative monoid
102031⟨a, b | abaaabba=ab⟩Infinite non-cancellative non-commutative monoid
102076⟨a, b | abbaabba=ab⟩Infinite non-cancellative non-commutative monoid
102483⟨a, b | aabaab=abaa⟩Infinite non-cancellative non-commutative monoid
102572⟨a, b | abaaab=baab⟩Infinite non-cancellative non-commutative monoid
102618⟨a, b | abbaab=aabb⟩Infinite non-cancellative non-commutative monoid
113382⟨a, b | aaaababaaa=a⟩Infinite non-cancellative non-commutative monoid
113563⟨a, b | aabaababaa=a⟩Infinite non-cancellative non-commutative monoid2 iso
113634⟨a, b | aabbaabaab=b⟩Infinite non-cancellative non-commutative monoid
113679⟨a, b | aabbbbaaab=a⟩Infinite non-cancellative non-commutative monoid
113762⟨a, b | ababaabaab=b⟩Infinite non-cancellative non-commutative monoid
113806⟨a, b | abbaabaaab=b⟩Infinite non-cancellative non-commutative monoid
113818⟨a, b | abbabbaaab=b⟩Infinite non-cancellative non-commutative monoid
113881⟨a, b | aaaaabbaa=ab⟩Infinite non-cancellative non-commutative monoid
113920⟨a, b | aaaababba=ab⟩Infinite non-cancellative non-commutative monoid
113928⟨a, b | aaaabbaaa=ab⟩Infinite non-cancellative non-commutative monoid
113976⟨a, b | aaabaabba=ab⟩Infinite non-cancellative non-commutative monoid
113999⟨a, b | aaababbaa=ab⟩Infinite non-cancellative non-commutative monoid
114000⟨a, b | aaababbaa=ba⟩Infinite non-cancellative non-commutative monoid
114010⟨a, b | aaabbaaab=aa⟩Infinite non-cancellative non-commutative monoid
114015⟨a, b | aaabbaaba=ab⟩Infinite non-cancellative non-commutative monoid
114023⟨a, b | aaabbabaa=ab⟩Infinite non-cancellative non-commutative monoid
114031⟨a, b | aaabbabba=ab⟩Infinite non-cancellative non-commutative monoid
114081⟨a, b | aabaaabba=ab⟩Infinite non-cancellative non-commutative monoid
114156⟨a, b | aabbaaaba=ab⟩Infinite non-cancellative non-commutative monoid
114157⟨a, b | aabbaaaba=ba⟩Infinite non-cancellative non-commutative monoid
114168⟨a, b | aabbaabba=ab⟩Infinite non-cancellative non-commutative monoid
114180⟨a, b | aabbabbaa=ab⟩Infinite non-cancellative non-commutative monoid
114237⟨a, b | abaaaabba=ab⟩Infinite non-cancellative non-commutative monoid
114276⟨a, b | abaabbaba=ab⟩Infinite non-cancellative non-commutative monoid
114311⟨a, b | ababbabba=ab⟩Infinite non-cancellative non-commutative monoid
114330⟨a, b | abbaaabba=ab⟩Infinite non-cancellative non-commutative monoid
114335⟨a, b | abbaabaab=bb⟩Infinite non-cancellative non-commutative monoid
114345⟨a, b | abbababba=ab⟩Infinite non-cancellative non-commutative monoid
115134⟨a, b | aabaaba=aaab⟩Infinite non-cancellative non-commutative monoid
115209⟨a, b | aabbaab=aaba⟩Infinite non-cancellative non-commutative monoid
115400⟨a, b | abbabba=aabb⟩Infinite non-cancellative non-commutative monoid
115606⟨a, b | aaabba=abaab⟩Infinite non-cancellative non-commutative monoid
115659⟨a, b | aabaab=abbba⟩Infinite non-cancellative non-commutative monoid
115664⟨a, b | aabaab=baabb⟩Infinite non-cancellative non-commutative monoid
115815⟨a, b | abaaab=aabba⟩Infinite non-cancellative non-commutative monoid
115852⟨a, b | abaaba=abbab⟩Infinite non-cancellative non-commutative monoid
115865⟨a, b | ababab=aabaa⟩Infinite non-cancellative non-commutative monoid

Solved by morph:4/0

Σ#PresentationDescriptionRelated
9922⟨a, b | aaabbba=ab⟩Infinite non-cancellative non-commutative monoid
9957⟨a, b | aabbbaa=ab⟩Infinite non-cancellative non-commutative monoid
9990⟨a, b | ababbba=ab⟩Infinite non-cancellative non-commutative monoid
91082⟨a, b | aabbaa=aab⟩Infinite non-cancellative non-commutative monoid
91228⟨a, b | aabba=abab⟩Infinite non-cancellative non-commutative monoid
91241⟨a, b | abaab=aaba⟩Infinite non-cancellative non-commutative monoid
101709⟨a, b | aabbaaaab=a⟩Infinite non-cancellative non-commutative monoid
101875⟨a, b | aaaabbba=ab⟩Infinite non-cancellative non-commutative monoid
101924⟨a, b | aaabbbaa=ab⟩Infinite non-cancellative non-commutative monoid
101925⟨a, b | aaabbbaa=ba⟩Infinite non-cancellative non-commutative monoid
101978⟨a, b | aababbba=ab⟩Infinite non-cancellative non-commutative monoid
102005⟨a, b | aabbbaba=ab⟩Infinite non-cancellative non-commutative monoid
102009⟨a, b | aabbbbaa=ab⟩Infinite non-cancellative non-commutative monoid
102046⟨a, b | abaabbba=ab⟩Infinite non-cancellative non-commutative monoid
102184⟨a, b | aaabbaa=aab⟩Infinite non-cancellative non-commutative monoid
102209⟨a, b | aabaaab=aba⟩Infinite non-cancellative non-commutative monoid
113501⟨a, b | aaabbabbaa=a⟩Infinite non-cancellative non-commutative monoid1 iso
113662⟨a, b | aabbbaaaab=a⟩Infinite non-cancellative non-commutative monoid
113772⟨a, b | abababbaab=a⟩Infinite non-cancellative non-commutative monoid
113802⟨a, b | abbaaabaab=b⟩Infinite non-cancellative non-commutative monoid
113889⟨a, b | aaaaabbba=ab⟩Infinite non-cancellative non-commutative monoid
113929⟨a, b | aaaabbaaa=ba⟩Infinite non-cancellative non-commutative monoid
113944⟨a, b | aaaabbbaa=ab⟩Infinite non-cancellative non-commutative monoid
113945⟨a, b | aaaabbbaa=ba⟩Infinite non-cancellative non-commutative monoid
114007⟨a, b | aaababbba=ab⟩Infinite non-cancellative non-commutative monoid
114035⟨a, b | aaabbbaaa=ab⟩Infinite non-cancellative non-commutative monoid
114042⟨a, b | aaabbbaba=ab⟩Infinite non-cancellative non-commutative monoid
114066⟨a, b | aabaaaaba=ab⟩Infinite non-cancellative non-commutative monoid
114097⟨a, b | aabaabbaa=ab⟩Infinite non-cancellative non-commutative monoid
114105⟨a, b | aabaabbba=ab⟩Infinite non-cancellative non-commutative monoid
114141⟨a, b | aababbbaa=ba⟩Infinite non-cancellative non-commutative monoid
114187⟨a, b | aabbabbba=ab⟩Infinite non-cancellative non-commutative monoid
114195⟨a, b | aabbbaaba=ab⟩Infinite non-cancellative non-commutative monoid
114196⟨a, b | aabbbaaba=ba⟩Infinite non-cancellative non-commutative monoid
114203⟨a, b | aabbbabba=ab⟩Infinite non-cancellative non-commutative monoid
114253⟨a, b | abaaabbba=ab⟩Infinite non-cancellative non-commutative monoid
114337⟨a, b | abbaabbba=ab⟩Infinite non-cancellative non-commutative monoid
114456⟨a, b | aaaabbaa=aab⟩Infinite non-cancellative non-commutative monoid
114644⟨a, b | aabababa=aab⟩Infinite non-cancellative non-commutative monoid
114813⟨a, b | ababaaab=aba⟩Infinite non-cancellative non-commutative monoid
115074⟨a, b | aaabbaa=abab⟩Infinite non-cancellative non-commutative monoid
115551⟨a, b | aaabaa=baaba⟩Infinite non-cancellative non-commutative monoid
115647⟨a, b | aabaab=aaaba⟩Infinite non-cancellative non-commutative monoid

Solved by morph:5/0

Σ#PresentationDescriptionRelated
8575⟨a, b | abba=abab⟩Infinite non-cancellative non-commutative monoid
9998⟨a, b | abbabba=ab⟩Infinite non-cancellative non-commutative monoid
101587⟨a, b | aaaababaa=a⟩Infinite non-cancellative non-commutative monoid2 iso
101693⟨a, b | aabababaa=a⟩Infinite non-cancellative non-commutative monoid1 iso
101932⟨a, b | aaabbbba=ab⟩Infinite non-cancellative non-commutative monoid
102068⟨a, b | ababbbba=ab⟩Infinite non-cancellative non-commutative monoid
102168⟨a, b | aaababa=aab⟩Infinite non-cancellative non-commutative monoid
102187⟨a, b | aaabbaa=baa⟩Infinite non-cancellative non-commutative monoid
102232⟨a, b | aababaa=aab⟩Infinite non-cancellative non-commutative monoid
102270⟨a, b | aabbbaa=aab⟩Infinite non-cancellative non-commutative monoid
113374⟨a, b | aaaabaabaa=a⟩Infinite non-cancellative non-commutative monoid1 iso
113461⟨a, b | aaabababaa=a⟩Infinite non-cancellative non-commutative monoid1 iso
113482⟨a, b | aaabbaaaab=a⟩Infinite non-cancellative non-commutative monoid
113535⟨a, b | aabaaaaaba=a⟩Infinite non-cancellative non-commutative monoid
113601⟨a, b | aababbaaab=a⟩Infinite non-cancellative non-commutative monoid
113623⟨a, b | aabbaaaaab=a⟩Infinite non-cancellative non-commutative monoid
113784⟨a, b | ababbabaab=b⟩Infinite non-cancellative non-commutative monoid
113857⟨a, b | aaaaaabba=ab⟩Infinite non-cancellative non-commutative monoid
113952⟨a, b | aaaabbbba=ab⟩Infinite non-cancellative non-commutative monoid
114050⟨a, b | aaabbbbaa=ab⟩Infinite non-cancellative non-commutative monoid
114051⟨a, b | aaabbbbaa=ba⟩Infinite non-cancellative non-commutative monoid
114136⟨a, b | aababbaba=ab⟩Infinite non-cancellative non-commutative monoid
114140⟨a, b | aababbbaa=ab⟩Infinite non-cancellative non-commutative monoid
114148⟨a, b | aababbbba=ab⟩Infinite non-cancellative non-commutative monoid
114154⟨a, b | aabbaaaab=bb⟩Infinite non-cancellative non-commutative monoid
114211⟨a, b | aabbbbaba=ab⟩Infinite non-cancellative non-commutative monoid
114215⟨a, b | aabbbbbaa=ab⟩Infinite non-cancellative non-commutative monoid
114280⟨a, b | abaabbbba=ab⟩Infinite non-cancellative non-commutative monoid
114440⟨a, b | aaaababa=aab⟩Infinite non-cancellative non-commutative monoid
114508⟨a, b | aaababaa=aab⟩Infinite non-cancellative non-commutative monoid
114536⟨a, b | aaabbaaa=aab⟩Infinite non-cancellative non-commutative monoid
114566⟨a, b | aaabbbaa=aab⟩Infinite non-cancellative non-commutative monoid
114637⟨a, b | aababaab=aba⟩Infinite non-cancellative non-commutative monoid

Solved by morph:6/0

Σ#PresentationDescriptionRelated
91070⟨a, b | aababa=aab⟩Infinite non-cancellative non-commutative monoid
101868⟨a, b | aaaabbaa=ba⟩Infinite non-cancellative non-commutative monoid
102016⟨a, b | aabbbbba=ab⟩Infinite non-cancellative non-commutative monoid
102082⟨a, b | abbabbba=ab⟩Infinite non-cancellative non-commutative monoid
102171⟨a, b | aaababa=baa⟩Infinite non-cancellative non-commutative monoid
113345⟨a, b | aaaaababaa=a⟩Infinite non-cancellative non-commutative monoid1 iso
114058⟨a, b | aaabbbbba=ab⟩Infinite non-cancellative non-commutative monoid
114292⟨a, b | ababaabba=ab⟩Infinite non-cancellative non-commutative monoid
114322⟨a, b | ababbbbba=ab⟩Infinite non-cancellative non-commutative monoid
114459⟨a, b | aaaabbaa=baa⟩Infinite non-cancellative non-commutative monoid
114511⟨a, b | aaababaa=baa⟩Infinite non-cancellative non-commutative monoid
114569⟨a, b | aaabbbaa=baa⟩Infinite non-cancellative non-commutative monoid
114656⟨a, b | aababbaa=aab⟩Infinite non-cancellative non-commutative monoid
114659⟨a, b | aababbaa=baa⟩Infinite non-cancellative non-commutative monoid
114688⟨a, b | aabbaaba=aab⟩Infinite non-cancellative non-commutative monoid
114732⟨a, b | aabbbbaa=aab⟩Infinite non-cancellative non-commutative monoid
114957⟨a, b | aaaabaa=baba⟩Infinite non-cancellative non-commutative monoid
115015⟨a, b | aaabaaa=abab⟩Infinite non-cancellative non-commutative monoid
115243⟨a, b | aabbbaa=abab⟩Infinite non-cancellative non-commutative monoid

Solved by morph:7/0

Σ#PresentationDescriptionRelated
7220⟨a, b | aabba=ab⟩Infinite non-cancellative non-commutative monoid
8462⟨a, b | aabbba=ab⟩Infinite non-cancellative non-commutative monoid
9964⟨a, b | aabbbba=ab⟩Infinite non-cancellative non-commutative monoid
101997⟨a, b | aabbabba=ab⟩Infinite non-cancellative non-commutative monoid
102065⟨a, b | ababbaba=ab⟩Infinite non-cancellative non-commutative monoid
102723⟨a, b | abbba=abbab⟩Infinite non-cancellative non-commutative monoid
113882⟨a, b | aaaaabbaa=ba⟩Infinite non-cancellative non-commutative monoid
114098⟨a, b | aabaabbaa=ba⟩Infinite non-cancellative non-commutative monoid
114128⟨a, b | aabababba=ab⟩Infinite non-cancellative non-commutative monoid
114169⟨a, b | aabbaabba=ba⟩Infinite non-cancellative non-commutative monoid
114222⟨a, b | aabbbbbba=ab⟩Infinite non-cancellative non-commutative monoid
114356⟨a, b | abbbabbba=ab⟩Infinite non-cancellative non-commutative monoid
114443⟨a, b | aaaababa=baa⟩Infinite non-cancellative non-commutative monoid
114768⟨a, b | abaaabab=aab⟩Infinite non-cancellative non-commutative monoid

Solved by morph:2/1

Σ#PresentationDescriptionRelated
91252⟨a, b | abaab=bbab⟩Infinite non-cancellative non-commutative monoid
102049⟨a, b | ababaaab=aa⟩Infinite non-cancellative non-commutative monoid
102348⟨a, b | abbaaab=bab⟩Infinite non-cancellative non-commutative monoid
102426⟨a, b | aaabaa=abab⟩Infinite non-cancellative non-commutative monoid
102503⟨a, b | aababa=baaa⟩Infinite non-cancellative non-commutative monoid
102576⟨a, b | abaaab=bbab⟩Infinite non-cancellative non-commutative monoid
102580⟨a, b | abaaba=aaab⟩Infinite non-cancellative non-commutative monoid
114794⟨a, b | abaababa=abb⟩Infinite non-cancellative non-commutative monoid
114797⟨a, b | abaababa=bba⟩Infinite non-cancellative non-commutative monoid
114829⟨a, b | abababba=bba⟩Infinite non-cancellative non-commutative monoid
114858⟨a, b | abbaaaab=bab⟩Infinite non-cancellative non-commutative monoid
115199⟨a, b | aababba=baaa⟩Infinite non-cancellative non-commutative monoid
115231⟨a, b | aabbaba=baaa⟩Infinite non-cancellative non-commutative monoid
115491⟨a, b | aaaaba=babba⟩Infinite non-cancellative non-commutative monoid
115542⟨a, b | aaabaa=abaab⟩Infinite non-cancellative non-commutative monoid
115916⟨a, b | abbaab=abaaa⟩Infinite non-cancellative non-commutative monoid

Solved by morph:3/1

Σ#PresentationDescriptionRelated
6112⟨a, b | abba=ab⟩Infinite non-cancellative non-commutative monoid
7221⟨a, b | aabba=ba⟩Infinite non-cancellative non-commutative monoid
8438⟨a, b | aaabba=ba⟩Infinite non-cancellative non-commutative monoid
9954⟨a, b | aabbaba=ba⟩Infinite non-cancellative non-commutative monoid
91112⟨a, b | abaaba=aab⟩Infinite non-cancellative non-commutative monoid
101803⟨a, b | abbaabaab=a⟩Infinite non-cancellative non-commutative monoid
101917⟨a, b | aaabbaba=ba⟩Infinite non-cancellative non-commutative monoid
101998⟨a, b | aabbabba=ba⟩Infinite non-cancellative non-commutative monoid
102006⟨a, b | aabbbaba=ba⟩Infinite non-cancellative non-commutative monoid
113557⟨a, b | aabaabaaab=a⟩Infinite non-cancellative non-commutative monoid
114016⟨a, b | aaabbaaba=ba⟩Infinite non-cancellative non-commutative monoid
114032⟨a, b | aaabbabba=ba⟩Infinite non-cancellative non-commutative monoid
114043⟨a, b | aaabbbaba=ba⟩Infinite non-cancellative non-commutative monoid
114137⟨a, b | aababbaba=ba⟩Infinite non-cancellative non-commutative monoid
114176⟨a, b | aabbababa=ab⟩Infinite non-cancellative non-commutative monoid
114177⟨a, b | aabbababa=ba⟩Infinite non-cancellative non-commutative monoid
114277⟨a, b | abaabbaba=ba⟩Infinite non-cancellative non-commutative monoid
114833⟨a, b | ababbaab=aba⟩Infinite non-cancellative non-commutative monoid
114836⟨a, b | ababbaab=bab⟩Infinite non-cancellative non-commutative monoid
114881⟨a, b | abbbaaab=aba⟩Infinite non-cancellative non-commutative monoid
115610⟨a, b | aaabba=abbab⟩Infinite non-cancellative non-commutative monoid

Solved by morph:4/1

Σ#PresentationDescriptionRelated
7231⟨a, b | abbba=ab⟩Infinite non-cancellative non-commutative monoid
8463⟨a, b | aabbba=ba⟩Infinite non-cancellative non-commutative monoid
9923⟨a, b | aaabbba=ba⟩Infinite non-cancellative non-commutative monoid
9996⟨a, b | abbaaab=bb⟩Infinite non-cancellative non-commutative monoid
91104⟨a, b | abaaab=aab⟩Infinite non-cancellative non-commutative monoid
91105⟨a, b | abaaab=aba⟩Infinite non-cancellative non-commutative monoid
91136⟨a, b | abbbba=abb⟩Infinite non-cancellative non-commutative monoid
101876⟨a, b | aaaabbba=ba⟩Infinite non-cancellative non-commutative monoid
102074⟨a, b | abbaaaab=bb⟩Infinite non-cancellative non-commutative monoid
102286⟨a, b | aabbbba=abb⟩Infinite non-cancellative non-commutative monoid
102289⟨a, b | aabbbba=bba⟩Infinite non-cancellative non-commutative monoid
102307⟨a, b | abaabab=aba⟩Infinite non-cancellative non-commutative monoid
102341⟨a, b | ababbba=bba⟩Infinite non-cancellative non-commutative monoid
102344⟨a, b | abbaaab=aab⟩Infinite non-cancellative non-commutative monoid
114204⟨a, b | aabbbabba=ba⟩Infinite non-cancellative non-commutative monoid
114212⟨a, b | aabbbbaba=ba⟩Infinite non-cancellative non-commutative monoid
114319⟨a, b | ababbbaba=ab⟩Infinite non-cancellative non-commutative monoid
114354⟨a, b | abbbaaaab=bb⟩Infinite non-cancellative non-commutative monoid
114584⟨a, b | aaabbbba=abb⟩Infinite non-cancellative non-commutative monoid
114587⟨a, b | aaabbbba=bba⟩Infinite non-cancellative non-commutative monoid
114677⟨a, b | aababbba=bba⟩Infinite non-cancellative non-commutative monoid
114691⟨a, b | aabbaaba=baa⟩Infinite non-cancellative non-commutative monoid
114734⟨a, b | aabbbbaa=abb⟩Infinite non-cancellative non-commutative monoid
114801⟨a, b | abaabbab=aba⟩Infinite non-cancellative non-commutative monoid
114809⟨a, b | abaabbba=bba⟩Infinite non-cancellative non-commutative monoid
114880⟨a, b | abbbaaab=aab⟩Infinite non-cancellative non-commutative monoid

Solved by morph:5/1

Σ#PresentationDescriptionRelated
8477⟨a, b | ababba=ba⟩Infinite non-cancellative non-commutative monoid
8483⟨a, b | abbbba=ab⟩Infinite non-cancellative non-commutative monoid
9965⟨a, b | aabbbba=ba⟩Infinite non-cancellative non-commutative monoid
101933⟨a, b | aaabbbba=ba⟩Infinite non-cancellative non-commutative monoid
102292⟨a, b | abaaaab=aab⟩Infinite non-cancellative non-commutative monoid
102293⟨a, b | abaaaab=aba⟩Infinite non-cancellative non-commutative monoid
102322⟨a, b | ababaab=aab⟩Infinite non-cancellative non-commutative monoid
102360⟨a, b | abbbbba=abb⟩Infinite non-cancellative non-commutative monoid
102604⟨a, b | ababba=abab⟩Infinite non-cancellative non-commutative monoid
113953⟨a, b | aaaabbbba=ba⟩Infinite non-cancellative non-commutative monoid
114108⟨a, b | aababaaab=aa⟩Infinite non-cancellative non-commutative monoid
114306⟨a, b | ababbaaab=aa⟩Infinite non-cancellative non-commutative monoid
114328⟨a, b | abbaaaaab=bb⟩Infinite non-cancellative non-commutative monoid
114348⟨a, b | abbabbbba=ab⟩Infinite non-cancellative non-commutative monoid
114751⟨a, b | aabbbbba=bba⟩Infinite non-cancellative non-commutative monoid
114769⟨a, b | abaaabab=aba⟩Infinite non-cancellative non-commutative monoid
114792⟨a, b | abaababa=aab⟩Infinite non-cancellative non-commutative monoid
114851⟨a, b | ababbbba=bba⟩Infinite non-cancellative non-commutative monoid
114854⟨a, b | abbaaaab=aab⟩Infinite non-cancellative non-commutative monoid
115392⟨a, b | abbaaab=babb⟩Infinite non-cancellative non-commutative monoid

Solved by morph:6/1

Σ#PresentationDescriptionRelated
9851⟨a, b | ababbaab=a⟩Infinite non-cancellative non-commutative monoid
9892⟨a, b | aaaabba=ba⟩Infinite non-cancellative non-commutative monoid
9946⟨a, b | aababba=ba⟩Infinite non-cancellative non-commutative monoid
9980⟨a, b | abaabba=ba⟩Infinite non-cancellative non-commutative monoid
9991⟨a, b | ababbba=ba⟩Infinite non-cancellative non-commutative monoid
91001⟨a, b | abbbbba=ab⟩Infinite non-cancellative non-commutative monoid
91131⟨a, b | abbaab=aba⟩Infinite non-cancellative non-commutative monoid
101793⟨a, b | ababbbaab=a⟩Infinite non-cancellative non-commutative monoid
102017⟨a, b | aabbbbba=ba⟩Infinite non-cancellative non-commutative monoid
102701⟨a, b | abbaa=abaab⟩Infinite non-cancellative non-commutative monoid
114059⟨a, b | aaabbbbba=ba⟩Infinite non-cancellative non-commutative monoid
114754⟨a, b | abaaaaab=aab⟩Infinite non-cancellative non-commutative monoid
114755⟨a, b | abaaaaab=aba⟩Infinite non-cancellative non-commutative monoid
114812⟨a, b | ababaaab=aab⟩Infinite non-cancellative non-commutative monoid
114832⟨a, b | ababbaab=aab⟩Infinite non-cancellative non-commutative monoid
114868⟨a, b | abbabaab=aab⟩Infinite non-cancellative non-commutative monoid
114886⟨a, b | abbbbbba=abb⟩Infinite non-cancellative non-commutative monoid

Solved by morph:7/1

Σ#PresentationDescriptionRelated
101844⟨a, b | aaaaabba=ba⟩Infinite non-cancellative non-commutative monoid
101903⟨a, b | aaababba=ba⟩Infinite non-cancellative non-commutative monoid
101956⟨a, b | aabaabba=ba⟩Infinite non-cancellative non-commutative monoid
101979⟨a, b | aababbba=ba⟩Infinite non-cancellative non-commutative monoid
102032⟨a, b | abaaabba=ba⟩Infinite non-cancellative non-commutative monoid
102047⟨a, b | abaabbba=ba⟩Infinite non-cancellative non-commutative monoid
102058⟨a, b | abababba=ba⟩Infinite non-cancellative non-commutative monoid
102069⟨a, b | ababbbba=ba⟩Infinite non-cancellative non-commutative monoid
102083⟨a, b | abbabbba=ba⟩Infinite non-cancellative non-commutative monoid
102089⟨a, b | abbbbbba=ab⟩Infinite non-cancellative non-commutative monoid
113791⟨a, b | ababbbbaab=a⟩Infinite non-cancellative non-commutative monoid
114223⟨a, b | aabbbbbba=ba⟩Infinite non-cancellative non-commutative monoid

Solved by morph:2/2

Σ#PresentationDescriptionRelated
114708⟨a, b | aabbabba=aab⟩Infinite non-cancellative non-commutative monoid
115203⟨a, b | aababba=bbaa⟩Infinite non-cancellative non-commutative monoid
115235⟨a, b | aabbaba=bbaa⟩Infinite non-cancellative non-commutative monoid

Solved by morph:3/2

Σ#PresentationDescriptionRelated
8479⟨a, b | abbaab=aa⟩Infinite non-cancellative non-commutative monoid
9993⟨a, b | abbaaab=aa⟩Infinite non-cancellative non-commutative monoid
101789⟨a, b | ababbaaab=a⟩Infinite non-cancellative non-commutative monoid
102343⟨a, b | abbaaab=aaa⟩Infinite non-cancellative non-commutative monoid
113741⟨a, b | abaabbaaab=a⟩Infinite non-cancellative non-commutative monoid
113778⟨a, b | ababbaaaab=a⟩Infinite non-cancellative non-commutative monoid
113858⟨a, b | aaaaaabba=ba⟩Infinite non-cancellative non-commutative monoid
113937⟨a, b | aaaabbaba=ba⟩Infinite non-cancellative non-commutative monoid
114325⟨a, b | abbaaaaab=aa⟩Infinite non-cancellative non-commutative monoid
114853⟨a, b | abbaaaab=aaa⟩Infinite non-cancellative non-commutative monoid

Solved by morph:4/2

Σ#PresentationDescriptionRelated
102078⟨a, b | abbabaab=aa⟩Infinite non-cancellative non-commutative monoid
102246⟨a, b | aababba=aab⟩Infinite non-cancellative non-commutative monoid
102345⟨a, b | abbaaab=aba⟩Infinite non-cancellative non-commutative monoid
113787⟨a, b | ababbbaaab=a⟩Infinite non-cancellative non-commutative monoid
113890⟨a, b | aaaaabbba=ba⟩Infinite non-cancellative non-commutative monoid
113921⟨a, b | aaaababba=ba⟩Infinite non-cancellative non-commutative monoid
113977⟨a, b | aaabaabba=ba⟩Infinite non-cancellative non-commutative monoid
114082⟨a, b | aabaaabba=ba⟩Infinite non-cancellative non-commutative monoid
114238⟨a, b | abaaaabba=ba⟩Infinite non-cancellative non-commutative monoid
114672⟨a, b | aababbba=aab⟩Infinite non-cancellative non-commutative monoid
114679⟨a, b | aabbaaab=aaa⟩Infinite non-cancellative non-commutative monoid
115333⟨a, b | abaabba=baba⟩Infinite non-cancellative non-commutative monoid
115821⟨a, b | abaaab=abbaa⟩Infinite non-cancellative non-commutative monoid

Solved by morph:5/2

Σ#PresentationDescriptionRelated
102262⟨a, b | aabbaba=aab⟩Infinite non-cancellative non-commutative monoid
114008⟨a, b | aaababbba=ba⟩Infinite non-cancellative non-commutative monoid
114106⟨a, b | aabaabbba=ba⟩Infinite non-cancellative non-commutative monoid
114129⟨a, b | aabababba=ba⟩Infinite non-cancellative non-commutative monoid
114254⟨a, b | abaaabbba=ba⟩Infinite non-cancellative non-commutative monoid
114269⟨a, b | abaababba=ba⟩Infinite non-cancellative non-commutative monoid
114293⟨a, b | ababaabba=ba⟩Infinite non-cancellative non-commutative monoid
114343⟨a, b | abbabaaab=bb⟩Infinite non-cancellative non-commutative monoid
114591⟨a, b | aabaaaab=aba⟩Infinite non-cancellative non-commutative monoid
114855⟨a, b | abbaaaab=aba⟩Infinite non-cancellative non-commutative monoid
115345⟨a, b | ababaab=abba⟩Infinite non-cancellative non-commutative monoid

Solved by morph:6/2

Σ#PresentationDescriptionRelated
91245⟨a, b | abaab=abba⟩Infinite non-cancellative non-commutative monoid
114149⟨a, b | aababbbba=ba⟩Infinite non-cancellative non-commutative monoid
114188⟨a, b | aabbabbba=ba⟩Infinite non-cancellative non-commutative monoid
114281⟨a, b | abaabbbba=ba⟩Infinite non-cancellative non-commutative monoid
114304⟨a, b | abababbba=ba⟩Infinite non-cancellative non-commutative monoid
114312⟨a, b | ababbabba=ba⟩Infinite non-cancellative non-commutative monoid
114338⟨a, b | abbaabbba=ba⟩Infinite non-cancellative non-commutative monoid
114553⟨a, b | aaabbaba=baa⟩Infinite non-cancellative non-commutative monoid
114724⟨a, b | aabbbaba=aab⟩Infinite non-cancellative non-commutative monoid

Solved by morph:7/2

Σ#PresentationDescriptionRelated
114323⟨a, b | ababbbbba=ba⟩Infinite non-cancellative non-commutative monoid
114349⟨a, b | abbabbbba=ba⟩Infinite non-cancellative non-commutative monoid

Solved by morph:2/3

Σ#PresentationDescriptionRelated
102071⟨a, b | abbaaaab=aa⟩Infinite non-cancellative non-commutative monoid

Solved by morph:3/3

Σ#PresentationDescriptionRelated
102085⟨a, b | abbbaaab=aa⟩Infinite non-cancellative non-commutative monoid
114351⟨a, b | abbbaaaab=aa⟩Infinite non-cancellative non-commutative monoid
114879⟨a, b | abbbaaab=aaa⟩Infinite non-cancellative non-commutative monoid

Solved by morph:4/3

Σ#PresentationDescriptionRelated
102559⟨a, b | aabbba=bbaa⟩Infinite non-cancellative non-commutative monoid
115211⟨a, b | aabbaab=abaa⟩Infinite non-cancellative non-commutative monoid

Solved by morph:5/3

Σ#PresentationDescriptionRelated
102557⟨a, b | aabbba=baba⟩Infinite non-cancellative non-commutative monoid

Solved by morph:6/3

Σ#PresentationDescriptionRelated
115686⟨a, b | aababa=abaab⟩Infinite non-cancellative non-commutative monoid
115920⟨a, b | abbaab=abbba⟩Infinite non-cancellative non-commutative monoid

Solved by morph:3/4

Σ#PresentationDescriptionRelated
114332⟨a, b | abbaabaab=aa⟩Infinite non-cancellative non-commutative monoid

Solved by morph:4/4

Σ#PresentationDescriptionRelated
115228⟨a, b | aabbaba=abab⟩Infinite non-cancellative non-commutative monoid