Infinite cancellative commutative monoids

Up:Monoid enumeration
14 unique, 145 total

Σ#PresentationPropertiesDescriptionφ
511⟨a, b | aa=1, aaa=1⟩Can Com Infℕ98
623⟨a, b | ba=ab, bb=1⟩Can Com Infℤ2 ⊕ ℕ17
7151⟨a, b | ba=ab, aaa=1⟩Can Com Infℤ3 ⊕ ℕ11
8618⟨a, b | ba=ab, aaaa=1⟩Can Com Infℤ4 ⊕ ℕ2
8663⟨a, b | ba=ab, bb=aa⟩Can Com Inf⟨(1, 1), (0, 1)⟩ ⊂ ℤ2 ⊕ ℤ
92156⟨a, b | ba=ab, aaaaa=1⟩Can Com Infℤ5 ⊕ ℕ2
92262⟨a, b | ba=ab, aaa=bb⟩Can Com Inf⟨2, 3⟩ ⊂ ℤ
106910⟨a, b | ba=ab, aaaaaa=1⟩Can Com Infℤ6 ⊕ ℕ
107120⟨a, b | ba=ab, aaaa=bb⟩Can Com Inf⟨(0, 1), (1, 2)⟩ ⊂ ℤ2 ⊕ ℤ
107188⟨a, b | ba=ab, aba=aab⟩Can Com Infℕ ⊕ ℕ1
107196⟨a, b | ba=ab, bbb=aaa⟩Can Com Inf⟨(1, 1), (0, 1)⟩ ⊂ ℤ3 ⊕ ℤ
1120448⟨a, b | ba=ab, aaaaaaa=1⟩Can Com Infℤ7 ⊕ ℕ
1120850⟨a, b | ba=ab, aaaaa=bb⟩Can Com Inf⟨2, 5⟩ ⊂ ℤ
1121053⟨a, b | ba=ab, aaaa=bbb⟩Can Com Inf⟨3, 4⟩ ⊂ ℤ