Infinite non-commutative monoids, one auxiliary generator

Up:Monoids with two generators and one relation

418 unique, 421 total

Solved by magic:0

Σ#PresentationDescriptionRelated
552⟨a, b | aba=ab⟩Infinite non-commutative monoid
6102⟨a, b | aaba=ab⟩Infinite non-commutative monoid
6103⟨a, b | aaba=ba⟩Infinite non-commutative monoid
6110⟨a, b | abab=ba⟩Infinite non-commutative monoid
6123⟨a, b | bab=aba⟩Infinite non-commutative monoid
7205⟨a, b | aaaba=ab⟩Infinite non-commutative monoid
7206⟨a, b | aaaba=ba⟩Infinite non-commutative monoid
7213⟨a, b | aabaa=ab⟩Infinite non-commutative monoid
7228⟨a, b | ababa=ab⟩Infinite non-commutative monoid
7248⟨a, b | aaba=aab⟩Infinite non-commutative monoid
7260⟨a, b | abab=aab⟩Infinite non-commutative monoid
7261⟨a, b | abab=aba⟩Infinite non-commutative monoid
7266⟨a, b | abba=abb⟩Infinite non-commutative monoid
8421⟨a, b | aaaaba=ab⟩Infinite non-commutative monoid
8422⟨a, b | aaaaba=ba⟩Infinite non-commutative monoid
8429⟨a, b | aaabaa=ab⟩Infinite non-commutative monoid
8430⟨a, b | aaabaa=ba⟩Infinite non-commutative monoid
8437⟨a, b | aaabba=ab⟩Infinite non-commutative monoid
8445⟨a, b | aabaab=ba⟩Infinite non-commutative monoid
8448⟨a, b | aababa=ab⟩Infinite non-commutative monoid
8449⟨a, b | aababa=ba⟩Infinite non-commutative monoid
8455⟨a, b | aabbaa=ab⟩Infinite non-commutative monoid
8470⟨a, b | abaaba=ab⟩Infinite non-commutative monoid
8474⟨a, b | ababab=ba⟩Infinite non-commutative monoid
8500⟨a, b | aaaba=aab⟩Infinite non-commutative monoid
8516⟨a, b | aabaa=aab⟩Infinite non-commutative monoid
8530⟨a, b | aabba=aab⟩Infinite non-commutative monoid
8532⟨a, b | aabba=abb⟩Infinite non-commutative monoid
8535⟨a, b | aabba=bba⟩Infinite non-commutative monoid
8538⟨a, b | abaab=aab⟩Infinite non-commutative monoid
8539⟨a, b | abaab=aba⟩Infinite non-commutative monoid
8540⟨a, b | abaab=abb⟩Infinite non-commutative monoid
8541⟨a, b | abaab=baa⟩Infinite non-commutative monoid
8542⟨a, b | abaab=bab⟩Infinite non-commutative monoid
8548⟨a, b | ababa=abb⟩Infinite non-commutative monoid
8549⟨a, b | ababa=bab⟩Infinite non-commutative monoid
8554⟨a, b | abbba=abb⟩Infinite non-commutative monoid
8570⟨a, b | abab=abaa⟩Infinite non-commutative monoid
8586⟨a, b | baab=aaba⟩Infinite non-commutative monoid
8587⟨a, b | baab=abba⟩Infinite non-commutative monoid
8589⟨a, b | baba=abab⟩Infinite non-commutative monoid
9875⟨a, b | aaaaaba=ab⟩Infinite non-commutative monoid
9876⟨a, b | aaaaaba=ba⟩Infinite non-commutative monoid
9883⟨a, b | aaaabaa=ab⟩Infinite non-commutative monoid
9884⟨a, b | aaaabaa=ba⟩Infinite non-commutative monoid
9899⟨a, b | aaabaaa=ab⟩Infinite non-commutative monoid
9906⟨a, b | aaababa=ab⟩Infinite non-commutative monoid
9907⟨a, b | aaababa=ba⟩Infinite non-commutative monoid
9930⟨a, b | aabaaba=ab⟩Infinite non-commutative monoid
9931⟨a, b | aabaaba=ba⟩Infinite non-commutative monoid
9938⟨a, b | aababaa=ab⟩Infinite non-commutative monoid
9972⟨a, b | abaaaba=ab⟩Infinite non-commutative monoid
9976⟨a, b | abaabab=ba⟩Infinite non-commutative monoid
9987⟨a, b | abababa=ab⟩Infinite non-commutative monoid
91018⟨a, b | aaaaba=aab⟩Infinite non-commutative monoid
91034⟨a, b | aaabaa=aab⟩Infinite non-commutative monoid
91037⟨a, b | aaabaa=baa⟩Infinite non-commutative monoid
91050⟨a, b | aaabba=aab⟩Infinite non-commutative monoid
91052⟨a, b | aaabba=abb⟩Infinite non-commutative monoid
91055⟨a, b | aaabba=bba⟩Infinite non-commutative monoid
91063⟨a, b | aabaab=aba⟩Infinite non-commutative monoid
91065⟨a, b | aabaab=baa⟩Infinite non-commutative monoid
91072⟨a, b | aababa=abb⟩Infinite non-commutative monoid
91075⟨a, b | aababa=bba⟩Infinite non-commutative monoid
91084⟨a, b | aabbaa=abb⟩Infinite non-commutative monoid
91096⟨a, b | aabbba=aab⟩Infinite non-commutative monoid
91098⟨a, b | aabbba=abb⟩Infinite non-commutative monoid
91101⟨a, b | aabbba=bba⟩Infinite non-commutative monoid
91106⟨a, b | abaaab=abb⟩Infinite non-commutative monoid
91107⟨a, b | abaaab=baa⟩Infinite non-commutative monoid
91108⟨a, b | abaaab=bab⟩Infinite non-commutative monoid
91114⟨a, b | abaaba=abb⟩Infinite non-commutative monoid
91118⟨a, b | ababab=aab⟩Infinite non-commutative monoid
91119⟨a, b | ababab=aba⟩Infinite non-commutative monoid
91124⟨a, b | ababba=abb⟩Infinite non-commutative monoid
91125⟨a, b | ababba=baa⟩Infinite non-commutative monoid
91127⟨a, b | ababba=bba⟩Infinite non-commutative monoid
91130⟨a, b | abbaab=aab⟩Infinite non-commutative monoid
91132⟨a, b | abbaab=baa⟩Infinite non-commutative monoid
91166⟨a, b | aaaba=aaab⟩Infinite non-commutative monoid
91175⟨a, b | aaaba=baba⟩Infinite non-commutative monoid
91199⟨a, b | aabaa=aaba⟩Infinite non-commutative monoid
91226⟨a, b | aabba=aabb⟩Infinite non-commutative monoid
91232⟨a, b | aabba=baab⟩Infinite non-commutative monoid
91233⟨a, b | aabba=baba⟩Infinite non-commutative monoid
91240⟨a, b | abaab=aaab⟩Infinite non-commutative monoid
91243⟨a, b | abaab=abaa⟩Infinite non-commutative monoid
91248⟨a, b | abaab=baab⟩Infinite non-commutative monoid
91257⟨a, b | ababa=aaba⟩Infinite non-commutative monoid
91259⟨a, b | ababa=abab⟩Infinite non-commutative monoid
91269⟨a, b | abbba=abab⟩Infinite non-commutative monoid
91271⟨a, b | abbba=abbb⟩Infinite non-commutative monoid
91272⟨a, b | abbba=baab⟩Infinite non-commutative monoid
91273⟨a, b | abbba=babb⟩Infinite non-commutative monoid
101827⟨a, b | aaaaaaba=ab⟩Infinite non-commutative monoid
101828⟨a, b | aaaaaaba=ba⟩Infinite non-commutative monoid
101835⟨a, b | aaaaabaa=ab⟩Infinite non-commutative monoid
101836⟨a, b | aaaaabaa=ba⟩Infinite non-commutative monoid
101851⟨a, b | aaaabaaa=ab⟩Infinite non-commutative monoid
101852⟨a, b | aaaabaaa=ba⟩Infinite non-commutative monoid
101859⟨a, b | aaaababa=ab⟩Infinite non-commutative monoid
101860⟨a, b | aaaababa=ba⟩Infinite non-commutative monoid
101883⟨a, b | aaabaaab=ba⟩Infinite non-commutative monoid
101886⟨a, b | aaabaaba=ab⟩Infinite non-commutative monoid
101887⟨a, b | aaabaaba=ba⟩Infinite non-commutative monoid
101894⟨a, b | aaababaa=ab⟩Infinite non-commutative monoid
101895⟨a, b | aaababaa=ba⟩Infinite non-commutative monoid
101902⟨a, b | aaababba=ab⟩Infinite non-commutative monoid
101916⟨a, b | aaabbaba=ab⟩Infinite non-commutative monoid
101941⟨a, b | aabaaaba=ba⟩Infinite non-commutative monoid
101948⟨a, b | aabaabaa=ab⟩Infinite non-commutative monoid
101960⟨a, b | aababaab=ba⟩Infinite non-commutative monoid
101963⟨a, b | aabababa=ab⟩Infinite non-commutative monoid
101964⟨a, b | aabababa=ba⟩Infinite non-commutative monoid
101970⟨a, b | aababbaa=ab⟩Infinite non-commutative monoid
101971⟨a, b | aababbaa=ba⟩Infinite non-commutative monoid
102024⟨a, b | abaaaaba=ab⟩Infinite non-commutative monoid
102028⟨a, b | abaaabab=ba⟩Infinite non-commutative monoid
102039⟨a, b | abaababa=ab⟩Infinite non-commutative monoid
102040⟨a, b | abaababa=ba⟩Infinite non-commutative monoid
102055⟨a, b | abababab=ba⟩Infinite non-commutative monoid
102106⟨a, b | aaaaaba=aab⟩Infinite non-commutative monoid
102122⟨a, b | aaaabaa=aab⟩Infinite non-commutative monoid
102125⟨a, b | aaaabaa=baa⟩Infinite non-commutative monoid
102138⟨a, b | aaaabba=aab⟩Infinite non-commutative monoid
102140⟨a, b | aaaabba=abb⟩Infinite non-commutative monoid
102143⟨a, b | aaaabba=bba⟩Infinite non-commutative monoid
102154⟨a, b | aaabaaa=aab⟩Infinite non-commutative monoid
102170⟨a, b | aaababa=abb⟩Infinite non-commutative monoid
102173⟨a, b | aaababa=bba⟩Infinite non-commutative monoid
102186⟨a, b | aaabbaa=abb⟩Infinite non-commutative monoid
102189⟨a, b | aaabbaa=bba⟩Infinite non-commutative monoid
102200⟨a, b | aaabbba=aab⟩Infinite non-commutative monoid
102202⟨a, b | aaabbba=abb⟩Infinite non-commutative monoid
102205⟨a, b | aaabbba=bba⟩Infinite non-commutative monoid
102211⟨a, b | aabaaab=baa⟩Infinite non-commutative monoid
102216⟨a, b | aabaaba=aab⟩Infinite non-commutative monoid
102218⟨a, b | aabaaba=abb⟩Infinite non-commutative monoid
102219⟨a, b | aabaaba=baa⟩Infinite non-commutative monoid
102221⟨a, b | aabaaba=bba⟩Infinite non-commutative monoid
102234⟨a, b | aababaa=abb⟩Infinite non-commutative monoid
102248⟨a, b | aababba=abb⟩Infinite non-commutative monoid
102251⟨a, b | aababba=bba⟩Infinite non-commutative monoid
102259⟨a, b | aabbaab=bba⟩Infinite non-commutative monoid
102264⟨a, b | aabbaba=abb⟩Infinite non-commutative monoid
102267⟨a, b | aabbaba=bba⟩Infinite non-commutative monoid
102272⟨a, b | aabbbaa=abb⟩Infinite non-commutative monoid
102284⟨a, b | aabbbba=aab⟩Infinite non-commutative monoid
102294⟨a, b | abaaaab=abb⟩Infinite non-commutative monoid
102296⟨a, b | abaaaab=bab⟩Infinite non-commutative monoid
102302⟨a, b | abaaaba=abb⟩Infinite non-commutative monoid
102303⟨a, b | abaaaba=bab⟩Infinite non-commutative monoid
102306⟨a, b | abaabab=aab⟩Infinite non-commutative monoid
102308⟨a, b | abaabab=abb⟩Infinite non-commutative monoid
102309⟨a, b | abaabab=baa⟩Infinite non-commutative monoid
102310⟨a, b | abaabab=bab⟩Infinite non-commutative monoid
102314⟨a, b | abaabba=aab⟩Infinite non-commutative monoid
102316⟨a, b | abaabba=abb⟩Infinite non-commutative monoid
102319⟨a, b | abaabba=bba⟩Infinite non-commutative monoid
102323⟨a, b | ababaab=aba⟩Infinite non-commutative monoid
102324⟨a, b | ababaab=abb⟩Infinite non-commutative monoid
102325⟨a, b | ababaab=baa⟩Infinite non-commutative monoid
102332⟨a, b | abababa=abb⟩Infinite non-commutative monoid
102336⟨a, b | ababbba=aab⟩Infinite non-commutative monoid
102338⟨a, b | ababbba=abb⟩Infinite non-commutative monoid
102339⟨a, b | ababbba=baa⟩Infinite non-commutative monoid
102346⟨a, b | abbaaab=abb⟩Infinite non-commutative monoid
102347⟨a, b | abbaaab=baa⟩Infinite non-commutative monoid
102349⟨a, b | abbaaab=bba⟩Infinite non-commutative monoid
102352⟨a, b | abbabba=aab⟩Infinite non-commutative monoid
102354⟨a, b | abbabba=abb⟩Infinite non-commutative monoid
102355⟨a, b | abbabba=bab⟩Infinite non-commutative monoid
102390⟨a, b | aaaaba=aaab⟩Infinite non-commutative monoid
102399⟨a, b | aaaaba=baba⟩Infinite non-commutative monoid
102422⟨a, b | aaabaa=aaab⟩Infinite non-commutative monoid
102423⟨a, b | aaabaa=aaba⟩Infinite non-commutative monoid
102425⟨a, b | aaabaa=abaa⟩Infinite non-commutative monoid
102454⟨a, b | aaabba=aaab⟩Infinite non-commutative monoid
102456⟨a, b | aaabba=aabb⟩Infinite non-commutative monoid
102458⟨a, b | aaabba=abab⟩Infinite non-commutative monoid
102463⟨a, b | aaabba=baba⟩Infinite non-commutative monoid
102480⟨a, b | aabaab=aaab⟩Infinite non-commutative monoid
102481⟨a, b | aabaab=aaba⟩Infinite non-commutative monoid
102482⟨a, b | aabaab=aabb⟩Infinite non-commutative monoid
102485⟨a, b | aabaab=abba⟩Infinite non-commutative monoid
102488⟨a, b | aabaab=baab⟩Infinite non-commutative monoid
102489⟨a, b | aabaab=baba⟩Infinite non-commutative monoid
102498⟨a, b | aababa=aabb⟩Infinite non-commutative monoid
102500⟨a, b | aababa=abab⟩Infinite non-commutative monoid
102504⟨a, b | aababa=baab⟩Infinite non-commutative monoid
102505⟨a, b | aababa=baba⟩Infinite non-commutative monoid
102522⟨a, b | aabbaa=aaab⟩Infinite non-commutative monoid
102523⟨a, b | aabbaa=aaba⟩Infinite non-commutative monoid
102524⟨a, b | aabbaa=aabb⟩Infinite non-commutative monoid
102525⟨a, b | aabbaa=abab⟩Infinite non-commutative monoid
102550⟨a, b | aabbba=aabb⟩Infinite non-commutative monoid
102552⟨a, b | aabbba=abab⟩Infinite non-commutative monoid
102554⟨a, b | aabbba=abbb⟩Infinite non-commutative monoid
102561⟨a, b | aabbba=bbba⟩Infinite non-commutative monoid
102564⟨a, b | abaaab=aaab⟩Infinite non-commutative monoid
102567⟨a, b | abaaab=abaa⟩Infinite non-commutative monoid
102569⟨a, b | abaaab=abba⟩Infinite non-commutative monoid
102571⟨a, b | abaaab=baaa⟩Infinite non-commutative monoid
102573⟨a, b | abaaab=baba⟩Infinite non-commutative monoid
102581⟨a, b | abaaba=aaba⟩Infinite non-commutative monoid
102583⟨a, b | abaaba=abab⟩Infinite non-commutative monoid
102586⟨a, b | abaaba=baab⟩Infinite non-commutative monoid
102590⟨a, b | ababab=aaab⟩Infinite non-commutative monoid
102593⟨a, b | ababab=abaa⟩Infinite non-commutative monoid
102602⟨a, b | ababba=aabb⟩Infinite non-commutative monoid
102606⟨a, b | ababba=abbb⟩Infinite non-commutative monoid
102611⟨a, b | ababba=bbaa⟩Infinite non-commutative monoid
102612⟨a, b | ababba=bbab⟩Infinite non-commutative monoid
102613⟨a, b | ababba=bbba⟩Infinite non-commutative monoid
102616⟨a, b | abbaab=aaab⟩Infinite non-commutative monoid
102619⟨a, b | abbaab=abaa⟩Infinite non-commutative monoid
102621⟨a, b | abbaab=abba⟩Infinite non-commutative monoid
102629⟨a, b | abbbba=abab⟩Infinite non-commutative monoid
102631⟨a, b | abbbba=abbb⟩Infinite non-commutative monoid
102632⟨a, b | abbbba=baab⟩Infinite non-commutative monoid
102673⟨a, b | abaab=aabaa⟩Infinite non-commutative monoid
102677⟨a, b | abaab=abaaa⟩Infinite non-commutative monoid
102686⟨a, b | ababa=abaab⟩Infinite non-commutative monoid
102708⟨a, b | abbab=abaaa⟩Infinite non-commutative monoid
102711⟨a, b | abbab=abbaa⟩Infinite non-commutative monoid
102720⟨a, b | abbba=abaab⟩Infinite non-commutative monoid
102743⟨a, b | baaab=aabaa⟩Infinite non-commutative monoid
102744⟨a, b | baaab=aabba⟩Infinite non-commutative monoid
102745⟨a, b | baaab=ababa⟩Infinite non-commutative monoid
102746⟨a, b | baaab=abbba⟩Infinite non-commutative monoid
102752⟨a, b | baaba=abbab⟩Infinite non-commutative monoid
102759⟨a, b | baabb=abbaa⟩Infinite non-commutative monoid
102767⟨a, b | babab=ababa⟩Infinite non-commutative monoid

