Infinite cancellative non-commutative monoids

3 unique, 58 total

Σ#PresentationPropertiesDescriptionφ
664⟨a, b | aa=1, aaaa=1⟩Can Infℤ2 ∗ ℕ42
8736⟨a, b | aaa=1, aaaa=a⟩Can Infℤ3 ∗ ℕ12
105694⟨a, b | aaaa=1, aaaaa=a⟩Can Infℤ4 ∗ ℕ1