Presentations for subsemigroups of finitely generated commutative semigroups (Q1961347): Difference between revisions

A good tool to study a finitely generated commutative semigroup \(T\) is the concept of presentation. However, a problem arises when we desire to study a subsemigroup \(S\) of \(T\), since \(S\) need not be finitely generated. In this interesting paper, the authors improve the concept of presentation by giving a new one, for subsemigroups \(S\) as above, which coincides with the classical one in the finitely generated case. Moreover, they prove that a cancellative (torsion free) subsemigroup of a finitely generated commutative subsemigroup can be embedded in a cancellative (torsion free) finitely generated commutative semigroup.