Solved by frequency:2/0

Σ#PresentationDescriptionRelated
8377⟨a, b | aababaa=a⟩Infinite non-commutative monoid
8395⟨a, b | abaaaba=a⟩Infinite non-commutative monoid
8401⟨a, b | ababaab=a⟩Infinite non-commutative monoid
8402⟨a, b | ababaab=b⟩Infinite non-commutative monoid
8546⟨a, b | ababa=aab⟩Infinite non-commutative monoid
8568⟨a, b | abab=aaba⟩Infinite non-commutative monoid
9847⟨a, b | ababaaab=b⟩Infinite non-commutative monoid
91120⟨a, b | ababab=baa⟩Infinite non-commutative monoid
91201⟨a, b | aabaa=abab⟩Infinite non-commutative monoid
91252⟨a, b | abaab=bbab⟩Infinite non-commutative monoid
101615⟨a, b | aaabaabaa=a⟩Infinite non-commutative monoid1 iso
101712⟨a, b | aabbaaaba=b⟩Infinite non-commutative monoid
101723⟨a, b | aabbabbaa=a⟩Infinite non-commutative monoid
101757⟨a, b | abaaababa=a⟩Infinite non-commutative monoid
101764⟨a, b | abaabaaab=b⟩Infinite non-commutative monoid
101784⟨a, b | abababaab=b⟩Infinite non-commutative monoid
101801⟨a, b | abbaaabba=a⟩Infinite non-commutative monoid
102049⟨a, b | ababaaab=aa⟩Infinite non-commutative monoid
102311⟨a, b | abaabab=bba⟩Infinite non-commutative monoid
102318⟨a, b | abaabba=bab⟩Infinite non-commutative monoid
102326⟨a, b | ababaab=bab⟩Infinite non-commutative monoid
102327⟨a, b | ababaab=bba⟩Infinite non-commutative monoid
102330⟨a, b | abababa=aab⟩Infinite non-commutative monoid
102348⟨a, b | abbaaab=bab⟩Infinite non-commutative monoid
102426⟨a, b | aaabaa=abab⟩Infinite non-commutative monoid
102431⟨a, b | aaabaa=baba⟩Infinite non-commutative monoid
102576⟨a, b | abaaab=bbab⟩Infinite non-commutative monoid
102591⟨a, b | ababab=aaba⟩Infinite non-commutative monoid
102597⟨a, b | ababab=baba⟩Infinite non-commutative monoid
102598⟨a, b | ababab=bbaa⟩Infinite non-commutative monoid
102618⟨a, b | abbaab=aabb⟩Infinite non-commutative monoid
102710⟨a, b | abbab=ababa⟩Infinite non-commutative monoid

