δ-M-Small and δ-Harada Modules

Let M be a right R-module and N ∈ σ[M]. A submodule K of N is called δ-M-small if, whenever N = K + X with N/X M-singular, we have N = X. N is called a δ-M-small module if N? K, K is δ-M-small in L for some K, L ∈ σ[M]. In this article, we prove that if M is a finitely generated self-projective generator in σ[M], then M is a Noetherian QF-module if and only if every module in σ[M] is a direct sum of a projective module in σ[M] and a δ-M-small module. As a generalization of a Harada module, a module M is called a δ-Harada module if every injective module in σ[M] is δ _M -lifting. Some properties of δ-Harada modules are investigated and a characterization of a Harada module is also obtained.     

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.     

On Fully Idempotent Modules

A submodule N of a module M is idempotent if N = Hom(M, N)N. The module M is fully idempotent if every submodule of M is idempotent. We prove that over a commutative ring, cyclic idempotent submodules of any module are direct summands. Counterexamples are given to show that this result is not true in general. It is shown that over commutative Noetherian rings, the fully idempotent modules are precisely the semisimple modules. We also show that the commutative rings over which every module is fully idempotent are exactly the semisimple rings. Idempotent submodules of free modules are characterized.     

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.     

Forcing Linearity Numbers for Multiplication Modules

In this article, we prove that for any multiplication module M, the forcing linearity number of M, fln(M), belongs to {0,1,2}, and if M is finitely generated whose annihilator is contained in only finitely many maximal ideals, then fln(M) = 0. Also, the forcing linearity numbers of multiplication modules over some special rings are given. We also show that every multiplication module is semi-endomorphal.     

On ADS Modules and Rings

A right module M over a ring R is said to be ADS if for every decomposition M = S ⊕ T and every complement T′ of S, we have M = S ⊕ T′. In this article, we study and provide several new characterizations of this new class of modules. We prove that M is semisimple if and only if every module in σ[M] is ADS. SC and SI rings also characterized by the ADS notion. A ring R is right SC-ring if and only if every 2-generated singular R-module is ADS.     

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.     

Cohen–Macaulay Modules and Holonomic Modules Over Filtered Rings

We study Gorenstein dimension and grade of a module M over a filtered ring whose associated graded ring is a commutative Noetherian ring. An equality or an inequality between these invariants of a filtered module and its associated graded module is the most valuable property for an investigation of filtered rings. We prove an inequality G?dim M ≤ G?dim gr M and an equality grade M = grade gr M, whenever Gorenstein dimension of gr M is finite (Theorems 2.3 and 2.8). We would say that the use of G-dimension adds a new viewpoint for studying filtered rings and modules. We apply these results to a filtered ring with a Cohen–Macaulay or Gorenstein associated graded ring and study a Cohen–Macaulay, perfect, or holonomic module.     

McCoy modules and related modules over commutative rings

Let M be a left R-module. Then M is a McCoy (resp., dual McCoy) module if for nonzero f(X)∈R[X] and m(X)∈M[X], f(X)m(X) = 0 implies there exists a nonzero r∈R (resp., m∈M) with rm(X) = 0 (resp., f(X)m = 0). We show that for R commutative every R-module is dual McCoy, but give an example of a non-McCoy module. A number of other results concerning (dual) McCoy modules as well as arithmetical, Gaussian, and Armendariz modules are given.     

Freeness of orthogonal modules

A finitely generated module M over a commutative ring with unit R is said to be orthogonal stably free of type (n, m) if M is isomorphic to the solution space of a mxn matrix α such that αα^t=I_m. Geramita and Pullman have defined “generic” orthogonal stably free modules for each possible type and have obtained results on the freeness of these modules and on the supremum of the ranks of their free direct summands. We obtain further results of this type, concerning the generic modules of Geramita and Pullman as well as their sums with free modules and, in a few cases, their iterated sums. The last results are related to a theorem of T.Y. Lam stating that the iterated sum r · M of a stably free module M is free if r is greater than some lower bound. This lower bound is shown to be best possible in some cases.     

The Nakayama Property of a Module and Related Concepts

Three related properties of a module are investigated in this article, namely the Nakayama property, the Maximal property, and the S-property. A module M has the Nakayama property if 𝔞M = M for an ideal 𝔞 implies that sM = 0 for some s ∈ 𝔞 + 1. A module M has the Maximal property if there is in M a maximal proper submodule, and finally, M is said to have the S-property if S ^?1 M = 0 for a multiplicatively closed set S implies that sM = 0 for some s ∈ S.     

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 (Semi)Regular Morphisms

Let M and N be right R-modules. Hom(M, N) is called regular if for each f ∈ Hom(M, N), there exists g ∈ Hom(N, M) such that f = fgf. Let [M, N] = Hom _R (M, N). We prove that if M is finitely generated, then [M, N] is regular if and only if every homomorphism M → N is locally split. In this article, we also study the substructures of Hom(M, N) such as the Jacobson radical J[M, N], the singular ideal Δ[M, N], and the co-singular ideal ?[M, N]. We prove several new results. The question is to characterize when the Jacobson radical is equal to the singular ideal Δ[M, N] or the co-singular ideal ?[M, N] under injectivity and projectivity.     

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.     

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.     

Simple-Direct-Projective Modules

In this paper, we introduce and study the dual notion of simple-direct-injective modules. Namely, a right R-module M is called simple-direct-projective if, whenever A and B are submodules of M with B simple and M/A ? B ?^⊕M, then A ?^⊕M. Several characterizations of simple-direct-projective modules are provided and used to describe some well-known classes of rings. For example, it is shown that a ring R is artinian and serial with J²(R) = 0 if and only if every simple-direct-projective right R-module is quasi-projective if and only if every simple-direct-projective right R -module is a D3-module. It is also shown that a ring R is uniserial with J²(R) = 0 if and only if every simple-direct-projective right R-module is a C3-module if and only if every simple-direct-injective right R -module is a D3-module.     

Rugged modules: The opposite of flatness

Relative notions of flatness are introduced as a mean to gauge the extent of the flatness of any given module. Every module is thus endowed with a flatness domain and, for every ring, the collection of flatness domains of all of its modules is a lattice with respect to class inclusion. This lattice, the flatness profile of the ring, allows us, in particular, to focus on modules which have a smallest flatness domain (namely, one consisting of all regular modules.) We establish that such modules exist over arbitrary rings and we call them Rugged Modules. Rings all of whose (cyclic) modules are rugged are shown to be precisely the von Neumann regular rings. We consider rings without a flatness middle class (i.e., rings for which modules must be either flat or rugged.) We obtain that, over a right Noetherian ring every left module is rugged or flat if and only if every right module is poor or injective if and only if R = S×T, where S is semisimple Artinian and T is either Morita equivalent to a right PCI-domain, or T is right Artinian whose Jacobson radical properly contains no nonzero ideals. Character modules serve to bridge results about flatness and injectivity profiles; in particular, connections between rugged and poor modules are explored. If R is a ring whose regular left modules are semisimple, then a right module M is rugged if and only if its character left module M⁺ is poor. Rugged Abelian groups are fully characterized and shown to coincide precisely with injectively poor and projectively poor Abelian groups. Also, in order to get a feel for the class of rugged modules over an arbitrary ring, we consider the homological ubiquity of rugged modules in the category of all modules in terms of the feasibility of rugged precovers and covers for arbitrary modules.     

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.