PRESENTATIONS OF FINITELY GENERATED SUBMONOIDS OF FINITELY GENERATED COMMUTATIVE MONOIDS

J. C. ROSALES, P. A. GARCÍA-SÁNCHEZ, J. I. GARCÍA-GARCÍA
2002 International journal of algebra and computation  
We give an algorithmic method for computing a presentation of any finitely generated submonoid of a finitely generated commutative monoid. We use this method also for calculating the intersection of two congruences on N p and for deciding whether or not a given finitely generated commutative monoid is t-torsion free and/or separative. The last section is devoted to the resolution of some simple equations on a finitely generated commutative monoid.
doi:10.1142/s021819670200105x fatcat:cyhuozypsjhbpd4pvqgheunbba