Solved by frequency:2/1

Σ#PresentationDescriptionRelated
101783⟨a, b | abababaab=a⟩Infinite non-commutative monoid
102503⟨a, b | aababa=baaa⟩Infinite non-commutative monoid
102580⟨a, b | abaaba=aaab⟩Infinite non-commutative monoid

Solved by frequency:2/2

Σ#PresentationDescriptionRelated
101693⟨a, b | aabababaa=a⟩Infinite non-commutative monoid

Solved by frequency:2/3

Σ#PresentationDescriptionRelated
8479⟨a, b | abbaab=aa⟩Infinite non-commutative monoid
9812⟨a, b | aabbaaab=a⟩Infinite non-commutative monoid
9993⟨a, b | abbaaab=aa⟩Infinite non-commutative monoid
91245⟨a, b | abaab=abba⟩Infinite non-commutative monoid
101709⟨a, b | aabbaaaab=a⟩Infinite non-commutative monoid
102071⟨a, b | abbaaaab=aa⟩Infinite non-commutative monoid
102343⟨a, b | abbaaab=aaa⟩Infinite non-commutative monoid
102556⟨a, b | aabbba=baab⟩Infinite non-commutative monoid

Solved by frequency:3/0

Σ#PresentationDescriptionRelated
6112⟨a, b | abba=ab⟩Infinite non-commutative monoid
7220⟨a, b | aabba=ab⟩Infinite non-commutative monoid
7221⟨a, b | aabba=ba⟩Infinite non-commutative monoid
7225⟨a, b | abaab=ba⟩Infinite non-commutative monoid
8438⟨a, b | aaabba=ba⟩Infinite non-commutative monoid
8476⟨a, b | ababba=ab⟩Infinite non-commutative monoid
9768⟨a, b | aaababaa=a⟩Infinite non-commutative monoid
9860⟨a, b | abbaabba=b⟩Infinite non-commutative monoid1 iso
9891⟨a, b | aaaabba=ab⟩Infinite non-commutative monoid
9914⟨a, b | aaabbaa=ab⟩Infinite non-commutative monoid
9915⟨a, b | aaabbaa=ba⟩Infinite non-commutative monoid
9927⟨a, b | aabaaab=ba⟩Infinite non-commutative monoid
9945⟨a, b | aababba=ab⟩Infinite non-commutative monoid
9953⟨a, b | aabbaba=ab⟩Infinite non-commutative monoid
9954⟨a, b | aabbaba=ba⟩Infinite non-commutative monoid
9957⟨a, b | aabbbaa=ab⟩Infinite non-commutative monoid
9979⟨a, b | abaabba=ab⟩Infinite non-commutative monoid
9998⟨a, b | abbabba=ab⟩Infinite non-commutative monoid
101623⟨a, b | aaababaaa=a⟩Infinite non-commutative monoid1 iso
101803⟨a, b | abbaabaab=a⟩Infinite non-commutative monoid
101843⟨a, b | aaaaabba=ab⟩Infinite non-commutative monoid
101867⟨a, b | aaaabbaa=ab⟩Infinite non-commutative monoid
101875⟨a, b | aaaabbba=ab⟩Infinite non-commutative monoid
101909⟨a, b | aaabbaaa=ab⟩Infinite non-commutative monoid
101917⟨a, b | aaabbaba=ba⟩Infinite non-commutative monoid
101925⟨a, b | aaabbbaa=ba⟩Infinite non-commutative monoid
101940⟨a, b | aabaaaba=ab⟩Infinite non-commutative monoid
101955⟨a, b | aabaabba=ab⟩Infinite non-commutative monoid
101978⟨a, b | aababbba=ab⟩Infinite non-commutative monoid
101986⟨a, b | aabbaaba=ab⟩Infinite non-commutative monoid
101987⟨a, b | aabbaaba=ba⟩Infinite non-commutative monoid
101997⟨a, b | aabbabba=ab⟩Infinite non-commutative monoid
101998⟨a, b | aabbabba=ba⟩Infinite non-commutative monoid
102006⟨a, b | aabbbaba=ba⟩Infinite non-commutative monoid
102031⟨a, b | abaaabba=ab⟩Infinite non-commutative monoid
102036⟨a, b | abaabaab=ba⟩Infinite non-commutative monoid
102044⟨a, b | abaabbab=ba⟩Infinite non-commutative monoid
102065⟨a, b | ababbaba=ab⟩Infinite non-commutative monoid
102076⟨a, b | abbaabba=ab⟩Infinite non-commutative monoid
102077⟨a, b | abbaabba=bb⟩Infinite non-commutative monoid
102078⟨a, b | abbabaab=aa⟩Infinite non-commutative monoid
102483⟨a, b | aabaab=abaa⟩Infinite non-commutative monoid
102487⟨a, b | aabaab=baaa⟩Infinite non-commutative monoid
102572⟨a, b | abaaab=baab⟩Infinite non-commutative monoid
102608⟨a, b | ababba=baab⟩Infinite non-commutative monoid
102750⟨a, b | baaba=abaab⟩Infinite non-commutative monoid
102756⟨a, b | baabb=aabba⟩Infinite non-commutative monoid

