Related papers: A criterion for I-adic completeness
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 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 ring, $\fa$ an ideal of $R$ and $M,N$ finite $R$--modules. We prove that the following statements are equivalent. \begin{enumerate} \item[(i)] $\lc^{i}_{\fa}(M,N)$ is finite for all $i< n$. \item[(ii)]…
Let $R$ be a commutative Noetherian ring. We give criteria for flatness of $R$-modules in terms of associated primes and torsion-freeness of certain tensor products. This allows us to develop a criterion for regularity if $R$ has…
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$ be a commutative Noetherian ring and $I$ be an ideal of $R$. In this article we answer affirmatively a question raised by the present author in \cite{B2}. Also, as an immediate consequence of this result it is shown that the…
Let $R=\bigoplus_{i\geq 0}R_i$ be a Noetherian commutative non-negatively graded ring such that $(R_0,\mathfrak{m}_0)$ is a Henselian local ring. Let $\mathfrak{m}$ be its unique graded maximal ideal $\mathfrak{m}_0+\bigoplus_{i>0}R_i$. Let…
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…
It is proved that a noetherian commutative local ring A containing a field is regular if there is a complex M of free A-modules with the following properties: M_i=0 for i not in [0,dim A]; the homology of M has finite length; H_0(M)…
Let M, N be free modules over a Noetherian commutative ring R and let F be a field such that card(F) does not exceed the continuum. Then : (1) The assertion that [Any two F-vector spaces with isomorphic duals are isomorphic] is equivallent…
In this paper we prove the following generalization of a result of Hartshorne: Let $(S,\n)$ be a regular local ring of dimension $4$. Assume that $x,y,u,v$ is a regular system of parameters for $S$ and $a:=xu+yv$. Then for each finitely…
Let $M$ be a left module over a ring $R$ and $I$ an ideal of $R$. $M$ is called an $I$-supplemented module (finitely $I$-supplemented module) if for every submodule (finitely generated submodule) $X$ of $M$, there is a submodule $Y$ of $M$…
Let $R$ be a commutative ring with the unit element. It is shown that an ideal $I$ in $R$ is pure if and only if Ann$(f)+I=R$ for all $f\in I$. If $J$ is the trace of a projective $R$-module $M$, we prove that $J$ is generated by the…
Let $A$ be a Noetherian ring, $J\subseteq A$ an ideal and $C$ a finitely generated $A$-module. In this note we would like to prove the following statement. Let $\{I_n\}_{n\geq 0}$ be a collection of ideals satisfying : (i) $I_n\supseteq…
Let $M$ be a left module over a ring $R$ and $I$ an ideal of $R$. We call $(P, f)$ a (locally)projective $I$-cover of $M$ if $f$ is an epimorphism from $P$ to $M$, $P$ is (locally)projective, $Kerf\subseteq IP$, and whenever $P=Kerf+X$,…
Let A be a locally m-convex Fr\'echet algebra. We give a necessary and sufficient condition for a cyclic Fr\'echet A-module X=A_+/I to be strictly flat, generalizing thereby a criterion of Helemskii and Sheinberg. To this end, we introduce…
Let R be a commutative noetherian local ring. A finitely generated R-module C is semidualizing if it is self-orthogonal and satisfies the condition Hom_R(C,C) \cong R. We prove that a Cohen-Macaulay ring R with dualizing module D admits a…
Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$ and $\mathcal{D}(R)$ denote the derived category of $R$-modules. We investigate the theory of local homology in conjunction with Gorenstein flat modules. Let $X$ be a…
Let $n$ be a non-negative integer, $R$ a commutative Noetherian ring, $\mathfrak{a}$ an ideal of $R$, $M$ and $N$ two finitely generated $R$-modules, and $X$ an arbitrary $R$-module. In this paper, we study cofiniteness and finiteness of…
Let $R$ denote a Noetherian ring and an ideal $J \subset R$ with $U = \operatorname{Spec R} \setminus V(J)$. For an $R$-module $M$ there is an isomorphism $\Gamma(U, \tilde{M}) \cong \varinjlim \operatorname{Hom}_R(J^n,M)$ known as…