A uniform Artin-Rees theorem and Zariski's main lemma on holomorphic functions (Q1087596)

Theorem: If R is a commutative affine ring and M is a submodule of the finitely generated R-module N, then there is a positive integer \(k_ 0\) such that for all integers \(k>k_ 0\) and all maximal ideals \({\mathfrak m}\) of R, \(M\cap {\mathfrak m}^ kN\subseteq {\mathfrak m}^{k-k_ 0}M\). This provides an alternative proof of the sharpening, by \textit{D. Eisenbud} and \textit{M. Hochster} [J. Algebra 58, 157-161 (1979; Zbl 0417.14001)], of Zariski's main lemma on holomorphic functions [\textit{O. Zariski}, Ann. Mat. Pura Appl., IV. Ser. 29, 187-198 (1949; Zbl 0039.033)], and goes a considerable way towards establishing a full uniform Artin-Rees theorem as envisaged by Eisenbud and Hochster [loc. cit.]. The result is proved by developing Zariski's ''key'' to his proof [loc. cit.], using generic flatness, to produce a refinement of the Whitney stratification by singular loci. Zariski's ''key'' does not appear to have been used since his original paper.