Solved by frequency:3/1

Σ#PresentationDescriptionRelated
9833⟨a, b | abaaaaba=a⟩Infinite non-commutative monoid
9851⟨a, b | ababbaab=a⟩Infinite non-commutative monoid
9892⟨a, b | aaaabba=ba⟩Infinite non-commutative monoid
9922⟨a, b | aaabbba=ab⟩Infinite non-commutative monoid
91112⟨a, b | abaaba=aab⟩Infinite non-commutative monoid
101587⟨a, b | aaaababaa=a⟩Infinite non-commutative monoid
101789⟨a, b | ababbaaab=a⟩Infinite non-commutative monoid
101793⟨a, b | ababbbaab=a⟩Infinite non-commutative monoid
101844⟨a, b | aaaaabba=ba⟩Infinite non-commutative monoid
101868⟨a, b | aaaabbaa=ba⟩Infinite non-commutative monoid
102005⟨a, b | aabbbaba=ab⟩Infinite non-commutative monoid
102058⟨a, b | abababba=ba⟩Infinite non-commutative monoid

Solved by frequency:3/2

Σ#PresentationDescriptionRelated
91131⟨a, b | abbaab=aba⟩Infinite non-commutative monoid
101932⟨a, b | aaabbbba=ab⟩Infinite non-commutative monoid
102009⟨a, b | aabbbbaa=ab⟩Infinite non-commutative monoid
102557⟨a, b | aabbba=baba⟩Infinite non-commutative monoid

