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.     

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

On weakly prime radical of modules and semi-compatible modules

Summary Let M be a left R-module. Then a proper submodule P of M is called weakly prime submodule if for any ideals A and B of R and any submodule N of M such that ABN ⊆ P, we have AN ⊆ P or BN ⊆ P. We define weakly prime radicals of modules and show that for Ore domains, the study of weakly prime radicals of general modules reduces to that of torsion modules. We determine the weakly prime radical of any module over a commutative domain R with dim (R) ≦ 1. Also, we show that over a commutative domain R with dim (R) ≦ 1, every semiprime submodule of any module is an intersection of weakly prime submodules. Localization of a module over a commutative ring preserves the weakly prime property. An R-module M is called semi-compatible if every weakly prime submodule of M is an intersection of prime submodules. Also, a ring R is called semi-compatible if every R-module is semi-compatible. It is shown that any projective module over a commutative ring is semi-compatible and that a commutative Noetherian ring R is semi-compatible if and only if for every prime ideal B of R, the ring R/\B is a Dedekind domain. Finally, we show that if R is a UFD such that the free R-module R⊕ R is a semi-compatible module, then R is a Bezout domain.     

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.     

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.     

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.     

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-无挠的正则性内射模是∑-正则性内射模.     

Relations between simplicial groups, 3-crossed modules and 2-quadratic modules

In this paper, we define two-quadratic module and explore the relations among two-quadratic modules, three-crossed modules and simplicial groups.     

On co-isosimple modules and co-isoradical of modules

Abstract

In this paper we study “co-isosimple” modules, that is, those modules which are isomorphic to all of its non-zero quotients modules. This allows us to define and study “isomaximal” submodules, “isomax” modules and the “co-isoradical” of a module. We study some of its basic properties and we give a characterization of left V-ring using these concepts.

Communicated by Alberto Facchini     

Characteristic modules and tensor products over quasi-hereditary algebras

Let A be a monomial quasi-hereditary algebra with a pure strong exact Borel subalgebra B.It is proved that the category of induced good modules over B is contained in the category of good modules over A;that the characteristic module of A is an induced module of that of B via the exact functor-(?)_B A if and only if the induced A-module of an injective B-module remains injective as a B-module.Moreover,it is shown that an exact Borel subalgebra of a basic quasi-hereditary serial algebra is right serial and that the characteristic module of a basic quasi-hereditary serial algebra is exactly the induced module of that of its exact Borel subalgebra.     

Yetter–Drinfeld Modules over Weak Braided Hopf Monoids and Center Categories

In this paper,we introduce several centralizer constructions in a monoidal context and establish a monoidal equivalence with the category of Yetter–Drinfeld modules over a weak braided Hopf monoid.We apply the general result to the calculus of the center in module categories.     

Monomorphisms in the category of firm modules

Abstract

In this article, we consider the category of unitary right modules over an (associative) ring and the category of firm right modules over an idempotent ring. We study monomorphisms in these categories and give conditions under which morphisms are monomorphisms in the category of firm modules. We also prove that the lattice of categorically defined subobjects of a firm module is isomorphic to the lattice of unitary submodules of that module.     

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.     

Koszul differential graded modules

The concept of Koszulity for differential graded (DG, for short) modules is introduced. It is shown that any bounded below DG module with bounded Ext-group to the trivial module over a Koszul DG algebra has a Koszul DG submodule (up to a shift and truncation), moreover such a DG module can be approximated by Koszul DG modules (Theorem 3.6). Let A be a Koszul DG algebra, and Dc(A) be the full triangulated subcategory of the derived category of DG A-modules generated by the object AA. If the trivial DG module...