A generalization of the finiteness problem in local cohomology modules

Let a be an ideal of a commutative Noetherian ring R with non-zero identity and let N be a weakly Laskerian R-module and M be a finitely generated R-module. Let t be a non-negative integer. It is shown that if H _a ⁱ (N) is a weakly Laskerian R-module for all i < t, then Hom _R (R/a, H _a ^t (M, N)) is weakly Laskerian R-module. Also, we prove that Ext _R ⁱ (R/a, H _a ^t )) is weakly Laskerian R-module for all i = 0, 1. In particular, if Supp _R (H _a ⁱ (N)) is a finite set for all i < t, then Ext _R ⁱ (R/a, H _a ^t (N)) is weakly Laskerian R-module for all i = 0, 1.     

Finiteness properties of minimax and coatomic local cohomology modules

Let R be a noetherian ring, \mathfraka{\mathfrak{a}} an ideal of R, and M an R-module. We prove that for a finite module M, if Hⁱ_\mathfraka(M){{\rm H}^{i}_{\mathfrak{a}}(M)} is minimax for all i ≥ r ≥ 1, then Hⁱ_\mathfraka(M){{\rm H}^{i}_{\mathfrak{a}}(M)} is artinian for i ≥ r. A local–global principle for minimax local cohomology modules is shown. If Hⁱ_\mathfraka(M){{\rm H}^{i}_{\mathfrak{a}}(M)} is coatomic for i ≤ r (M finite) then Hⁱ_\mathfraka(M){{\rm H}^{i}_{\mathfrak{a}}(M)} is finite for i ≤ r. We give conditions for a module which is locally minimax to be a minimax module. A non-vanishing theorem and some vanishing theorems are proved for local cohomology modules.     

Some results on the local cohomology of minimax modules

Let R be a commutative Noetherian ring with identity and I an ideal of R. It is shown that, if M is a non-zero minimax R-module such that dim Supp H _I ⁱ (M) ? 1 for all i, then the R-module H _I ⁱ (M) is I-cominimax for all i. In fact, H _I ⁱ (M) is I-cofinite for all i ? 1. Also, we prove that for a weakly Laskerian R-module M, if R is local and t is a non-negative integer such that dim Supp H _I ⁱ (M) ? 2 for all i < t, then Ext _R ^j (R/I,H _I ⁱ (M)) and Hom _R (R/I,H _I ^t (M)) are weakly Laskerian for all i < t and all j ? 0. As a consequence, the set of associated primes of H _I ⁱ (M) is finite for all i ? 0, whenever dim R/I ? 2 and M is weakly Laskerian.     

A Note on the Associated Primes of Local Cohomology Modules

In this note we give a simple proof of the following result: Let R be a commutative Noetherian ring,  an ideal of R and M a finite R-module, if H_ ⁱ (M) has finite support for all i < n, then Ass(H_ ⁿ (M)) is finite.     

On Copure Projective Modules and Copure Projective Dimensions

Let R be any ring. A right R-module M is called n-copure projective if Ext¹(M, N) = 0 for any right R-module N with fd(N) ≤ n, and M is said to be strongly copure projective if Ext ⁱ (M, F) = 0 for all flat right R-modules F and all i ≥ 1. In this article, firstly, we present some general properties of n-copure projective modules and strongly copure projective modules. Then we define and investigate copure projective dimensions of modules and rings. Finally, more properties and applications of n-copure projective modules, strongly copure projective modules and copure projective dimensions are given over coherent rings with finite self-FP-injective dimension.     

Generalizations of coatomic modules

