Reduction mod p of standard bases

摘要

We investigate the behavior of standard bases (in the sense of Hironaka and Grauert) for ideals in rings of formal power series over commutative rings with respect to specializations of the coefficients. For instance, we show that any ideal I of the ring of formal power series AX = AX-1,..., X-N with coefficients in a Noetherian ring A admits a standard basis whose image under every specialization of A onto afield is a standard basis of the image of I. Applications include a modular criterion for ideal membership in ZX and a constructibility result for ideal membership in KX, where K is afield.