IFP-Flat Modules and IFP-Injective Modules

In this article, we introduce the concept of IFP-flat (resp., IFP-injective) modules as nontrivial generalization of flat (resp., injective) modules. We investigate the properties of these modules in various ways. For example, we show that the class of IFP-flat (resp., IFP-injective) modules is closed under direct products and direct sums. Therefore, the direct product of flat modules is not flat in general; however, the direct product of flat modules is IFP-flat over any ring. We prove that (^⊥??, ??) is a complete cotorsion theory and (??, ??^⊥) is a perfect cotorsion theory, where ?? stands for the class of all IFP-injective left R-modules, and ?? denotes the class of all IFP-flat right R-modules.     

Graded Endomorphism Rings and Equivalences

Abstract

Let R be a G-graded ring,M a G-graded Σ-quasiprojective R- module,and E = END _R (M) its graded ring of endomorphisms. For any subgroup H of G,we prove that certain full subcategories of G/H-graded R-modules associated with M are equivalent to a quotient category of G/H-graded E-modules determined by the idempotent G-graded ideal of E consisting of endomorphisms which factor through a finitely generated submodule of M. Properties and applications of these equivalences are also examined.     

Weak-Injective Modules of Weak Dimension at Most One

We consider modules over integral domains R. A main purpose is to show that certain module properties assumed on R-modules of weak dimension ≤1 imply that these properties are shared by all modules in the category of R-modules.

Also we prove several results involving modules of weak dimension ≤1.     

Complexes of Gorenstein Flat Modules and Gorenstein Cotorsion Modules

A complex (C, δ) is called strongly Gorenstein flat if C is exact and Ker δ ⁿ is Gorenstein flat in R-Mod for all n ∈ ?. Let 𝒮𝒢 stand for the class of strongly Gorenstein flat complexes. We show that a complex C of left R-modules over a right coherent ring R is in the right orthogonal class of 𝒮𝒢 if and only if C ⁿ is Gorenstein cotorsion in R-Mod for all n ∈ ? and Hom^.(G, C) is exact for any strongly Gorenstein flat complex G. Furthermore, a bounded below complex C over a right coherent ring R is in the right orthogonal class of 𝒮𝒢 if and only if C ⁿ is Gorenstein cotorsion in R-Mod for all n ∈ ?. Finally, strongly Gorenstein flat covers and 𝒮𝒢^⊥-envelopes of complexes are considered. For a right coherent ring R, we show that every bounded below complex has a 𝒮𝒢^⊥-envelope.     

On Divisible and Torsionfree Modules

A ring R is called left P-coherent in case each principal left ideal of R is finitely presented. A left R-module M (resp. right R-module N) is called D-injective (resp. D-flat) if Ext¹(G, M) = 0 (resp. Tor₁(N, G) = 0) for every divisible left R-module G. It is shown that every left R-module over a left P-coherent ring R has a divisible cover; a left R-module M is D-injective if and only if M is the kernel of a divisible precover A → B with A injective; a finitely presented right R-module L over a left P-coherent ring R is D-flat if and only if L is the cokernel of a torsionfree preenvelope K → F with F flat. We also study the divisible and torsionfree dimensions of modules and rings. As applications, some new characterizations of von Neumann regular rings and PP rings are given.     

On Strongly Copure Flat Modules and Copure Flat Dimensions

Let R be a left coherent ring. We first prove that a right R-module M is strongly copure flat if and only if Ext ⁱ (M, C) = 0 for all flat cotorsion right R-modules C and i ≥ 1. Then we define and investigate copure flat dimensions of left coherent rings. Finally, we give some new characterizations of n-FC rings.     

Characterization of Quasi-Coherent Modules that are Module Schemes

Let R be a commutative ring with unit, and let E be an R-module. We say the functor of R-modules E, defined by E(B) = E ? _R B, is a quasi-coherent R-module, and its dual E* is an R-module scheme. Both types of R-module functors are essential for the development of the theory of the linear representations of an affine R-group. We prove that a quasi-coherent R-module E is an R-module scheme if and only if E is a projective R-module of finite type, and, as a consequence, we also characterize finitely generated projective R-modules.     

Weakly Stable Modules

ABSTRACT

A new notion which is called weakly stable module is introduced in this article. It is a nontrivial generalization of the modules with endomorphism rings having stable range one. We deduce that weakly stable projective modules have the cancellation property, and so any commutative hereditary ring has the cancellation property, i.e., if R is a commutative hereditary ring, then for any R-modules B and C, R ⊕ B ? R ⊕ C implies B ? C.     

Flat and Stably Flat Modules

We study Kropholler's generalisation of Lazard's criterion for a module to be flat. The context is complete cohomology and modules of type (FP)_∞. Let G be a group in the class ₁ of groups which act on a finite dimensional contractible cell complex with finite stabilisers and let R be a strongly G-graded algebra. We provide a characterisation of the stably flat R-modules under the assumption that R₁ is coherent of finite global dimension.     

The Mal'cev Rank for Modules over Pseudo-Valuation Domains

Let R be a commutative ring and A be an R-module. The Mal'cev rank μ(A) of A is the sup of genN, where N ranges over the finitely generated submodules of A, and genN is the minimum number of generators of N. We prove that μ is both sub-additive and pre-additive as an invariant of Mod(R). Our main goal is to investigate μ for modules over pseudo-valuation domains. Specifically, we establish which pseudo-valuation domains R satisfy the property that an R-module of finite Mal'cev rank must be finitely generated. We split the class 𝒞 of pseudo-valuation domains as a union 𝒞 = 𝒞₁ ∪ 𝒞₂ ∪ 𝒞₃ ∪ 𝒞₄ of suitably defined subclasses, and prove that the property holds if and only if R ∈ 𝒞₃ ∪ 𝒞₄. In that case we can describe the R-modules A where μ(A) < ∞. We also show that, for R ∈ 𝒞₄, there exist indecomposable R-modules of arbitrarily large finite Mal'cev rank.     

