Essential sequences and projective equivalence

From MaRDI portal





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.











This page was built for publication: Essential sequences and projective equivalence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q579327)