On M-coidempotent elements and fully coidempotent modules

Abstract

In this article, we introduce the notion of M-coidempotent elements of a ring and investigate their connections with fully coidempotent modules, fully copure modules and vn-regular modules where M is a module. We prove that if M is a finitely cogenerated module, then M is fully copure if and only if M is semisimple. We prove that if M is a Noetherian module or M is a finitely cogenerated module, then M is fully coidempotent if and only if M is a vn-regular module. Finally, we give a characterization of semisimple Artinian modules via weak idempotents.     

On Cofinitely Lifting and Cofinitely Weak Lifting Modules

We say that a module M is lifting if M is amply supplemented and every supplement submodule of M is a direct summand. The module M is called cofinitely lifting if it is amply cofinitely supplemented and every supplement of any cofinite submodule of M is a direct summand. In this article various properties of cofinitely lifting modules are given. In addition, a generalization of cofinitely lifting modules is investigated.     

Lifting Modules with Indecomposable Decompositions

A module M is called a “lifting module” if, any submodule A of M contains a direct summand B of M such that A/B is small in M/B. This is a generalization of projective modules over perfect rings as well as the dual of extending modules. It is well known that an extending module with ascending chain condition (a.c.c.) on the annihilators of its elements is a direct sum of indecomposable modules. If and when a lifting module has such a decomposition is not known in general. In this article, among other results, we prove that a lifting module M is a direct sum of indecomposable modules if (i) rad(M ^(I)) is small in M ^(I) for every index set I, or, (ii) M has a.c.c. on the annihilators of (certain) elements, and rad(M) is small in M.     

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.     

Weakly automorphism invariant modules and essential tightness

While a module is pseudo-injective if and only if it is automorphism-invariant, it was not known whether automorphism-invariant modules are tight. It is shown that weakly automorphism-invariant modules are precisely essentially tight. We give various examples of weakly automorphism-invariant and essentially tight modules and study their properties. Some particular results: (1) R is a semiprime right and left Goldie ring if and only if every right (left) ideal is weakly injective if and only if every right (left) ideal is weakly automorphism invariant; (2) R is a CEP-ring if and only if R is right artinian and every indecomposable projective right R-module is uniform and essentially R-tight.     

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.     

Singular and nonsingular modules relative to a torsion theory

In this paper, we introduce and study torsion-theoretic generalizations of singular and nonsingular modules by using the concept of τ-essential submodule for a hereditary torsion theory τ. We introduce two new module classes called τ-singular and non-τ-singular modules. We investigate some properties of these module classes and present some examples to show that these new module classes are different from singular and nonsingular modules. We give a characterization of τ-semisimple rings via non-τ-singular modules. We prove that if M∕τ(M) is non-τ-singular for a module M, then every submodule of M has a unique τ-closure. We give some properties of the torsion theory generated by the class of all τ-singular modules. We obtain a decomposition theorem for a strongly τ-extending module by using non-τ-singular modules.     

S-内射模及S-内射包络

设R是环.设S是一个左R-模簇,E是左R-模.若对任何N∈S,有Ext_R~1(N,E)=0,则E称为S-内射模.本文证明了若S是Baer模簇,则关于S-内射模的Baer准则成立;若S是完备模簇,则每个模有S-内射包络;若对任何单模N,Ext_R~1(N,E)=0,则E称为极大性内射模;若R是交换环,且对任何挠模N,Ext_R~1(N,E)=0,则E称为正则性内射模.作为应用,证明了每个模有极大性内射包络.也证明了交换环R是SM环当且仅当T/R的正则性内射包e(T/R)是∑-正则性内射模,其中T=T(R)表示R的完全分式环,当且仅当每一GV-无挠的正则性内射模是∑-正则性内射模.     

Another type of dimensions of modules and rings

Abstract

We say that a class Q of left R-modules is a monic class if a nonzero submodule of a module in Q is also a module in Q. For a monic class Q, we define a Q-dimension of modules that measures how far modules are from the modules in Q. For a monic class Q of indecomposable modules we characterize rings whose modules have Q-dimension. We prove that for an artinian principal ideal ring the Q-dimension coincides with the uniserial dimension. We also characterize when every module has Q-dimension.     

