Affiliation:
1. Dipartimento di Scienze Matematiche e Informatiche, Scienze Fisiche e Scienze della Terra, Università di Messina, Viale Ferdinando Stagno D’Alcontres 31, 98166 Messina, Italy
Abstract
Let S and C be affine semigroups in Nd such that S⊆C. We provide a characterization for the set C∖S to be finite, together with a procedure and computational tools to check whether such a set is finite and, if so, compute its elements. As a consequence of this result, we provide a characterization for an ideal I of an affine semigroup S so that S∖I is a finite set. If so, we provide some procedures to compute the set S∖I.
Funder
Institute of Mathematics of the University of Granada
Istituto Nazionale di Alta Matematica