The Gröbner basis of the ideal of vanishing polynomials (Q633084)

Let \(C:=\mathbb{Z}/m\) and \(f\in C[x_1, \ldots, x_n]\). \(f\) is called a vanishing polynomial if the associated function \(C^n\to C\) is identically zero. Let \(I_0\) be the set of all vanishing polynomials. Let \(>\) be a well--ordering on the set of monomials in \(x_1, \ldots, x_n\) compatible with the semi--group structure of this set. An explicit construction of a minimal strong Gröbner basis of the ideal of vanishing polynomials is given. This Gröbner basis is independent on the choice of the ordering. A fast algorithm is presented to compute reduced normal form with respect to \(I_0\).