On certain d-sequence on Rees algebra
type: Item
instance of: scholarly article
title: On certain d-sequence on Rees algebra
zbMATH Open document ID: 0641.13008
author: Yasuhiro Shimoda
published in: Journal of Mathematics of Kyoto University
publication date: 1987-01-01T00:00:00Z
review text: Let (A,m) be a local Noetherian ring, such that for all \(i<Dim(A)\), the i-th local cohomology module \(H^ i_ m(A)\) has finite length. (Call A a ``generalized Cohen-Macaulay ring''.) Let \(q=(a_ 1,...,a_ r)\) be an ideal of A, with \(a_ 1,...,a_ r\) a subsystem of parameters for m. The first theorem of this paper says \(a_ 1,a_ 2-a_ 1X,...,a_ r- a_{r-1}X,a_ rX\) form a d-sequence in the Rees ring \(R(q)=R[a_ 1X,...,a_ rX]\), and R(q) modulo the ideal generated by that sequence has dimension \(= Dim(A)-r\). The second theorem says that if \(0\leq n<r\), then \(a_ 1,a_ 2-a_ 1X,...,a_ n-a_{n-1}X,a_{n+1}X,...,a_ rX\) (with \(a_ 0=a_{-1}=0)\) forms a d-sequence in R(q), and moding out by the ideal generated by that sequence gives a ring of dimension \(= Dim(A)- n\). Recall that in a commutative ring, the sequence \(x_ 1,...,x_ r\) is a d-sequence if for all \(0\leq i<k\leq r\), \((x_ 1,...,x_ i):x_{i+1}x_ k=(x_ 1,...,x_ i):x_ k\).
Mathematics Subject Classification ID: 13H10
Mathematics Subject Classification ID: 13D99
Mathematics Subject Classification ID: 13A15
Mathematics Subject Classification ID: 13E05
zbMATH DE Number: 4043972
zbMATH Keywords: local Noetherian ring
zbMATH Keywords: local cohomology module
zbMATH Keywords: generalized Cohen- Macaulay ring
zbMATH Keywords: d-sequence
zbMATH Keywords: Rees ring
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1215/kjm/1250520771
OpenAlex ID: W1497930918
DOI: 10.1215/KJM/1250520771
description: scientific article; zbMATH DE number 4043972