Solved by frequency:3/3

Σ#PresentationDescriptionRelated
9950⟨a, b | aabbaab=ba⟩Infinite non-commutative monoid
9996⟨a, b | abbaaab=bb⟩Infinite non-commutative monoid
91126⟨a, b | ababba=bab⟩Infinite non-commutative monoid
101729⟨a, b | aabbbaaab=a⟩Infinite non-commutative monoid

Solved by frequency:4/0

Σ#PresentationDescriptionRelated
7231⟨a, b | abbba=ab⟩Infinite non-commutative monoid
8462⟨a, b | aabbba=ab⟩Infinite non-commutative monoid
8463⟨a, b | aabbba=ba⟩Infinite non-commutative monoid
8467⟨a, b | abaaab=ba⟩Infinite non-commutative monoid
9923⟨a, b | aaabbba=ba⟩Infinite non-commutative monoid
9990⟨a, b | ababbba=ab⟩Infinite non-commutative monoid
91070⟨a, b | aababa=aab⟩Infinite non-commutative monoid
91082⟨a, b | aabbaa=aab⟩Infinite non-commutative monoid
91104⟨a, b | abaaab=aab⟩Infinite non-commutative monoid
91105⟨a, b | abaaab=aba⟩Infinite non-commutative monoid
91228⟨a, b | aabba=abab⟩Infinite non-commutative monoid
101810⟨a, b | abbababba=b⟩Infinite non-commutative monoid
101876⟨a, b | aaaabbba=ba⟩Infinite non-commutative monoid
101937⟨a, b | aabaaaab=ba⟩Infinite non-commutative monoid
102082⟨a, b | abbabbba=ab⟩Infinite non-commutative monoid
102085⟨a, b | abbbaaab=aa⟩Infinite non-commutative monoid
102184⟨a, b | aaabbaa=aab⟩Infinite non-commutative monoid
102209⟨a, b | aabaaab=aba⟩Infinite non-commutative monoid
102286⟨a, b | aabbbba=abb⟩Infinite non-commutative monoid
102307⟨a, b | abaabab=aba⟩Infinite non-commutative monoid
102344⟨a, b | abbaaab=aab⟩Infinite non-commutative monoid

