Related papers: Cohen--Macaulayness of tensor products
Let $(A,\mathfrak{m})$ be a Gorenstein local ring and let $M$ be a finitely generated Cohen Macaulay $A$ module. Let $G(A)=\bigoplus_{n\geq 0}\mathfrak{m}^n/\mathfrak{m}^{n+1}$ be the associated graded ring of $A$ and $G(M)=\bigoplus_{n\geq…
Let R be a commutative noetherian ring. Denote by mod R the category of finitely generated R-modules. In this paper, we investigate the finiteness of the radii of resolving subcategories of mod R with respect to a fixed semidualizing…
It is shown that a module is sequentially Cohen-Macaulay if and only if the index of reducibility for distinguished parameter ideals are eventually constant with special value. As corollaries to the main theorem we given to characterize the…
Cohen-Macaulay dimension for modules over a commutative noetherian local ring has been defined by A. A. Gerko. That is a homological invariant sharing many properties with projective dimension and Gorenstein dimension. The main purpose of…
In this paper, the tensor product of highest weight modules with intermediate series modules over the Neveu-Schwarz algebra is studied. The weight spaces of such tensor products are all infinitely dimensional if the highest weight module is…
Let $R$ be a commutative Noetherian ring of dimension $d$ and $M$ a commutative cancellative torsion-free seminormal monoid. Then (1) Let $A$ be a ring of type $R[d,m,n]$ and $P$ be a projective $A[M]$-module of rank $r \geq max\{2,d+1\}$.…
Consider a non-trivial fiber product $R=S\times_kT$ of local rings $S$, $T$ with common residue field $k$. Given two finitely generate $R$-modules $M$ and $N$, we show that if $\operatorname{Tor}^R_i(M,N)=0=\operatorname{Tor}^R_{i+1}(M,N)$…
We determine the submodule of finite support of the tensor product of two modules M and N over a local ring and estimate its length in terms of $M$ and $N$. Also, we compute higher local cohomology modules of tensor products in a serial of…
Let $M$ be a finitely generated module of dimension $d$ over a Noetherian local ring $(R,\m)$ and $\q $ the parameter ideal generated by a system of parameters $\x = (x_1,..., x_d)$ of $M$. For each positive integer $n$, set…
We show that the conditions defining total reflexivity for modules are independent. In particular, we construct a commutative Noetherian local ring $R$ and a reflexive $R$-module $M$ such that $\Ext^i_R(M,R)=0$ for all $i>0$, but…
If $M$ is a nonzero finitely generated module over a commutative Noetherian local ring $R$ such that $M$ has finite injective dimension and finite Gorenstein dimension, then it follows from a result of Holm that $M$ has finite projective…
Let $\Lambda$ be a left and right noetherian ring. First, for $m,n\in\mathbb{N}\cup\{\infty\}$, we give equivalent conditions for a given $\Lambda$-module to be $n$-torsionfree and have $m$-torsionfree transpose. Using them, we investigate…
Let (A, m) be a Noetherian local ring and N a parameter module in F=A^r and M=N:_F m the socle module of N. In this paper, we shall prove that the module M=N:_F m has a reduction number at most one and hence its Rees algebra R(M) is…
Let $H$ be a semisimple Hopf algebra, and let $R$ be a noetherian left $H$-module algebra. If $R/R^H$ is a right $H^*$-dense Galois extension, then the invariant subalgebra $R^H$ will inherit the AS-Cohen-Macaulay property from $R$ under…
Let $(R, \mathfrak{m} )$ be a Noetherian local ring, $M$ a finitely generated $R$-module of dimension $d$. Set $\mathfrak{a}(M):=\mathfrak{a}_0(M)\cdots \mathfrak{a}_{d-1}(M)$, where $\mathfrak{a}_i(M):={\rm Ann}_RH^i_{\mathfrak{m}}(M)$ for…
We prove that the depth formula holds for $\Tor$-independent modules in certain cases over a Cohen-Macaulay local ring, provided one of the modules has reducible complexity.
A well-known result of K\"{o}the and Cohen-Kaplansky states that a commutative ring $R$ has the property that every $R$-module is a direct sum of cyclic modules if and only if $R$ is an Artinian principal ideal ring. This motivated us to…
Let (A,m_A) -> (B,m_B) be a local morphism of local noetherian rings and M a finitely generated B-module. Then it follows from Tor^A_1(M,A/m_A) = 0 that M is a flat A-module. This is usually called the "local criterion of flatness". We give…
In this paper we study the depth of tensor products of homologically finite complexes over commutative Noetherian local rings. As an application of our main result, we determine new conditions under which nonzero tensor products of finitely…
Let $R$ be a commutative Noetherian ring, $\fa$ be an ideal of $R$ and $M$ be an $R$-module. It is shown that if $\Ext^i_R(R/\fa,M)$ is minimax for all $i\leq \dim M$, then the $R$-module $\Ext^i_R(N,M)$ is minimax for all $i\geq 0$ and for…