Infinite non-commutative monoids

Up:Monoid enumeration
224 unique, 330 total

Σ#PresentationPropertiesφ
643⟨a, b, c | ba=ac, bb=1⟩Mon Inf8
648⟨a, b, c | bb=aa, cc=1⟩Mon Inf
6162⟨a, b, c | aa=1, abac=1⟩Mon Inf13
6226⟨a, b, c | aa=1, bcb=c⟩Mon Inf4
7357⟨a, b, c | aba=b, aca=1⟩Mon Inf1
7365⟨a, b, c | aba=b, cac=1⟩Mon Inf1
7367⟨a, b, c | aba=b, ccc=1⟩Mon Inf
7406⟨a, b, c | abc=b, aca=1⟩Mon Inf
7412⟨a, b, c | abc=b, bbb=1⟩Mon Inf
7419⟨a, b, c | abc=b, ccc=1⟩Mon Inf1
7464⟨a, b, c | ba=ab, cac=1⟩Mon Inf1
7476⟨a, b, c | ba=ac, bbb=1⟩Mon Inf1
7478⟨a, b, c | ba=ac, bcb=1⟩Mon Inf2
7487⟨a, b, c | bb=aa, ccc=1⟩Mon Inf
7566⟨a, b, c | aaa=1, abac=1⟩Mon Inf
71025⟨a, b, c | ab=c, aca=c⟩Mon Inf2
71072⟨a, b, c | aa=1, ababc=1⟩Mon Inf1
71075⟨a, b, c | aa=1, abacc=1⟩Mon Inf1
71076⟨a, b, c | aa=1, abbac=1⟩Mon Inf
71082⟨a, b, c | aa=1, abcac=1⟩Mon Inf
71233⟨a, b, c | aa=1, abac=b⟩Mon Inf1
71238⟨a, b, c | aa=1, abbc=b⟩Mon Inf1
71241⟨a, b, c | aa=1, abca=b⟩Mon Inf2
71244⟨a, b, c | aa=1, abcb=c⟩Mon Inf1
71246⟨a, b, c | aa=1, abcc=b⟩Mon Inf
71257⟨a, b, c | aa=1, bacb=c⟩Mon Inf
71267⟨a, b, c | aa=1, bbcb=c⟩Mon Inf
71274⟨a, b, c | aa=1, bccb=c⟩Mon Inf
71395⟨a, b, c | aa=1, abb=bc⟩Mon Inf1
71398⟨a, b, c | aa=1, abb=cc⟩Mon Inf
71405⟨a, b, c | aa=1, abc=ca⟩Mon Inf
71406⟨a, b, c | aa=1, abc=cb⟩Mon Inf
71410⟨a, b, c | aa=1, bab=cc⟩Mon Inf
71416⟨a, b, c | aa=1, bac=cb⟩Mon Inf
71419⟨a, b, c | aa=1, bbb=cc⟩Mon Inf
71426⟨a, b, c | aa=1, bbc=ca⟩Mon Inf
71427⟨a, b, c | aa=1, bbc=cb⟩Mon Inf
71434⟨a, b, c | aa=1, bcb=cc⟩Mon Inf
81579⟨a, b, c | aaa=bb, ccc=1⟩Mon Inf
81659⟨a, b, c | aab=ba, aca=1⟩Mon Inf1
81665⟨a, b, c | aab=ba, bcb=1⟩Mon Inf
81669⟨a, b, c | aab=ba, cac=1⟩Mon Inf
81672⟨a, b, c | aab=ba, cbc=1⟩Mon Inf
81675⟨a, b, c | aab=ba, ccc=1⟩Mon Inf
81713⟨a, b, c | aab=bc, cac=1⟩Mon Inf
81719⟨a, b, c | aab=bc, ccc=1⟩Mon Inf
81731⟨a, b, c | aab=ca, bbb=1⟩Mon Inf
81734⟨a, b, c | aab=ca, bcb=1⟩Mon Inf
81741⟨a, b, c | aab=ca, cbc=1⟩Mon Inf
81744⟨a, b, c | aab=ca, ccc=1⟩Mon Inf
81781⟨a, b, c | aab=cc, bbb=1⟩Mon Inf
81850⟨a, b, c | aba=bb, aca=1⟩Mon Inf
81858⟨a, b, c | aba=bb, cac=1⟩Mon Inf
81860⟨a, b, c | aba=bb, ccc=1⟩Mon Inf
81863⟨a, b, c | aba=bc, aca=1⟩Mon Inf
81877⟨a, b, c | aba=bc, cac=1⟩Mon Inf
81883⟨a, b, c | aba=bc, ccc=1⟩Mon Inf
81896⟨a, b, c | aba=cc, bbb=1⟩Mon Inf
81965⟨a, b, c | abc=ba, aca=1⟩Mon Inf
81972⟨a, b, c | abc=ba, bbb=1⟩Mon Inf
81979⟨a, b, c | abc=ba, cac=1⟩Mon Inf
81985⟨a, b, c | abc=ba, ccc=1⟩Mon Inf
81986⟨a, b, c | abc=bb, aca=1⟩Mon Inf
81992⟨a, b, c | abc=bb, bbb=1⟩Mon Inf
81999⟨a, b, c | abc=bb, ccc=1⟩Mon Inf
82009⟨a, b, c | abc=ca, bab=1⟩Mon Inf
82011⟨a, b, c | abc=ca, bbb=1⟩Mon Inf
82017⟨a, b, c | abc=ca, cbc=1⟩Mon Inf
82018⟨a, b, c | abc=ca, ccc=1⟩Mon Inf
82023⟨a, b, c | abc=cb, ccc=1⟩Mon Inf
82029⟨a, b, c | bab=ac, bbb=1⟩Mon Inf
82032⟨a, b, c | aaaa=1, aabc=1⟩Mon Inf7
82033⟨a, b, c | aaaa=1, abac=1⟩Mon Inf
82596⟨a, b, c | aba=b, aaca=1⟩Mon Inf
82608⟨a, b, c | aba=b, acca=1⟩Mon Inf
82623⟨a, b, c | aba=b, caac=1⟩Mon Inf
82625⟨a, b, c | aba=b, cacc=1⟩Mon Inf
82628⟨a, b, c | aba=b, cccc=1⟩Mon Inf
82755⟨a, b, c | abc=b, aaaa=1⟩Mon Inf
82761⟨a, b, c | abc=b, aaca=1⟩Mon Inf1
82777⟨a, b, c | abc=b, acca=1⟩Mon Inf
82788⟨a, b, c | abc=b, bbbb=1⟩Mon Inf
82971⟨a, b, c | aab=c, aca=c⟩Mon Inf
83028⟨a, b, c | aba=b, abc=b⟩Mon Inf
83036⟨a, b, c | aba=b, bac=a⟩Mon Inf
83070⟨a, b, c | abc=b, acb=c⟩Mon Inf
83191⟨a, b, c | ba=ab, acca=1⟩Mon Inf1
83196⟨a, b, c | ba=ab, cacc=1⟩Mon Inf
83229⟨a, b, c | ba=ac, bbbb=1⟩Mon Inf
83231⟨a, b, c | ba=ac, bbcb=1⟩Mon Inf1
83236⟨a, b, c | ba=ac, bccb=1⟩Mon Inf
83261⟨a, b, c | bb=aa, cccc=1⟩Mon Inf
83441⟨a, b, c | ba=ac, aac=b⟩Mon Inf1
83450⟨a, b, c | ba=ac, abc=b⟩Mon Inf
83452⟨a, b, c | ba=ac, acb=a⟩Mon Inf1
83484⟨a, b, c | bb=aa, abc=b⟩Mon Inf
83509⟨a, b, c | bb=ac, aba=b⟩Mon Inf
83515⟨a, b, c | bb=ac, abc=b⟩Mon Inf
83525⟨a, b, c | bb=ac, bab=a⟩Mon Inf
83569⟨a, b, c | ac=ab, ba=ab⟩Mon Inf2
83582⟨a, b, c | ba=ab, bb=ac⟩Mon Inf
83588⟨a, b, c | ba=ac, bb=aa⟩Mon Inf
83590⟨a, b, c | ba=ac, bc=aa⟩Mon Inf
83591⟨a, b, c | ba=ac, bc=ab⟩Mon Inf
83600⟨a, b, c | bb=ac, bc=aa⟩Mon Inf
83604⟨a, b, c | aaa=1, aabac=1⟩Mon Inf1
83609⟨a, b, c | aaa=1, abaac=1⟩Mon Inf
83610⟨a, b, c | aaa=1, ababc=1⟩Mon Inf
83613⟨a, b, c | aaa=1, abacc=1⟩Mon Inf
83614⟨a, b, c | aaa=1, abbac=1⟩Mon Inf
83620⟨a, b, c | aaa=1, abcac=1⟩Mon Inf
84113⟨a, b, c | aaa=1, abac=b⟩Mon Inf
84118⟨a, b, c | aaa=1, abbc=b⟩Mon Inf
84121⟨a, b, c | aaa=1, abca=b⟩Mon Inf
84124⟨a, b, c | aaa=1, abcb=c⟩Mon Inf
84126⟨a, b, c | aaa=1, abcc=b⟩Mon Inf
84129⟨a, b, c | aaa=1, baac=a⟩Mon Inf
84132⟨a, b, c | aaa=1, babc=a⟩Mon Inf
84137⟨a, b, c | aaa=1, bacb=c⟩Mon Inf
84138⟨a, b, c | aaa=1, bacc=a⟩Mon Inf
84147⟨a, b, c | aaa=1, bbcb=c⟩Mon Inf
84154⟨a, b, c | aaa=1, bccb=c⟩Mon Inf
84378⟨a, b, c | aba=1, aaca=c⟩Mon Inf
84411⟨a, b, c | aba=1, acbb=c⟩Mon Inf
84417⟨a, b, c | aba=1, acca=c⟩Mon Inf
84420⟨a, b, c | aba=1, accb=c⟩Mon Inf
84447⟨a, b, c | aba=1, bbcb=c⟩Mon Inf
84459⟨a, b, c | aba=1, bccb=c⟩Mon Inf
84532⟨a, b, c | abc=1, acaa=c⟩Mon Inf
85536⟨a, b, c | ab=c, acaa=c⟩Mon Inf1
85548⟨a, b, c | ab=c, acca=c⟩Mon Inf
85607⟨a, b, c | ab=c, cbcc=b⟩Mon Inf
86040⟨a, b, c | ab=c, aca=cc⟩Mon Inf
86096⟨a, b, c | ab=c, bcc=cb⟩Mon Inf
86143⟨a, b, c | aa=1, ababac=1⟩Mon Inf1
86144⟨a, b, c | aa=1, ababbc=1⟩Mon Inf1
86147⟨a, b, c | aa=1, ababcc=1⟩Mon Inf1
86149⟨a, b, c | aa=1, abacac=1⟩Mon Inf
86152⟨a, b, c | aa=1, abacbc=1⟩Mon Inf1
86155⟨a, b, c | aa=1, abaccc=1⟩Mon Inf1
86157⟨a, b, c | aa=1, abbabc=1⟩Mon Inf1
86159⟨a, b, c | aa=1, abbacc=1⟩Mon Inf1
86160⟨a, b, c | aa=1, abbbac=1⟩Mon Inf
86166⟨a, b, c | aa=1, abbcac=1⟩Mon Inf
86176⟨a, b, c | aa=1, abcabc=1⟩Mon Inf1
86178⟨a, b, c | aa=1, abcacc=1⟩Mon Inf
86180⟨a, b, c | aa=1, abcbac=1⟩Mon Inf
86187⟨a, b, c | aa=1, abccac=1⟩Mon Inf
86633⟨a, b, c | aa=1, aabca=c⟩Mon Inf4
86647⟨a, b, c | aa=1, ababc=b⟩Mon Inf1
86650⟨a, b, c | aa=1, abaca=b⟩Mon Inf2
86653⟨a, b, c | aa=1, abacb=c⟩Mon Inf1
86655⟨a, b, c | aa=1, abacc=b⟩Mon Inf1
86659⟨a, b, c | aa=1, abbac=b⟩Mon Inf
86664⟨a, b, c | aa=1, abbbc=b⟩Mon Inf1
86667⟨a, b, c | aa=1, abbca=b⟩Mon Inf2
86668⟨a, b, c | aa=1, abbca=c⟩Mon Inf2
86671⟨a, b, c | aa=1, abbcb=c⟩Mon Inf1
86673⟨a, b, c | aa=1, abbcc=b⟩Mon Inf1
86677⟨a, b, c | aa=1, abcab=c⟩Mon Inf
86679⟨a, b, c | aa=1, abcac=b⟩Mon Inf
86683⟨a, b, c | aa=1, abcba=c⟩Mon Inf2
86686⟨a, b, c | aa=1, abcbb=c⟩Mon Inf
86688⟨a, b, c | aa=1, abcbc=b⟩Mon Inf1
86692⟨a, b, c | aa=1, abccb=c⟩Mon Inf1
86694⟨a, b, c | aa=1, abccc=b⟩Mon Inf
86719⟨a, b, c | aa=1, babcb=c⟩Mon Inf
86725⟨a, b, c | aa=1, bacab=c⟩Mon Inf
86728⟨a, b, c | aa=1, bacbb=c⟩Mon Inf
86734⟨a, b, c | aa=1, baccb=c⟩Mon Inf
86744⟨a, b, c | aa=1, bbacb=c⟩Mon Inf
86753⟨a, b, c | aa=1, bbbcb=c⟩Mon Inf
86759⟨a, b, c | aa=1, bbcbb=c⟩Mon Inf
86765⟨a, b, c | aa=1, bbccb=c⟩Mon Inf
86770⟨a, b, c | aa=1, bcacb=c⟩Mon Inf
86776⟨a, b, c | aa=1, bcbcb=c⟩Mon Inf
86779⟨a, b, c | aa=1, bcccb=c⟩Mon Inf
87132⟨a, b, c | aa=1, aabb=cc⟩Mon Inf2
87143⟨a, b, c | aa=1, abab=bc⟩Mon Inf1
87146⟨a, b, c | aa=1, abab=cc⟩Mon Inf1
87151⟨a, b, c | aa=1, abac=bb⟩Mon Inf1
87153⟨a, b, c | aa=1, abac=ca⟩Mon Inf
87154⟨a, b, c | aa=1, abac=cb⟩Mon Inf1
87157⟨a, b, c | aa=1, abba=bc⟩Mon Inf2
87158⟨a, b, c | aa=1, abba=cc⟩Mon Inf1
87160⟨a, b, c | aa=1, abbb=bc⟩Mon Inf1
87163⟨a, b, c | aa=1, abbb=cc⟩Mon Inf1
87168⟨a, b, c | aa=1, abbc=bb⟩Mon Inf1
87171⟨a, b, c | aa=1, abbc=cb⟩Mon Inf1
87177⟨a, b, c | aa=1, abca=bc⟩Mon Inf1
87178⟨a, b, c | aa=1, abca=cb⟩Mon Inf1
87184⟨a, b, c | aa=1, abcb=bc⟩Mon Inf1
87187⟨a, b, c | aa=1, abcb=cc⟩Mon Inf1
87191⟨a, b, c | aa=1, abcc=ba⟩Mon Inf
87192⟨a, b, c | aa=1, abcc=bb⟩Mon Inf1
87194⟨a, b, c | aa=1, abcc=ca⟩Mon Inf
87195⟨a, b, c | aa=1, abcc=cb⟩Mon Inf1
87210⟨a, b, c | aa=1, babb=cc⟩Mon Inf
87217⟨a, b, c | aa=1, babc=ca⟩Mon Inf
87218⟨a, b, c | aa=1, babc=cb⟩Mon Inf
87226⟨a, b, c | aa=1, bacb=ca⟩Mon Inf
87228⟨a, b, c | aa=1, bacb=cc⟩Mon Inf
87235⟨a, b, c | aa=1, bacc=ca⟩Mon Inf
87236⟨a, b, c | aa=1, bacc=cb⟩Mon Inf
87240⟨a, b, c | aa=1, bbbb=cc⟩Mon Inf
87247⟨a, b, c | aa=1, bbbc=ca⟩Mon Inf
87248⟨a, b, c | aa=1, bbbc=cb⟩Mon Inf
87255⟨a, b, c | aa=1, bbcb=bc⟩Mon Inf
87256⟨a, b, c | aa=1, bbcb=ca⟩Mon Inf
87258⟨a, b, c | aa=1, bbcb=cc⟩Mon Inf
87264⟨a, b, c | aa=1, bbcc=cb⟩Mon Inf
87270⟨a, b, c | aa=1, bcbc=cb⟩Mon Inf
87276⟨a, b, c | aa=1, bccb=cc⟩Mon Inf
87652⟨a, b, c | aa=1, bba=acb⟩Mon Inf
87697⟨a, b, c | aa=1, cab=bac⟩Mon Inf
87698⟨a, b, c | aa=1, cab=bbc⟩Mon Inf
87699⟨a, b, c | aa=1, cac=bab⟩Mon Inf
87700⟨a, b, c | aa=1, cac=bbb⟩Mon Inf
87701⟨a, b, c | aa=1, cac=bcb⟩Mon Inf
87702⟨a, b, c | aa=1, cbb=bbc⟩Mon Inf
87703⟨a, b, c | aa=1, cbb=bcc⟩Mon Inf
87704⟨a, b, c | aa=1, cbc=bbb⟩Mon Inf
87705⟨a, b, c | aa=1, cbc=bcb⟩Mon Inf
87706⟨a, b, c | aa=1, ccc=bbb⟩Mon Inf