English

Reducing system of parameters and the Cohen--Macaulay property

Commutative Algebra 2007-07-17 v1

Abstract

Let RR be a local ring and let (x1\bissxrx_1\biss x_r) be part of a system of parameters of a finitely generated RR-module M,M, where r<dimRMr < \dim_R M. We will show that if (y1\bissyry_1\biss y_r) is part of a reducing system of parameters of MM with (y1\bissyr)M=(x1\bissxr)M(y_1\biss y_r)M=(x_1\biss x_r)M then (x1\bissxr)(x_1\biss x_r) is already reducing. Moreover, there is such a part of a reducing system of parameters of MM iff for all primes P\suppMVR(x1\bissxr)P\in \supp M \cap V_R(x_1\biss x_r) with dimRR/P=dimRMr\dim_R R/P = \dim_R M -r the localization MPM_P of MM at PP is an rr-dimensional \cm\ module over RPR_P. Furthermore, we will show that MM is a \cm module iff ydy_d is a non zero divisor on M/(y1\bissyd1)MM/(y_1\biss y_{d-1})M, where (y1\bissyd)(y_1\biss y_d) is a reducing system of parameters of MM (d:=dimRMd := \dim_R M).

Keywords

Cite

@article{arxiv.0707.2136,
  title  = {Reducing system of parameters and the Cohen--Macaulay property},
  author = {Bjorn Maurer and Jurgen Stuckrad},
  journal= {arXiv preprint arXiv:0707.2136},
  year   = {2007}
}

Comments

7 pages