Solved by frequency:4/1

Σ#PresentationDescriptionRelated
8477⟨a, b | ababba=ba⟩Infinite non-commutative monoid
9946⟨a, b | aababba=ba⟩Infinite non-commutative monoid
9980⟨a, b | abaabba=ba⟩Infinite non-commutative monoid
91136⟨a, b | abbbba=abb⟩Infinite non-commutative monoid
91241⟨a, b | abaab=aaba⟩Infinite non-commutative monoid
101903⟨a, b | aaababba=ba⟩Infinite non-commutative monoid
101924⟨a, b | aaabbbaa=ab⟩Infinite non-commutative monoid
101956⟨a, b | aabaabba=ba⟩Infinite non-commutative monoid
102032⟨a, b | abaaabba=ba⟩Infinite non-commutative monoid
102046⟨a, b | abaabbba=ab⟩Infinite non-commutative monoid
102187⟨a, b | aaabbaa=baa⟩Infinite non-commutative monoid
102246⟨a, b | aababba=aab⟩Infinite non-commutative monoid
102289⟨a, b | aabbbba=bba⟩Infinite non-commutative monoid
102295⟨a, b | abaaaab=baa⟩Infinite non-commutative monoid
102322⟨a, b | ababaab=aab⟩Infinite non-commutative monoid
102341⟨a, b | ababbba=bba⟩Infinite non-commutative monoid
102633⟨a, b | abbbba=babb⟩Infinite non-commutative monoid