For a ring R and a right R-module M, a submodule N of M is said to be δ-small in M if, whenever N+X=M with M/X singular, we have X=M. Let ℘ be the class of all singular simple modules. Then δ(M)=Σ{ L≤ M| L is a δ-small submodule of M} = Re _jm(℘)=∩{ N⊂ M: M/N∈℘. We call M δ-coatomic module whenever N≤ M and M/N=δ(M/N) then M/N=0. And R is called right (left) δ-coatomic ring if the right (left) R-module R _R(_RR) is δ-coatomic. In this note, we study δ-coatomic modules and ring. We prove M=⊕ _i=1 ⁿ M_i is δ-coatomic if and only if each M _i (i=1,…, n) is δ-coatomic.     

On Artinian generalized local cohomology modules

Let R be a commutative Noetherian ring with non-zero identity and a be a maximal ideal of R. An R-module M is called minimax if there is a finitely generated submodule N of M such that M/N is Artinian. Over a Gorenstein local ring R of finite Krull dimension, we proved that the Socle of H _a ⁿ (R) is a minimax R-module for each n ≥ 0.     

Matlis reflexive and generalized local cohomology modules

Let (R,m) be a complete local ring, a an ideal of R and N and L two Matlis reflexive R-modules with Supp(L) ⊆ V(a). We prove that if M is a finitely generated R-module, then Exti _R ⁱ (L, H _a ^j (M,N)) is Matlis reflexive for all i and j in the following cases:

Artinian cofinite modules over complete Noetherian local rings

Let (R, m) be a complete Noetherian local ring, I an ideal of R and M a nonzero Artinian R-module. In this paper it is shown that if p is a prime ideal of R such that dim R/p = 1 and (0:M p) is not finitely generated and for each i ? 2 the R-module Ext _R ⁱ (M,R/p) is of finite length, then the R-module Ext _R ¹ (M, R/p) is not of finite length. Using this result, it is shown that for all finitely generated R-modules N with Supp(N) ? V (I) and for all integers i ? 0, the R-modules Ext _R ⁱ (N,M) are of finite length, if and only if, for all finitely generated R-modules N with Supp(N) ? V (I) and for all integers i ? 0, the R-modules Ext _R ⁱ (M,N) are of finite length.     

On co-Hopficity of Injective Envelopes

A right R-module M is called co-Hopfian if injective endomorphisms of M _R are surjective. It is shown that E(M _R ) is co-Hopfian if and only if M _R does not contain an infinite direct sum ?_{i ? \mathbbN}W_i{{\oplus_{i \in \mathbb{N}}W_{i}}} of submodules such that each W _i+1 essentially embeds in W _i . For many modules M _R , including modules over a right FBN or right duo ring with Krull dimension, it is proved that E(M _R ) is co-Hopfian if and only if (\mathbbN){(\mathbb{N})} ↪̸ M _R for every non-zero X _R . For a ring which has enough uniforms, the class of modules with co-Hopfian injective envelope is the same as the class of modules with finite uniform dimension if and only if there are only finitely many isomorphism classes of indecomposable injective modules.     

t-Extending Modules and t-Baer Modules

We introduce the notions of “t-extending modules,” and “t-Baer modules,” which are generalizations of extending modules. The second notion is also a generalization of nonsingular Baer modules. We show that a homomorphic image (hence a direct summand) of a t-extending module and a direct summand of a t-Baer module inherits the property. It is shown that a module M is t-extending if and only if M is t-Baer and t-cononsingular. The rings for which every free right module is t-extending are called right Σ-t-extending. The class of right Σ-t-extending rings properly contains the class of right Σ-extending rings. Among other equivalent conditions for such rings, it is shown that a ring R is right Σ-t-extending, if and only if, every right R-module is t-extending, if and only if, every right R-module is t-Baer, if and only if, every nonsingular right R-module is projective. Moreover, it is proved that for a ring R, every free right R-module is t-Baer if and only if Z ₂(R _R ) is a direct summand of R and every submodule of a direct product of nonsingular projective R-modules is projective.     

On the finiteness properties of Matlis duals of local cohomology modules

Let R be a complete semi-local ring with respect to the topology defined by its Jacobson radical, a an ideal of R, and M a finitely generated R-module. Let D _R (−) := Hom _R (−, E), where E is the injective hull of the direct sum of all simple R-modules. If n is a positive integer such that Ext _R ^j (R/a, D _R (H _a ^t (M))) is finitely generated for all t > n and all j ⩾ 0, then we show that Hom _R (R/a, D _R (H _a ⁿ (M))) is also finitely generated. Specially, the set of prime ideals in Coass _R (H _a ⁿ (M)) which contains a is finite. Next, assume that (R, m) is a complete local ring. We study the finiteness properties of D _R (H _a ^r (R)) where r is the least integer i such that H _a ^r (R) is not Artinian.     

On the Matlis duals of local cohomology modules and modules of generalized fractions

Let (R, m) be a commutative Noetherian local ring with non-zero identity, a a proper ideal of R and M a finitely generated R-module with aM ≠ M. Let D(−) ≔ Hom _R (−, E) be the Matlis dual functor, where E ≔ E(R/m) is the injective hull of the residue field R/m. In this paper, by using a complex which involves modules of generalized fractions, we show that, if x ₁, …, x _n is a regular sequence on M contained in α, then H _{(x1, …,xnR} ⁿ D(H _a ⁿ (M))) is a homomorphic image of D(M), where H _b ⁱ (−) is the i-th local cohomology functor with respect to an ideal b of R. By applying this result, we study some conditions on a certain module of generalized fractions under which D(H _{(x1, …,xn)R} ⁿ (D(H _a ⁿ (M)))) ⋟ D(D(M)).     

Gorenstein injective modules and Auslander categories

In this paper, we study Gorenstein injective modules over a local Noetherian ring R. For an R-module M, we show that M is Gorenstein injective if and only if Hom _R (Ȓ,M) belongs to Auslander category B(Ȓ), M is cotorsion and Ext ⁱ _R (E,M) = 0 for all injective R-modules E and all i > 0. Received: 24 August 2006 Revised: 30 October 2006     

The genus of a module

Let R be a Dedekind domain satisfying the Jordan-Zassenhaus theorem (e.g., the ring of integers in a number field) and Λ a module finite R-algebra. We extend classical results of Jacobinski, Roiter, and Drozd on orders and lattices. In particular, it is shown that the genus of a finitely generated Λ-module M is finite. Moreover, given M, there exist a positive integer t and a finite extension S of R such that a Λ-module N is the genus of M if and only if M^(t) ? N^(t) if and only if M ? S ? N ? S.     

Contracting endomorphisms and Gorenstein modules

A finite module M over a noetherian local ring R is said to be Gorenstein if Extⁱ(k, M) = 0 for all i ≠ dim R. An endomorphism φ: R → R of rings is called contracting if for some i ≥ 1. Letting ^φR denote the R-module R with action induced by φ, we prove: A finite R-module M is Gorenstein if and only if Hom_R(^φR, M) ≅ M and Extⁱ_R(^φR, M) = 0 for 1 ≤ i ≤ depth R. Received: 7 December 2007     

Weighted sums of squares in local rings and their completions, I

Let A be an excellent local ring of real dimension ≤2, let T be a finitely generated preordering in A, and let ${\widehat{T}}We develop a structure theory for two classes of infinite dimensional modules over tame hereditary algebras: the Baer modules, and the Mittag-Leffler ones. A right R-module M is called Baer if ${{\rm Ext}^{1}_{R}\,(M, T)\,=\,0}We develop a structure theory for two classes of infinite dimensional modules over tame hereditary algebras: the Baer modules, and the Mittag-Leffler ones. A right R-module M is called Baer if Ext¹_R (M, T) = 0{{\rm Ext}^{1}_{R}\,(M, T)\,=\,0} for all torsion modules T, and M is Mittag-Leffler in case the canonical map M?_R ?_{i ? I}Q_i? ?_{i ? I}(M?_RQ_i){M\otimes_R \prod _{i\in I}Q_i\to \prod _{i\in I}(M\otimes_RQ_i)} is injective where {Q_i}_{i ? I}{\{Q_i\}_{i\in I}} are arbitrary left R-modules. We show that a module M is Baer iff M is p-filtered where p is the preprojective component of the tame hereditary algebra R. We apply this to prove that the universal localization of a Baer module is projective in case we localize with respect to a complete tube. Using infinite dimensional tilting theory we then obtain a structure result showing that Baer modules are more complex then the (infinite dimensional) preprojective modules. In the final section, we give a complete classification of the Mittag-Leffler modules.     

The associated primes of local cohomology modules over rings of small dimension

Let R be a commutative Noetherian local ring of dimension d, I an ideal of R, and M a finitely generated R-module. We prove that the set of associated primes of the local cohomology module H ⁱ _I (M) is finite for all i≥ 0 in the following cases: (1) d≤ 3; (2) d= 4 and $R$ is regular on the punctured spectrum; (3) d= 5, R is an unramified regular local ring, and M is torsion-free. In addition, if $d>0$ then H ^{d − 1} _I (M) has finite support for arbitrary R, I, and M. Received: 31 October 2000 / Revised version: 8 January 2001     

Finiteness of graded generalized local cohomology modules

We consider two finitely generated graded modules over a homogeneous Noetherian ring $R = \oplus _{n \in \mathbb{N}_0 } R_n$ with a local base ring (R ₀, m₀) and irrelevant ideal R ₊ of R. We study the generalized local cohomology modules H _b ⁱ (M,N) with respect to the ideal b = b₀ + R ₊, where b₀ is an ideal of R ₀. We prove that if dimR ₀/b₀ ≤ 1, then the following cases hold: for all i ≥ 0, the R-module H _b ⁱ (M,N)/a₀ H _b ⁱ (M,N) is Artinian, where $\sqrt {\mathfrak{a}_0 + \mathfrak{b}_0 } = \mathfrak{m}_0$ ; for all i ≥ 0, the set $Ass_{R_0 } \left( {H_\mathfrak{b}^i \left( {M,N} \right)_n } \right)$ is asymptotically stable as n→?∞. Moreover, if H _b ⁱ (M,N) _n is a finitely generated R ₀-module for all n ≤ n ₀ and all j < i, where n ₀ ∈ ? and i ∈ ?₀, then for all n ≤ n ₀, the set $Ass_{R_0 } \left( {H_\mathfrak{b}^i \left( {M,N} \right)_n } \right)$ is finite.     

Independence of the Total Reflexivity Conditions for Modules

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_Rⁱ(M,R)=0 for all i>0, but Ext_Rⁱ(M^*,R)≠0 for all i>0. Presented by Juergen Herzog Mathematics Subject Classification (2000) 13D07.