Localization of Injective Modules Over Arithmetical Rings

It is proved that localizations of injective R-modules of finite Goldie dimension are injective if R is an arithmetical ring satisfying the following condition: for every maximal ideal P, R _P is either coherent or not semicoherent. If, in addition, each finitely generated R-module has finite Goldie dimension, then localizations of finitely injective R-modules are finitely injective too. Moreover, if R is a Prüfer domain of finite character, localizations of injective R-modules are injective.     

The hereditary monocoreflective subcategories of Abelian groups and R-modules

The non-trivial hereditary monocoreflective subcategories of the Abelian groups are the following ones: {G ?? Ob Ab | G is a torsion group, and for all g ?? G the exponent of any prime p in the prime factorization of o(g) is at most E(p)}, where E(·) is an arbitrary function from the prime numbers to {0, 1, 2, ??,??}. (o(·) means the order of an element, and n ?? ?? means n < ??.) This result is dualized to the category of compact Hausdorff Abelian groups (the respective subcategories are {G ?? Ob CompAb | G has a neighbourhood subbase {G _?? } at 0, consisting of open subgroups, such that G/G _?? is cyclic, of order like o(g) above}), and is generalized to categories of unitary R-modules for R an integral domain that is a principal ideal domain. For general rings R with 1, an analogous theorem holds, where the hereditary monocoreflective subcategories of unitary left R-modules are described with the help of filters L in the lattice of the left ideals of the ring R. These subcategories consist of those left R-modules, for which the annihilators of all elements belong to L. If R is commutative, then this correspondence between these subcategories and these filters L is bijective.     

Modules over group rings of soluble groups with a certain condition of maximality

Let A be an R G-module, where R is an integral domain and G is a soluble group. Suppose that C _G (A) = 1 and A/C _A (G) is not a noetherian R-module. Let L _nnd(G) be the family of all subgroups H of G such that A/C _A (H) is not a noetherian R-module. In this paper we study the structure of those G for which L _nnd(G) satisfies the maximal condition.     

Modules with the Direct Summand Sum Property

The present work gives some characterizations of R-modules with the direct summand sum property (in short DSSP), that is of those R-modules for which the sum of any two direct summands, so the submodule generated by their union, is a direct summand, too. General results and results concerning certain classes of R-modules (injective or projective) with this property, over several rings, are presented.     

Weak-Injective Modules

Pure-injective and RD-injective R-modules over domains R have been investigated by many authors. We introduce another class of R-modules, called weak-injective modules, which turn out to be useful in addressing several unanswered questions between the two classes of modules. We also find that this class is an envelope class over any domain, giving a partial answer to the existence of envelope classes in the hierarchy of injective and divisible modules.

Communicated by I. Swanson.     

Modules with pure resolutions

Let R a standard graded algebra over a field k. In this paper, we give a relation in terms of graded Betti numbers, called the Herzog–Kühl equations, for a pure R-module M to satisfy the condition dim(R)?depth(R) = dim(M)?depth(M). When R is Cohen–Macaulay, we prove an analogous result characterizing all graded Cohen–Macaulay R-modules of finite projective dimension. Finally, as an application, we show that the property of R being Cohen–Macaulay is characterized by the existence of pure Cohen–Macaulay R-modules corresponding to any degree sequence of length at most depth(R).     

Finitely Generated Flat Modules and a Characterization of Semiperfect Rings

Abstract

For a ring S, let K ₀(FGFl(S)) and K ₀(FGPr(S)) denote the Grothendieck groups of the category of all finitely generated flat S-modules and the category of all finitely generated projective S-modules respectively. We prove that a semilocal ring Ris semiperfect if and only if the group homomorphism K ₀(FGFl(R)) → K ₀(FGFl(R/J(R))) is an epimorphism and K ₀(FGFl(R)) = K ₀(FGPr(R)).     

On Stability of Gorenstein Categories

We show that an iteration of the procedure used to define the Gorenstein projective modules over a ring R yields exactly the Gorenstein projective modules. Specifically, given an exact sequence of Gorenstein projective left R-modules G = … → G ₁ → G ₀ → G ⁰ → G ¹ → … such that the complex Hom _R (G, H) is exact for each projective left R-module H, the module Im(G ₀ → G ⁰) is Gorenstein projective. We also get similar results for Gorenstein flat left R-modules when R is a right coherent ring. As applications, we obtain the corresponding results for Gorenstein complexes.     

Relative Gorenstein injective covers with respect to a semidualizing module

Let R be a commutative Noetherian ring and let C be a semidualizing R-module. We prove a result about the covering properties of the class of relative Gorenstein injective modules with respect to C which is a generalization of Theorem 1 by Enochs and Iacob (2015). Specifically, we prove that if for every G _C -injective module G, the character module G ⁺ is G _C -flat, then the class \(\mathcal{GI}_{C}(R)\cap\mathcal{A}_C(R)\) is closed under direct sums and direct limits. Also, it is proved that under the above hypotheses the class \(\mathcal{GI}_{C}(R)\cap\mathcal{A}_C(R)\) is covering.