Solved by frequency:4/2

Σ#PresentationDescriptionRelated
102074⟨a, b | abbaaaab=bb⟩Infinite non-commutative monoid
102345⟨a, b | abbaaab=aba⟩Infinite non-commutative monoid

Solved by frequency:4/3

Σ#PresentationDescriptionRelated
102002⟨a, b | aabbbaab=ba⟩Infinite non-commutative monoid
102083⟨a, b | abbabbba=ba⟩Infinite non-commutative monoid
102262⟨a, b | aabbaba=aab⟩Infinite non-commutative monoid
102559⟨a, b | aabbba=bbaa⟩Infinite non-commutative monoid

Solved by frequency:5/0

Σ#PresentationDescriptionRelated
8483⟨a, b | abbbba=ab⟩Infinite non-commutative monoid
8575⟨a, b | abba=abab⟩Infinite non-commutative monoid
9964⟨a, b | aabbbba=ab⟩Infinite non-commutative monoid
9965⟨a, b | aabbbba=ba⟩Infinite non-commutative monoid
9969⟨a, b | abaaaab=ba⟩Infinite non-commutative monoid
101933⟨a, b | aaabbbba=ba⟩Infinite non-commutative monoid
102068⟨a, b | ababbbba=ab⟩Infinite non-commutative monoid
102168⟨a, b | aaababa=aab⟩Infinite non-commutative monoid
102232⟨a, b | aababaa=aab⟩Infinite non-commutative monoid
102270⟨a, b | aabbbaa=aab⟩Infinite non-commutative monoid
102292⟨a, b | abaaaab=aab⟩Infinite non-commutative monoid
102293⟨a, b | abaaaab=aba⟩Infinite non-commutative monoid
102340⟨a, b | ababbba=bab⟩Infinite non-commutative monoid
102604⟨a, b | ababba=abab⟩Infinite non-commutative monoid

