Let be a monomial ideal with monomial generating set . Use Buchberger’s Criterion to show that is a Gröbner basis for .
Let . Recall that , where is a least common multiple of and . Since the are monomials, we have . So in fact .
Certainly ; since for all , by Buchberger’s criterion we have that is a Gröbner basis for .