Related papers: Hom and Ext, Revisited

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$, $M$ and $N$ be two finitely generated $R$-modules. Let $t$ be a positive integer. We prove that if $R$ is local with maximal ideal $\fm$ and $ M\otimes_R N$ is of finite…

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 $I$ and $J$ be two ideals of a commutative Noetherian ring $R$ and $M$ be an $R$-module. For a non-negative integer $n$ it is shown that, if the sets $\Ass_R(\Ext^{n} _{R}(R/I,M))$ and $\Supp_R(\Ext^{i}_{R}(R/I,H^{j}_{I,J} (M)))$ are…

Let R be a commutative ring and S be an R-algebra. It is well-known that if N is an injective R-module, then Hom(S,N) is an injective S-module. The converse is not true, not even if R is a commutative noetherian local ring and S is its…

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 R be a Noetherian standard graded ring, and M and N two finitely generated graded R-modules. We introduce reg_R (M,N) by using the notion of generalized local cohomology instead of local cohomology, in the definition of regularity. We…

We describe new classes of noetherian local rings $R$ whose finitely generated modules $M$ have the property that $Tor_i^R(M,M)=0$ for $i\gg 0$ implies that $M$ has finite projective dimension, or $Ext^i_R(M,M)=0$ for $i\gg 0$ implies that…

We investigate homological and depth-theoretic properties of finitely generated modules of finite projective dimension over Noetherian local rings. A central theme is the study of criteria for freeness and reflexivity derived from the…

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$ and $M$ a finitely generated $R$--module. Let $t$ be a non-negative integer such that $\H^i_\fa(M)$ is $\fa$--cofinite for all $i<t$. It is well--known that…

For a finitely generated module $ M $ over a commutative Noetherian ring $R$, we settle the Auslander-Reiten conjecture when at least one of ${\rm Hom}_R(M,R)$ and ${\rm Hom}_R(M,M)$ has finite injective dimension. A number of new…

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…

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…

The primary goal of this paper is to investigate the structure of irreducible monomorphisms to and irreducible epimorphisms from finitely generated free modules over a noetherian local ring. Then we show that over such a ring,…

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…

Let $R$ denote a commutative Noetherian (not necessarily local) ring, $M$ an arbitrary $R$-module and $I$ an ideal of $R$ of dimension one. It is shown that the $R$-module $\Ext^i_R(R/I,M)$ is finitely generated (resp. weakly Laskerian) for…

It is proved that a module M over a commutative noetherian ring R is injective if Ext^i((R/p)_p,M)=0 holds for every i\ge 1 and every prime ideal p in R. This leads to the following characterization of injective modules: If F is faithfully…

Let $R$ be a commutative Noetherian ring with non-zero identity, $\mathfrak{a}$ an ideal of $R$, $M$ a finitely generated $R$--module, and $X$ an arbitrary $R$--module. In this paper, for non-negative integers $s, t$ and a finitely…

Let $\frak a$ be an ideal of a commutative noetherian ring $R$ with unity and $M$ an $R$-module supported at $\V(\fa)$. Let $n$ be the supermum of the integers $i$ for which $H^{\fa}_i(M)\neq 0$. We show that $M$ is $\fa$-cofinite if and…

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…

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…