Infinite cancellative commutative monoids

2 unique, 9 total

Σ#PresentationDescriptionRelated
37a, b | aa=bIsomorphic to ℕ7 iso
422a, b | ba=abIsomorphic to ℕ ⊕ ℕ