Ideals of finitely generated commutative monoids (Q1865686)

The authors introduce the concept of a finite presentation of an ideal of a finitely generated commutative monoid. A finite presentation of an ideal \(J\) of a finitely generated commutative monoid is a pair \((I,\rho)\), where \(I\) is an ideal of \(\mathbb{N}^p\) for some nonnegative integer \(p\) and \(\rho\) is a finite subset of \(I\times I\). They show how to compute a finite presentation of \(J\), and from a given presentation of \(J\), they give algorithms to decide if \(J\) is Archimedean, a monoid, a group, cancellative, separative, or torsionfree, and to find the set of idempotents of \(J\) and the group of units of \(J\).