The height of ideals and regular sequences
type: Item
instance of: scholarly article
title: The height of ideals and regular sequences
zbMATH Open document ID: 0887.13007
DOI: 10.1007/BF02677462
author: Craig Huneke
author: Vijaylaxmi Trivedi
published in: Manuscripta Mathematica
publication date: 1997-09-09T00:00:00Z
full work available at URL: https://eudml.org/doc/156290
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\).
Mathematics Subject Classification ID: 13C15
Mathematics Subject Classification ID: 13E05
Mathematics Subject Classification ID: 13A15
Mathematics Subject Classification ID: 13H05
zbMATH DE Number: 1038302
zbMATH Keywords: depth
zbMATH Keywords: height of ideals
zbMATH Keywords: \(M\)-sequence
zbMATH Keywords: \(m\)-adic topology
reviewed by: D. D. Anderson
MaRDI profile type: Publication
cites work: Adic approximation of complexes, and multiplicities
cites work: Über lokale Kohomologiegruppen hoher Ordnung.
cites work: Q3739243
cites work: The invariance of Hilbert functions of quotients under small perturbations
OpenAlex ID: W2076172848
description: scientific article; zbMATH DE number 1038302