Some Basis Theorems for Integral Monoids

We consider sets of integer vectors containing the zero vector and closed under addition, the integral monoids, and provide conditions under which they contain a finite subset of integer vectors which generate the entire monoid as nonnegative integer combinations. The paper concludes with some applications to the theory of integer programming.