Related papers: On generalized completion homology modules
Let $R$ denote a commutative Noetherian (not necessarily local) ring, $\frak a$ an ideal of $R$ and $M$ a finitely generated $R$-module. The purpose of this paper is to show that $f^n_{\frak a}(M)=\inf \{0\leq i\in\mathbb{Z}|\, \dim…
Let $M$ be a non-zero finitely generated module over a finite dimensional commutative Noetherian local ring $(R,\mathfrak{m})$ with dim$_R(M)=t$. Let $I$ be an ideal of $R$ with grade$(I,M)=c$. In this article we will investigate several…
Let $R$ be a commutative Noetherian ring with non-zero identity, $\mathfrak{a}$ and ideal of $R$, $M$ a finite $R$--module, and $n$ a non-negative integer. In this paper, for an arbitrary $R$--module $X$ which is not necessarily finite, we…
Let $R$ be a noetherian ring, $\fa$ an ideal of $R$, and $M$ an $R$--module. We prove that for a finite module $M$, if $\LC^{i}_{\fa}(M)$ is minimax for all $i\geq r\geq 1$, then $\LC^{i}_{\fa}(M)$ is artinian for $i\geq r$. A Local-global…
Classical definitions of locally complete intersection (l.c.i.) homomorphisms of commutative rings are limited to maps that are essentially of finite type, or flat. The concept introduced in this paper is meaningful for homomorphisms phi :…
We investigate symmetry in the vanishing of Tate cohomology for finitely generated modules over local Gorenstein rings. For finitely generated R-modules M and N over Gorenstein local ring R, it is shown that $\widehat{Ext}^i_R(M,N)=0$ for…
Let $I$ be an ideal of a local ring $(R,\mathfrak m)$ with $d = \dim R.$ For the local cohomology module $H^i_I(R)$ it is a well-known fact that it vanishes for $i > d$ and is an Artinian $R$-module for $i = d.$ In the case that the…
Cofiniteness of the generalized local cohomology modules Hai(M, N) of two R-modules M and N with respect to an ideal a is studied for some i,s with a specified property. Furthermore, Artinianness of Hbj 0(Hai(M, N)) is investigated by using…
We obtain various characterizations of commutative Noetherian local rings $(R, \fm)$ in terms of homological dimensions of certain finitely generated modules. For example, we establish that $R$ is Gorenstein if the Gorenstein injective…
Let $(R, {\frak m})$ be a local ring, $I$ a proper ideal of $R$ and $M$ a finitely generated $R$-module of dimension $d$. We discuss the local homology modules of $H^d_I(M)$. When $M$ is Cohen-Macaulay, it is proved that $H^d_{{\frak…
Let $(R, \frak m)$ be a Noetherian local ring. This paper deals with the annihilator of Artinian local cohomology modules $H^i_{\frak m}(M)$ in the relation with the structure of the base ring $R$, for non negative integers $i$ and finitely…
For a flat commutative $k$-algebra $A$ such that the enveloping algebra $A\otimes_k A$ is noetherian, given a finitely generated bimodule $M$, we show that the adic completion of the Hochschild cohomology module $HH^n(A/k,M)$ is naturally…
Let $\mathfrak{a}$ denote an ideal of a commutative Noetherian ring $R$. Let $M$ and $N$ be two $R$-modules. In this paper, we give partial answers on the extension of Hartshorne's conjecture about the cofiniteness of torsion and extension…
Let $\mathfrak{a}$ be an ideal of a noetherian (not necessarily local) ring $R$ and $M$ an $R$-module with $\mathrm{Supp}_RM\subseteq\mathrm{V}(\mathfrak{a})$. We show that if $\mathrm{dim}_RM\leq2$, then $M$ is $\mathfrak{a}$-cofinite if…
For a finitely generated module $M$, over a commutative Noetherian local ring $(R, \mathfrak{m})$, it is shown that there exist only a finite number of non--isomorphic top local cohomology modules $\mathrm{H}_{\mathfrak{a}}^{\mathrm{dim}…
Let $(R,\mathfrak{m},k)$ be a Noetherian local ring and let $M$ be a finitely generated $R$-module. The main focus of this paper is to give positive answers for some long-standing homological conjectures over the idealization ring $R\ltimes…
We give an elementary proof of Grothendieck's non-vanishing Theorem: For a finitely generated non-zero module $M$ over a Noetherian local ring $A$ with maximal ideal $\m$, the local cohomology module $H^{\dim M}_{\m}(M)$ is non-zero.
Let $(R,\m)$ and $(S,\n)$ be commutative Noetherian local rings, and let $\phi:R\to S$ be a flat local homomorphism such that $\m S = \n$ and the induced map on residue fields $R/\m \to S/\n$ is an isomorphism. Given a finitely generated…
Let $(R,\fm)$ be a local ring, and let $C$ be a semidualizing complex. We establish the equality $r_R(Z) = \nu(\Ext^{g-\inf C}_R(Z,C))\mu^{\depth C}_R(\mathfrak{m}, C)$ for a homologically finite and bounded complex $Z$ with finite…
Let $\mathfrak a$ denote an ideal of a local ring $(R, \mathfrak m).$ Let $M$ be a finitely generated $R$-module. There is a systematic study of the formal cohomology modules $\varprojlim \HH^i(M/\mathfrak a^nM), i \in \mathbb Z.$ We…