Cohen--Macaulayness of tensor products

In this note, we study commutative Noetherian local rings having finitely generated modules of finite Gorenstein injective dimension. In particular, we consider whether such rings are Cohen-Macaulay.

This paper main goal is to measure the defect of Cohen-Macaulayness, Gorensteiness, complete intersection and regularity for the tensor product of algebras over a ring. For this sake, we determine the homological invariants which are inherent to these notions, such as the Krull dimension, depth, injective dimension, type and embedding dimension of the tensor product constructions in terms of those of their components.

Let $\fa$ be an ideal of a local ring $(R,\fm)$ and $M$ a finitely generated $R$-module. We investigate the structure of the formal local cohomology modules ${\vpl}_nH^i_{\fm}(M/\fa^n M)$, $i\geq 0$. We prove several results concerning finiteness properties of formal local cohomology modules which indicate that these modules behave very similar to local cohomology modules. Among other things, we prove that if $\dim R\leq 2$ or either $\fa$ is principal or $\dim R/\fa\leq 1$, ...

A finitely generated module $M$ over a commutative Noetherian ring $R$ is called an $I$-Cohen Macaulay module, if \[ \grade(I,M) + \dim(M/IM)= \dim(M), \] where $I$ is a proper ideal of $R$. The aim of this paper is to study the structure of this class of modules. It is discovered that $I$-Cohen Macaulay modules enjoy many interesting properties which are analogous to those of Cohen Macaulay modules. Also, various characterizations of $I$-Cohen Macaulay modules are presented ...

We investigate the behavior of Cohen-Macaulay defect undertaking tensor product with a perfect module. Consequently, we study the perfect defect of a module. As an application, we connect to associated prime ideals of tensor products.

The purpose of this article is to provide a new characterization of Cohen-Macaulay local rings. As a consequence we deduce that a local (Noetherian) ring $R$ is Gorenstein if and only if every parameter ideal of $R$ is irreducible.

Let $M$ be an $R$-module over a Noetherian ring $R$ and $\mathfrak{a}$ be an ideal of $R$ with $c={\rm cd}(\mathfrak{a},M)$. First, we prove that $M$ is finite $\mathfrak{a}$-relative Cohen-Macaulay if and only if ${\rm H}_i(\Lambda_{\mathfrak{a}}({\rm H}_{\mathfrak{a}}^c(M)))=0$ for all $i\neq c$ and ${\rm H}_c(\Lambda_{\mathfrak{a}}({\rm H}_{\mathfrak{a}}^c(M))) \cong \widehat{M}^{\mathfrak{a}}$. Next, over an $\mathfrak{a}$-relative Cohen-Macaulay local ring $(R,\mathfrak{...

Let (R,m) be a commutative Noetherian local ring. It is known that R is Cohen-Macaulay if there exists either a nonzero finitely generated R-module of finite injective dimension or a nonzero Cohen-Macaulay R-module of finite projective dimension. In this paper, we investigate the Gorenstein analogues of these facts.

Gerko proves that if an artinian local ring $(R,\mathfrak{m}_R)$ possesses a sequence of strongly Tor-independent modules of length $n$, then $\mathfrak{m}_R^n\neq 0$. This generalizes readily to Cohen-Macaulay rings. We present a version of this result for non-Cohen-Macaulay rings.

In this paper, we study Serre's condition $(S_n)$ for tensor products of modules over a commutative noetherian local ring. The paper aims to show the following. Let $M$ and $N$ be finitely generated module over a commutative noetherian local ring $R$, either of which is $(n+1)$-Tor-rigid. If the tensor product $M \otimes_R N$ satisfies $(S_{n+1})$, then under some assumptions $\mathrm{Tor}_{i}^R(M, N) = 0$ for all $i \ge 1$. The key role is played by $(n+1)$-Tor-rigidity of m...