Infinite non-cancellative commutative monoids

Up:Monoid enumeration
104 unique, 991 total

Σ#PresentationPropertiesDescriptionφ
662⟨a, b | ab=a, ba=a⟩Noc Com Inf34
7162⟨a, b | ba=ab, bb=b⟩Noc Com Infℕ(2 = 1) ⊕ ℕ8
7240⟨a, b | aa=a, aba=b⟩Noc Com Inf8
7243⟨a, b | aa=a, bab=a⟩Noc Com Inf100
7267⟨a, b | ab=a, baa=a⟩Noc Com Inf168
8566⟨a, b | aaa=a, aba=b⟩Noc Com Inf1
8586⟨a, b | aab=a, baa=a⟩Noc Com Inf14
8588⟨a, b | aab=a, bab=a⟩Noc Com Inf41
8593⟨a, b | aab=b, aba=b⟩Noc Com Inf10
8646⟨a, b | ba=ab, aaa=a⟩Noc Com Infℕ(3 = 1) ⊕ ℕ1
8658⟨a, b | ab=aa, ba=aa⟩Noc Com Inf1
8936⟨a, b | ab=a, baaa=a⟩Noc Com Inf55
91579⟨a, b | aaa=aa, aba=b⟩Noc Com Inf3
91592⟨a, b | aaa=ab, baa=a⟩Noc Com Inf39
91594⟨a, b | aaa=ab, bab=a⟩Noc Com Inf26
91685⟨a, b | aba=bb, bbb=b⟩Noc Com Inf25
92123⟨a, b | aba=b, bbbb=b⟩Noc Com Inf17
92192⟨a, b | ab=aa, baaa=a⟩Noc Com Inf28
92208⟨a, b | ba=ab, aaaa=a⟩Noc Com Infℕ(4 = 1) ⊕ ℕ1
92210⟨a, b | ba=ab, aaab=a⟩Noc Com Inf5
92211⟨a, b | ba=ab, aaab=b⟩Noc Com Inf6
92214⟨a, b | ba=ab, aabb=a⟩Noc Com Inf15
92260⟨a, b | ba=ab, aaa=aa⟩Noc Com Infℕ(3 = 2) ⊕ ℕ
92261⟨a, b | ba=ab, aaa=ab⟩Noc Com Inf
92263⟨a, b | ba=ab, aab=aa⟩Noc Com Inf1
92264⟨a, b | ba=ab, aab=ab⟩Noc Com Inf4
92266⟨a, b | ba=ab, aab=bb⟩Noc Com Inf1
92888⟨a, b | aa=a, babab=a⟩Noc Com Inf28
92968⟨a, b | ab=a, baaaa=a⟩Noc Com Inf23
104617⟨a, b | aaaa=a, aaba=b⟩Noc Com Inf
104658⟨a, b | aaab=a, abba=b⟩Noc Com Inf1
104667⟨a, b | aaab=a, babb=a⟩Noc Com Inf3
105060⟨a, b | aaa=ab, baab=a⟩Noc Com Inf9
105064⟨a, b | aaa=ab, babb=a⟩Noc Com Inf6
105287⟨a, b | aba=bb, abbb=b⟩Noc Com Inf13
105399⟨a, b | aab=ba, bab=ab⟩Noc Com Inf7
106347⟨a, b | aab=a, abbba=b⟩Noc Com Inf1
106364⟨a, b | aab=a, babbb=a⟩Noc Com Inf4
106513⟨a, b | aba=b, abbbb=b⟩Noc Com Inf3
106762⟨a, b | aba=b, aaaa=aa⟩Noc Com Inf
106982⟨a, b | ab=aa, baaaa=a⟩Noc Com Inf7
107014⟨a, b | ba=ab, aaaaa=a⟩Noc Com Infℕ(5 = 1) ⊕ ℕ
107016⟨a, b | ba=ab, aaaab=a⟩Noc Com Inf2
107017⟨a, b | ba=ab, aaaab=b⟩Noc Com Inf2
107020⟨a, b | ba=ab, aaabb=a⟩Noc Com Inf5
107021⟨a, b | ba=ab, aaabb=b⟩Noc Com Inf5
107118⟨a, b | ba=ab, aaaa=aa⟩Noc Com Infℕ(4 = 2) ⊕ ℕ
107119⟨a, b | ba=ab, aaaa=ab⟩Noc Com Inf
107121⟨a, b | ba=ab, aaab=aa⟩Noc Com Inf1
107122⟨a, b | ba=ab, aaab=ab⟩Noc Com Inf3
107124⟨a, b | ba=ab, aaab=bb⟩Noc Com Inf1
107129⟨a, b | ba=ab, aabb=aa⟩Noc Com Inf3
107130⟨a, b | ba=ab, aabb=ab⟩Noc Com Inf4
107186⟨a, b | ba=ab, aab=aaa⟩Noc Com Inf1
107189⟨a, b | ba=ab, abb=aaa⟩Noc Com Inf1
107190⟨a, b | ba=ab, abb=aab⟩Noc Com Inf3
108630⟨a, b | aa=a, babbab=a⟩Noc Com Inf6
108776⟨a, b | ab=a, baaaaa=a⟩Noc Com Inf6
1112182⟨a, b | aaaa=ab, baab=a⟩Noc Com Inf1
1112186⟨a, b | aaaa=ab, babb=a⟩Noc Com Inf
1112288⟨a, b | aaab=ba, babb=a⟩Noc Com Inf5
1112413⟨a, b | aaba=bb, abbb=b⟩Noc Com Inf
1112982⟨a, b | abb=aaa, baab=a⟩Noc Com Inf5
1114357⟨a, b | aaaa=a, baaab=a⟩Noc Com Inf5
1114361⟨a, b | aaaa=a, babab=a⟩Noc Com Inf
1114455⟨a, b | aaab=a, babbb=a⟩Noc Com Inf
1114632⟨a, b | aaba=b, abbbb=b⟩Noc Com Inf
1114872⟨a, b | abba=b, bbbbb=b⟩Noc Com Inf
1115479⟨a, b | aaa=ab, baabb=a⟩Noc Com Inf2
1115487⟨a, b | aaa=ab, babbb=a⟩Noc Com Inf
1115932⟨a, b | aba=bb, abbbb=b⟩Noc Com Inf2
1115944⟨a, b | aba=bb, bbbbb=b⟩Noc Com Inf
1116254⟨a, b | aab=ba, babb=ab⟩Noc Com Inf2
1118750⟨a, b | aaa=a, babbab=a⟩Noc Com Inf
1118926⟨a, b | aab=a, babbbb=a⟩Noc Com Inf5
1119211⟨a, b | aba=b, abbbbb=b⟩Noc Com Inf3
1119231⟨a, b | aba=b, bbbbbb=b⟩Noc Com Inf
1120248⟨a, b | aba=b, aaaa=aaa⟩Noc Com Inf
1120584⟨a, b | ab=aa, baaaaa=a⟩Noc Com Inf15
1120648⟨a, b | ba=ab, aaaaaa=a⟩Noc Com Infℕ(6 = 1) ⊕ ℕ
1120650⟨a, b | ba=ab, aaaaab=a⟩Noc Com Inf2
1120651⟨a, b | ba=ab, aaaaab=b⟩Noc Com Inf2
1120654⟨a, b | ba=ab, aaaabb=a⟩Noc Com Inf8
1120655⟨a, b | ba=ab, aaaabb=b⟩Noc Com Inf8
1120662⟨a, b | ba=ab, aaabbb=a⟩Noc Com Inf9
1120848⟨a, b | ba=ab, aaaaa=aa⟩Noc Com Infℕ(5 = 2) ⊕ ℕ
1120849⟨a, b | ba=ab, aaaaa=ab⟩Noc Com Inf
1120851⟨a, b | ba=ab, aaaab=aa⟩Noc Com Inf2
1120852⟨a, b | ba=ab, aaaab=ab⟩Noc Com Inf4
1120854⟨a, b | ba=ab, aaaab=bb⟩Noc Com Inf2
1120859⟨a, b | ba=ab, aaabb=aa⟩Noc Com Inf5
1120860⟨a, b | ba=ab, aaabb=ab⟩Noc Com Inf9
1120862⟨a, b | ba=ab, aaabb=bb⟩Noc Com Inf5
1121048⟨a, b | ba=ab, aaaa=aaa⟩Noc Com Infℕ(4 = 3) ⊕ ℕ
1121049⟨a, b | ba=ab, aaaa=aab⟩Noc Com Inf1
1121051⟨a, b | ba=ab, aaaa=abb⟩Noc Com Inf1
1121054⟨a, b | ba=ab, aaab=aaa⟩Noc Com Inf1
1121055⟨a, b | ba=ab, aaab=aab⟩Noc Com Inf5
1121057⟨a, b | ba=ab, aaab=abb⟩Noc Com Inf5
1121061⟨a, b | ba=ab, aaab=bbb⟩Noc Com Inf1
1121070⟨a, b | ba=ab, aabb=aaa⟩Noc Com Inf3
1121071⟨a, b | ba=ab, aabb=aab⟩Noc Com Inf9
1124172⟨a, b | aa=a, babbbab=a⟩Noc Com Inf
1124460⟨a, b | ab=a, baaaaaa=a⟩Noc Com Inf