Infinite Direct Sums of Lifting Modules

A module M over a ring R is called a lifting module if every submodule A of M contains a direct summand K of M such that A/K is a small submodule of M/K (e.g., local modules are lifting). It is known that a (finite) direct sum of lifting modules need not be lifting. We prove that R is right Noetherian and indecomposable injective right R-modules are hollow if and only if every injective right R-module is a direct sum of lifting modules. We also discuss the case when an infinite direct sum of finitely generated modules containing its radical as a small submodule is lifting.     

On dual of square free modules

A module M is said to be square free if whenever its submodule is isomorphic to N² = N⊕N for some module N, then N = 0. Dually, a module M is said to be d-square free (dual square free) if whenever its factor module is isomorphic to N² for some module N, then N = 0. In this paper, we give some fundamental properties of d-square free modules and study rings whose d-square free modules are closed under submodules or essential extensions.     

Idealization and Theorems of D. D. Anderson

All rings are commutative with identity and all modules are unital. Anderson proved that a submodule N of an R-module M is multiplication (resp. join principal) if and only if 0₍₊₎ N is a multiplication (resp. join principal) ideal or R(M). The idealization of M. In this article we develop more fully the tool of idealization of a module, particularly in the context of multiplication modules, generalizing Anderson's theorems and discussing the behavior under idealization of some ideals and some submodules associated with a module.     

A generalization of silting modules and Tor-tilting modules

We introduce the concept of weak silting modules, which is a generalization of both silting modules and Tor-tilting modules. It is shown that W is a weak silting module if and only if its character module W⁺ is cosilting. Some properties of weak silting modules are given.     

Rings whose cyclic modules are lifting and ⊕-supplemented

It is proved that a semiperfect module is lifting if and only if it has a projective cover preserving direct summands. Three corollaries are obtained: (1) every cyclic module over a ring R is lifting if and only if every cyclic R-module has a projective cover preserving direct summands; (2) a ring R is artinian serial with Jacobson radical square-zero if and only if every (2-generated) R-module has a projective cover preserving direct summands; (3) a ring R is a right (semi-)perfect ring if and only if (cyclic) lifting R-module has a projective cover preserving direct summands, if and only if every (cyclic) R-module having a projective cover preserving direct summands is lifting. It is also proved that every cyclic module over a ring R is ⊕-supplemented if and only if every cyclic R-module is a direct sum of local modules. Consequently, a ring R is artinian serial if and only if every left and right R-module is a direct sum of local modules.     

On the closedness of taking injective hulls of several Serre subcategories

Belshoff and Xu showed that every Matlis reflexive module has a Matlis reflexive injective hull if and only if R is complete and has dimension less than or equal to 1. In this paper, we give a characterization of the closedness of taking injective hulls for a Serre subcategory consisting of Minimax modules. In addition, the closedness of taking injective hulls for a Serre subcategory consisting of extension modules of finitely generated modules by modules with finite support is characterized by the number of prime ideals. Our results provide a negative answer to Aghapournahr and Melkersson’s question concerning Melkersson subcategories.     

Some Remarks on Generalized GCD Domains

An integral domain R is a generalized GCD (GGCD) domain if the semigroup of invertible ideals of R is closed under intersection. In this article we extend the definition of PF-prime ideals to GGCD domains and develop a theory of these ideals which allows us to characterize Prüfer and π -domains among GGCD domains. We also introduce the concept of generalized GCD modules as a natural generalization of GGCD domains to the module case. An R-module M is a GGCD module if the set of invertible submodules of M is closed under intersection. We show that an integral domain R is a GGCD domain if and only if a faithful multiplication R-module M is a GGCD module. Various properties and characterizations of faithful multiplication GGCD modules over integral domains are considered and consequently, necessary and sufficient conditions for a ring R(M), the idealization of M, to be a GGCD ring are given.     

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.     

Semidistributive and distributively decomposable rings

A module is said to be distributive if the lattice of all its submodules is distributive. A module is called semidistributive if it is a direct sum of distributive modules. Right semidistributive rings, as well as distributively decomposable rings, are investigated. Translated fromMatematicheskie Zemetki, Vol. 65, No. 2, pp. 307–313, February, 1999.     

δ-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.