Infinite cancellative commutative monoids

Up:Monoids with two generators and one relation
2 unique, 10 total

Σ#PresentationDescriptionRelated
37⟨a, b | aa=b⟩Isomorphic to ℕ8 iso
422⟨a, b | ba=ab⟩Isomorphic to ℕ ⊕ ℕ