Fix a monomial order on and suppose is a Gröbner basis for the ideal in . Prove that if and only if is a sum of monomials each divisible by some .
Since is a Gröbner basis, we have . Thus is a monomial ideal with monomial generators . By this previous exercise, if and only if each term in is divisible by some .