A set M of all polynomials in s variables, x_1, ..., x_s such that if P, P_1, and P_2 are members, then so are P_1 + P_2 and Q P, where Q is any polynomial in x_1, ..., x_s.

Hilbert's theorem | modular system basis | module