Zariski-regularity and the Nullstellensatz with nilpotents (Q1320239)

Let \(R\) be the coordinate ring of a reduced, irreducible variety and let \(K\) be the quotient field. Let \(P\), \(Q_ i\) be prime ideals of \(R\), with \(P = \bigcap Q_ i\). Zariski's lemma on holomorphic functions tells that an element \(\alpha\in K\) belongs to \(P^ nR_ P\) if and only if \(\alpha\) belongs to \(Q^ n_ i R_{Q_ i}\) for all \(i\). When the variety is non-reduced, so that \(R\) contains nilpotents, there is an analogue of Zariski's lemma, due to Eisenbud and Hochster, which deals with decompositions \(P = \bigcap Q_ i\), \(Q_ i\) maximal. In this paper, the author proves an analogous of Zariski's lemma for general commutative noetherian rings \(R\). Using the tools introduced in the proof of the uniform Artin-Rees lemma, he shows that for any prime \(P\) in \(R\) and any presentation \(P = \bigcap Q_ i\), \(Q_ i \in \text{Spec} (R)\), then \(P^ nR_ P\) is equal to the intersection of the images of the ideals \(Q^ n_ i R_{Q_ i}\) in \(R_ P\).