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.     

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.     

Relative Projective Modules and Relative Injective Modules

Let R be a ring, and n and d fixed non-negative integers. An R-module M is called (n, d)-injective if Ext ^d+1 _R (P, M) = 0 for any n-presented R-module P. M is said to be (n, d)-projective if Ext¹ _R (M, N) = 0 for any (n, d)-injective R-module N. We use these concepts to characterize n-coherent rings and (n, d)-rings. Some known results are extended.     

Strongly FP-injective modules

A module M is called strongly FP-injective if Extⁱ(P,M) = 0 for any finitely presented module P and all i≥1. (Pre)envelopes and (pre)covers by strongly FP-injective modules are studied. We also use these modules to characterize coherent rings. An example is given to show that (strongly) FP-injective (pre)covers may fail to be exist in general. We also give an example of a module that is FP-injective but not strongly FP-injective.     

C-Pure Projective Modules

This paper investigates the structure of cyclically pure (or C-pure) projective modules. In particular, it is shown that a ring R is left Noetherian if and only if every C-pure projective left R-module is pure projective. Also, over a left hereditary Noetherian ring R, a left R-module M is C-pure projective if and only if M = N ⊕ P, where N is a direct sum of cyclic modules and P is a projective left R-module. The relationship C-purity with purity and RD-purity are also studied. It is shown that if R is a local duo-ring, then the C-pure projective left R-modules and the pure projective left R-modules coincide if and only if R is a principal ideal ring. If R is a left perfect duo-ring, then the C-pure projective left R-modules and the pure projective left R-modules coincide if and only if R is left Köthe (i.e., every left R-module is a direct sum of cyclic modules). Also, it is shown that for a ring R, if every C-pure projective left R-module is RD-projective, then R is left Noetherian, every p-injective left R-module is injective and every p-flat right R-module is flat. Finally, it is shown that if R is a left p.p-ring and every C-pure projective left R-module is RD-projective, then R is left Noetherian hereditary. The converse is also true when R is commutative, but it does not hold in the noncommutative case.     

Modules having Baer summands

Let R be an arbitrary ring with identity and M a right R-module with S = End_R(M). Let F be a fully invariant submodule of M and I^?1(F) denotes the set {m∈M:Im?F} for any subset I of S. The module M is called F-Baer if I^?1(F) is a direct summand of M for every left ideal I of S. This work is devoted to the investigation of properties of F-Baer modules. We use F-Baer modules to decompose a module into two parts consists of a Baer module and a module determined by fully invariant submodule F, namely, for a module M, we show that M is F-Baer if and only if M = F⊕N where N is a Baer module. By using F-Baer modules, we obtain some new results for Baer rings.     

Coherent Rings and Gorenstein FP-Injective Modules

In this article, Gorenstein FP-injective modules are introduced and investigated. A left R-module M is called Gorenstein FP-injective if there is an exact sequence … → E ₁ → E ₀ → E ⁰ → E ¹ → … of FP-injective left R-modules with M = ker(E ⁰ → E ¹) such that Hom _R (P, ?) leaves the sequence exact whenever P is a finitely presented left R-module with pd _R (P) < ∞. Some properties of Gorenstein FP-injective modules are obtained. Several well-known classes of rings are characterized in terms of Gorenstein FP-injective modules.     

Some Remarks on Multiplication and Projective Modules II

All rings are commutative with identity and all modules are unital. Let R be a ring and M an R-module. In our recent work [6 Ali , M. M. , Smith D. J. ( 2004 ). Some remarks on multiplication and projective modules . Communications in Algebra 32 : 3897 – 3909 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] we investigated faithful multiplication modules and the properties they have in common with projective modules. In this article, we continue our study and investigate faithful multiplication and locally cyclic projective modules and give several properties for them. If M is either faithful multiplication or locally cyclic projective then M is locally either zero or isomorphic to R. We show that, if M is a faithful multiplication module or a locally cyclic projective module, then for every submodule N of M there exists a unique ideal Γ(N) ? Tr(M) such that N = Γ(N)M. We use this result to show that the structure of submodules of a faithful multplication or locally cyclic projective module and their traces are closely related. We also use the trace of locally cyclic projective modules to study their endomorphisms.     

Global dimension and left derived functors of Hom

It is well known that the right global dimension of a ring R is usually computed by the right derived functors of Hom and the left projective resolutions of right R-modules. In this paper, for a left coherent and right perfect ring R, we characterize the right global dimension of R, from another point of view, using the left derived functors of Hom and the right projective resolutions of right R-modules. It is shown that rD(R)≤n (n≥2) if and only if the gl right Proj-dim MR≤n - 2 if and only if Extn-1(N, M) = 0 for all right R-modules N and M if and only if every (n - 2)th Proj-cosyzygy of a right R-module has a projective envelope with the unique mapping property. It is also proved that rD(R)≤n (n≥1) if and only if every (n-1)th Proj-cosyzygy of a right R-module has an epic projective envelope if and only if every nth Vroj-cosyzygy of a right R-module is projective. As corollaries, the right hereditary rings and the rings R with rD(R)≤2 are characterized.     

