Related papers: On generalized completion homology modules
Let $R$ be a commutative Noetherian local ring and let $M$ and $N$ be nonzero finitely generated $R$-modules. In this paper, we investigate how the finiteness of the homological dimension of Ext modules between $M$ and $N$ affects that of…
Let $M$ be a finite module over a commutative noetherian ring $R$. For ideals $\fa$ and $\fb$ of $R$, the relations between cohomological dimensions of $M$ with respect to $\fa, \fb$, $\fa\cap\fb$ and $\fa+ \fb$ are studied. When $R$ is…
Let $K$ be a field and let $R = K[X_1, \ldots, X_m]$ with $m \geq 2$. Give $R$ the standard grading. Let $I$ be a homogeneous ideal of height $g$. Assume $1 \leq g \leq m -1$. Suppose $H^i_I(R) \neq 0$ for some $i \geq 0$. We show (1)…
We study homological properties of test modules that are, in principle, modules that detect finite homological dimensions. The main outcome of our results is a generalization of a classical theorem of Auslander and Bridger: we prove that,…
Let $A$ be a regular ring containing a field of characteristic zero and let $R = A[X_1,\ldots, X_m]$. Consider $R$ as standard graded with $deg \ A = 0$ and $deg \ X_i = 1$ for all $i$. In this paper we present a comprehensive study of…
Let $A$ be a regular ring containing a field $K$ of characteristic zero and let $R = A[X_1,\ldots, X_m]$. Consider $R$ as standard graded with $\deg A = 0$ and $\deg X_i = 1$ for all $i$. Let $G$ be a finite subgroup of $GL_m(A)$. Let $G$…
It is proved that if one of the finite modules M and N, over a local ring R, has reducible complexity and has finite Gorenstein dimension then the depth formula holds, provided TorR_i(M,N) = 0 for i>>0. We also study the vanishing of…
We prove that if M, N are finite modules over a Gorenstein local ring R of codimension at most 4, then the vanishing of Ext^n_R(M,N) for n\gg 0 is equivalent to the vanishing of Ext^n_R(N,M) for n\gg 0. Furthermore, if the completion of $R$…
Let $R$ be a commutative Noetherian ring, and let $N$ be a non-zero finitely generated $R$-module. The purpose of this paper is to show that $N$ is locally unmixed if and only if, for any $N$-proper ideal $I$ of $R$ generated by $\Ht_N I$…
Let $(R, \mathfrak m)$ be a commutative noetherian local ring and $I$ an ideal of $R$. For every $R$-module $M$, $\gamma_I(M) = \sum\{ \operatorname{Bi} f \,|\, f \in \operatorname{Hom}_R(I,M)\}$ is called the trace of $I$ in $M$. It is…
Let R be a commutative Noetherian d-dimensional complete equicharacterisitc regular local ring and let I be an ideal of R such that every minimal prime over I has height at most c. Let v=d - [(d-2)/c]-1 and v'=d - [(d-1)/c]. It has been…
For finitely generated modules $M$ and $N $ over a commutative Noetherian local ring $R$, we give various sufficient criteria for detecting freeness of $M$ or $N$ via vanishing of some finitely many Ext modules $\textrm{Ext}^i_R(M,N)$ and…
Let $\mathfrak{a}$ be an ideal of Noetherian ring $R$ and let $M$ be an $R$-module such that $\mathrm{Ext}^i_R(R/\mathfrak{a},M)$ is finite $R$-module for every $i$. If $s$ is the first integer such that the local cohomology module…
We introduce a local homology theory for linearly compact modules which is in some sense dual to the local cohomology theory of A. Grothendieck. Some basic properties such as the noetherianness, the vanishing and non-vanishing of local…
Our purpose in this work is multifold. First, we provide general criteria for the finiteness of the projective and injective dimensions of a finite module $M$ over a (commutative) Noetherian ring $R$. Second, in the other direction, we…
Avramov and Buchweitz proved that for finitely generated modules $M$ and $N$ over a complete intersection local ring $R$, $\Ext^i_R(M,N)=0$ for all $i\gg 0$ implies $\Ext^i_R(N,M)=0$ for all $i\gg 0$. In this note we give some…
We study how the partial group (co)homology of a group $G$ with coefficient in a partial representation $M$ can be described using the usual group (co)homology. To address this, we introduce the concept of the \textit{universal…
Let $\mathfrak{a}$ be an ideal of local ring $(R,\mathfrak{m})$ and $M$ a finitely generated $R$-module and $n\in\Bbb N$. It is shown that some results concerning cominimaxness of formal local cohomology modules.
Let $\mathbf{k}$ be a field of arbitrary characteristic, let $\Lambda$ be a finite dimensional $\mathbf{k}$-algebra, and let $V$ be an indecomposable Gorenstein-projective $\Lambda$-module with finite dimension over $\mathbf{k}$. It follows…
Let $R$ be a commutative Noetherian ring, $\mathfrak a$ a proper ideal of $R$ and $N$ a non-zero finitely generated $R$-module with $N\neq \mathfrak a N$. Let $d$ (respectively $c$) be the smallest (respectively greatest) non-negative…