Essential sequences and projective equivalence (Q579327)

The article is part of the series of papers mentioned in the preceding review. The following weak version of the main result may indicate the spirit of the article: Let \(b_ 1,...,b_ h\) be an essential sequence in a noetherian ring R. Then there exist ideals \((0)=J_ 0\subset J_ 1\subset...\subset J_ h\) in R such that the following hold for \(i=1,...,h:\) \((a)\quad J_ i\) is projectively equivalent to \((b_ 1,...,b_ i)R\); (b) \(Ass(R/(J_ i)=\cup \{Ass(R/(J_ i)^ k);\quad k\geq 1\};\) (c) \((J_{i-1})^ k: b_ iR=(J_{i-1})^ k\) for all \(k\geq 1\); and (d) if p is a prime divisor of \(J_{i-1}\) and \((p,b_ i)R\neq R\), then p is properly contained in some prime divisor of \(J_ i.\) The author gives several corollaries which, for example, characterize unmixed local rings or relate the essential grade and the analytic spread of an ideal.