Infinite cancellative commutative monoids

4 unique, 37 total

Σ#PresentationPropertiesDescriptionφ
6138⟨a, b, c | aa=b, ab=c⟩Can Com Infℕ26
6159⟨a, b, c | ab=c, ba=c⟩Can Com Infℕ ⊕ ℕ5
7461⟨a, b, c | ba=ab, aca=1⟩Can Com Infℕ ⊕ ℤ2
83181⟨a, b, c | ba=ab, aaca=1⟩Can Com Infℕ ⊕ ℤ