Some Aspects of Strongly P-projective Modules and Homological Dimensions

A left R-module M is called strongly P-projective if Extⁱ(M, P) = 0 for all projective left R-modules P and all i ≥ 1. In this article, we first discuss properties of strongly P-projective modules. Then we introduce and study the strongly P-projective dimensions of modules and rings. The relations between the strongly P-projective dimension and other homological dimensions are also investigated.     

Simple-Baer Rings and Minannihilator Modules

Let R be a ring. M is said to be a minannihilator left R-module if r _M l _R (I) = IM for any simple right ideal I of R. A right R-module N is called simple-flat if Nl _R (I) = l _N (I) for any simple right ideal I of R. R is said to be a left simple-Baer (resp., left simple-coherent) ring if the left annihilator of every simple right ideal is a direct summand of _R R (resp., finitely generated). We first obtain some properties of minannihilator and simple-flat modules. Then we characterize simple-coherent rings, simple-Baer rings, and universally mininjective rings using minannihilator and simple-flat modules.     

Strongly Duo Modules and Rings

An R-module M is called strongly duo if Tr(N, M) = N for every N ≤ M _R . Several equivalent conditions to being strongly duo are given. If M _R is strongly duo and reduced, then End _R (M) is a strongly regular ring and the converse is true when R is a Dedekind domain and M _R is torsion. Over certain rings, nonsingular strongly duo modules are precisely regular duo modules. If R is a Dedekind domain, then M _R is strongly duo if and only if either M ≈ R or M _R is torsion and duo. Over a commutative ring, strongly duo modules are precisely pq-injective duo modules and every projective strongly duo module is a multiplication module. A ring R is called right strongly duo if R _R is strongly duo. Strongly regular rings are precisely reduced (right) strongly duo rings. A ring R is Noetherian and all of its factor rings are right strongly duo if and only if R is a serial Artinian right duo ring.     

Mod-Retractable Rings

A right module M over a ring R is said to be retractable if Hom _R (M, N) ≠ 0 for each nonzero submodule N of M. We show that M ? _R RG is a retractable RG-module if and only if M _R is retractable for every finite group G. The ring R is (finitely) mod-retractable if every (finitely generated) right R-module is retractable. Some comparisons between max rings, semiartinian rings, perfect rings, noetherian rings, nonsingular rings, and mod-retractable rings are investigated. In particular, we prove ring-theoretical criteria of right mod-retractability for classes of all commutative, left perfect, and right noetherian rings.     

Another Gorenstein analogue of flat modules

A right R-module M is called glat if any homomorphism from any finitely presented right R-module to M factors through a finitely presented Gorenstein projective right R-module. The concept of glat modules may be viewed as another Gorenstein analogue of flat modules. We first prove that the class of glat right R-modules is closed under direct sums, direct limits, pure quotients and pure submodules for arbitrary ring R. Then we obtain that a right R-module M is glat if and only if M is a direct limit of finitely presented Gorenstein projective right R-modules. In addition, we explore the relationships between glat modules and Gorenstein flat (Gorenstein projective) modules. Finally we investigate the existence of preenvelopes and precovers by glat and finitely presented Gorenstein projective modules.     

A Note on Relative Flatness and Coherence

Let R be a ring and M a fixed right R-module. A new characterization of M-flatness is given by certain linear equations. For a left R-module F such that the canonical map M? _R F → Hom _R (M?, F) is injective, where M? = Hom _R (M, R), the M-flatness of F is characterized via certain matrix subgroups. An example is given to show that R need not be M-coherent even if every left R-module is M-flat. Moreover, some properties of M-coherent rings are discussed.     

On Covers and Envelopes in Some Functor Categories

We study the existence of covers and envelopes by some special functors on the category of finitely presented modules. As an application, we characterize some important rings using these functors. We also investigate homological properties of some functors on the stable module category. The relationship between phantoms and Ext-phantoms is obtained. It is shown that every left R-module M has an Ext-phantom preenvelope f: M → N with coker(f) pure-projective. Finally, we prove that, as a torsionfree class of (mod-R, Ab), (mod-R, Ab) is generated by the FP-injective objects.     

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.     

Weak Global Dimension of Coherent Rings

In this article, we study the weak global dimension of coherent rings in terms of the left FP-injective resolutions of modules. Let R be a left coherent ring and ? ? the class of all FP-injective left R-modules. It is shown that wD(R) ≤ n (n ≥ 1) if and only if every nth ? ?-syzygy of a left R-module is FP-injective; and wD(R) ≤ n (n ≥ 2) if and only if every (n ? 2)th ? ?-syzygy in a minimal ? ?-resolution of a left R-module has an FP-injective cover with the unique mapping property. Some results for the weak global dimension of commutative coherent rings are also given.