The height of ideals and regular sequences

DOI10.1007/BF02677462MaRDI QIDQ1360933zbMATH OpenOpenAlexFDO

Authors Craig Huneke, Vijaylaxmi Trivedi

Publication date 9 September 1997

Published in Manuscripta Mathematica (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/156290

zbMATH Keywords

\(m\)-adic topology\(M\)-sequencedepthheight of ideals

Mathematics Subject Classification ID

Ideals and multiplicative ideal theory in commutative rings (13A15) Dimension theory, depth, related commutative rings (catenary, etc.) (13C15) Commutative Noetherian rings and modules (13E05) Regular local rings (13H05)

Review text

The following theorem is proved. Let \(R\) be a Noetherian ring that is a homomorphic image of a regular ring and let \(M\) be a finitely generated \(R\)-module. Then there exists a finite set \(\Lambda_M\) of prime ideals of \(R\) such that for every ideal \(I\) of \(R\), \[ \text{depth}_I(M)= \min_{p\in\Lambda_M} \left\{\text{ht}\left({I+ p\over p}\right)+\text{depth}(M_p)\right\}. \] As a corollary, the authors obtain the following result first proved by \textit{D. Eisenbud} [Nagoya Math. J. 54, 61-67 (1974; Zbl 0299.13010)]: Let \((R,m)\) be a Noetherian local ring and \(M\) a finitely generated \(R\)-module. Then the set \(S_r= \{(x_1,\dots, x_r)\in m^{\oplus r}\mid x_1,\dots, x_r\) is an \(M\)-sequence\} is an open subset of \(m^{\oplus r}\) with respect to the \(m\)-adic topology, i.e., given an \(M\)-sequence \(x_1,\dots, x_r\) there exists \(N>0\) such that \(x_1+ g_1,\dots, x_r+ g_r\) is an \(M\)-sequence for any \(g_i\in m^N\).

Recommendations

• A criterion for regular sequences
• Regular sequences of ideals
• Syzygetic ideals, regular sequences, and a question of Simis
• On the Finiteness of the Projective Dimension of Certain Ideals
• Regular Sequences, Projective Dimension, and Criteria for Regularity of Local Rings

Cites work

• Adic approximation of complexes, and multiplicities
• scientific article; zbMATH DE number 3973001 (Why is no real title available?)
• The invariance of Hilbert functions of quotients under small perturbations
• Über lokale Kohomologiegruppen hoher Ordnung.

Cited in

(19)

• Remarks on the separation of the Aa-adic topology and permutations of M-sequences
• Syzygetic ideals, regular sequences, and a question of Simis
• A criterion for regular sequences
• Small perturbations in generalized Cohen-Macaulay local rings
• Initially regular sequences and depths of ideals
• Filter regular sequence under small perturbations
• Equimultiple good ideals with height 1.
• scientific article; zbMATH DE number 5850404 (Why is no real title available?)
• On the Finiteness of the Projective Dimension of Certain Ideals
• scientific article; zbMATH DE number 16597 (Why is no real title available?)
• scientific article; zbMATH DE number 67271 (Why is no real title available?)
• scientific article; zbMATH DE number 710598 (Why is no real title available?)
• scientific article; zbMATH DE number 3895206 (Why is no real title available?)
• When does a perturbation of the equations preserve the normal cone?
• Some applications of \(k\)-regular sequences and arithmetic rank of an ideal with respect to modules
• Stability and deformation of \(F\)-singularities
• Koszul homology under small perturbations
• On depth of modules in an ideal
• The depth formula for modules over quotients of Gorenstein rings

This page was built for publication: The height of ideals and regular sequences

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