Solved by frequency:5/1

Σ#PresentationDescriptionRelated
9984⟨a, b | ababaab=ba⟩Infinite non-commutative monoid
9991⟨a, b | ababbba=ba⟩Infinite non-commutative monoid
101979⟨a, b | aababbba=ba⟩Infinite non-commutative monoid
102047⟨a, b | abaabbba=ba⟩Infinite non-commutative monoid
102062⟨a, b | ababbaab=ba⟩Infinite non-commutative monoid
102360⟨a, b | abbbbba=abb⟩Infinite non-commutative monoid

Solved by frequency:5/2

Σ#PresentationDescriptionRelated
102171⟨a, b | aaababa=baa⟩Infinite non-commutative monoid
102609⟨a, b | ababba=baba⟩Infinite non-commutative monoid

Solved by frequency:6/0

Σ#PresentationDescriptionRelated
91001⟨a, b | abbbbba=ab⟩Infinite non-commutative monoid
102016⟨a, b | aabbbbba=ab⟩Infinite non-commutative monoid
102017⟨a, b | aabbbbba=ba⟩Infinite non-commutative monoid
102021⟨a, b | abaaaaab=ba⟩Infinite non-commutative monoid
102701⟨a, b | abbaa=abaab⟩Infinite non-commutative monoid

Solved by frequency:6/1

Σ#PresentationDescriptionRelated
102069⟨a, b | ababbbba=ba⟩Infinite non-commutative monoid

Solved by frequency:7/0

Σ#PresentationDescriptionRelated
102089⟨a, b | abbbbbba=ab⟩Infinite non-commutative monoid
102723⟨a, b | abbba=abbab⟩Infinite non-commutative monoid