T-Semisimple Modules and T-Semisimple Rings

We define and investigate t-semisimple modules as a generalization of semisimple modules. A module M is called t-semisimple if every submodule N contains a direct summand K of M such that K is t-essential in N. T-semisimple modules are Morita invariant and they form a strict subclass of t-extending modules. Many equivalent conditions for a module M to be t-semisimple are found. Accordingly, M is t-semisiple, if and only if, M = Z ₂(M) ⊕ S(M) (where Z ₂(M) is the Goldie torsion submodule and S(M) is the sum of nonsingular simple submodules). A ring R is called right t-semisimple if R _R is t-semisimple. Various characterizations of right t-semisimple rings are given. For some types of rings, conditions equivalent to being t-semisimple are found, and this property is investigated in terms of chain conditions.     

On Weak Dual Rickart Modules and Dual Baer Modules

We introduce and study the notion of wd-Rickart modules (i.e. modules M such that for every nonzero endomorphism ? of M, the image of ? contains a nonzero direct summand of M). We show that the class of rings R for which every right R-module is wd-Rickart is exactly that of right semi-artinian right V-rings. We prove that a module M is dual Baer if and only if M is wd-Rickart and M has the strong summand sum property. Several structure results for some classes of wd-Rickart modules and dual Baer modules are provided. Some relevant counterexamples are indicated.     

Strongly compressible modules and semiprime right goldie rings

A module M _R is defined to be strongly compressible (or SC for short) if for every essential submodule N of M, there exists X ? E(M) such that M ? X ? N. We show that a ring R is semiprime right Goldie iff R _Ris SC module iff every right ideal of R is SC module iff every submodule of each progenerator of Mod-R is SC module. As corollaries of this result, we obtain some new module-theoretic characterizations of semiprime Goldie rings, prime (right) Goldie rings and Prüfer rings, etc., etc.,respectively. And the characterization theorem of semiprime Goldie rings of López-Permouth, Rizvi and Yousif by using weakly-injective modules can be regarded as a corollary of our results.     

Copolyform Modules

Abstract

In this note all rings R are associative with identity, all modules are unitary right modules and we denote the category of all such R-modules by Mod-R. Let M ? Mod-R and A ? M. Corational submodules of A in M are defined and studied. Examples of modules M for which every submodule has a smallest corational submodule in M and an example of a module M with a submodule A which has no minimal corational submodule in M are given. In the second half of the paper copolyform modules are defined and we characterize when a finite direct sum of weakly supplemented copolyform modules is copolyform.     

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.     

Modules Whose Endomorphism Rings are Division Rings

The well-known Schur's Lemma states that the endomorphism ring of a simple module is a division ring. But the converse is not true in general. In this paper we study modules whose endomorphism rings are division rings. We first reduce our consideration to the case of faithful modules with this property. Using the existence of such modules, we obtain results on a new notion which generalizes that of primitive rings. When R is a full or triangular matrix ring over a commutative ring, a structure theorem is proved for an R-module M such that End _R (M) is a division ring. A number of examples are given to illustrate our results and to motivate further study on this topic.     

On GC2 modules and their endomorphism rings

Let R be a ring. A module M_R is said to be GC₂ if for any N≤ M with N? M, N is a direct summand of M. In this article, we give some characterizations and properties of GC₂ modules and their endomorphism rings, and many results on C ₂ modules and GC₂ rings are generalized to GC₂ modules.     

Weak Morita Duality

Abstract

The notion of a weak Morita duality between subcategories of Mod-R and S-Mod is introduced and investigated. This concept includes dualities induced by cotilting modules over finite dimensional algebras, the R-dual for both noetherian rings of injective dimension ≤ 1 and the Matlis duality domains, as well as the first author's generalized Morita duality. Moreover it yields a “cotilting theorem” dual to the classical tilting theorem, and a characterization of generalized Morita duality.     

On Factorization in Modules

In two articles, Anderson and Valdes-Leon generalized the theory of factorization in integral domains to commutative rings with zero divisors and to modules. Here we investigate some factorization properties in modules and state a result that relates factorization properties of an R-module, M, to the factorization properties of M as an (R/Ann(M))-module. Furthermore, we will investigate when a polynomial module, M[x], has the bounded factorization property, assuming that M has this property.     

Principally quasi-injective modules

An R-module M is called principally quasi-injective if each R-hornomorphism from a principal submodule of M to M can be extended to an endomorphism of M. Many properties of principally injective rings and quasi-injective modules are extended to these modules. As one application, we show that, for a finite-dimensional quasi-injective module M in which every maximal uniform submodule is fully invariant, there is a bijection between the set of indecomposable summands of M and the maximal left ideals of the endomorphism ring of M

Throughout this paper all rings R are associative with unity, and all modules are unital. We denote the Jacobson radical, the socle and the singular submodule of a module M by J(M), soc(M) and Z(M), respectively, and we write J(M) = J. The notation N ?^ess M means that N is an essential submodule of M.     

WATTS THEOREMS FOR ASSOCIATIVE RINGS

Let R be an associative ring. In this paper we consider the category CMod-R of right R-modules M such that M ? Hom _R (R, M) and the category DMod-R of right R-modules M such that M ? _R R ? M. Given two associative rings R and R′, we study the functors F : CMod-R → CMod-R′ that can be written as Hom _R (P, ?) and the functors G : DMod-R → DMod-R′ that can be written as – ? _R Q and we give some results that extend the known Watts theorems for rings with identity to associative rings that need not be unital.     

Quasi Co-Hopfian Modules and Applications

We carry out an extensive study of modules M _R with the property that M/f(M) is singular for all injective endomorphisms f of M. Such modules called “quasi co-Hopfian”, generalize co-Hopfian modules. It is shown that a ring R is semisimple if and only if every quasi co-Hopfian R-module is co-Hopfian. Every module contains a unique largest fully invariant quasi co-Hopfian submodule. This submodule is determined for some modules including the semisimple ones. Over right nonsingular rings several equivalent conditions to being quasi co-Hopfian are given. Modules with all submodules quasi co-Hopfian are called “completely quasi co-Hopfian” (cqcH). Over right nonsingular rings and over certain right Noetherian rings, it is proved that every finite reduced rank module is cqcH. For a right nonsingular ring which is right semi-Artinian (resp. right FBN) the class of cqcH modules is the same as the class of finite reduced rank modules if and only if there are only finitely many isomorphism classes of nonsingular R-modules which are simple (resp. indecomposable injective).     

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.     

Primary decompositions and morita contexts

As shown by Mueller, a Morita context (R,M,N,S) yields a one-to-one order preserving correspondence between certain torsion theories on R^Mand S^MIn addition, Goldman has defined the notions of prime kernei functors and primary modules for arbitrary associative rings. These notions lead to a type of primary decomposition for kernel functors. In this paper we show that under the above correspondence prime kernel functors correspond to prime kernel functors and primary modules correspond to primary modules. Finally we show that the above correspondence preserves the primary decomposition of kernel functors.     

On Almost Unit-Regular Rings

An element a ∈ R is unit-regular provided that there exists an invertible u ∈ R such that a = aua. A ring R is called an almost unit-regular ring provided that for any a ∈ R, either a or 1 ? a is unit-regular. We characterize, in this article, the almost unit-regularity of Morita contexts with zero pairings. We also show that a ring R is unit-regular if and only if M ₂(R) is almost unit-regular. Various examples of such rings are constructed by means of formal triangular matrix rings.     

Minimalities and Modules over Dedekind-Like Rings

We are interested in (right) modules M satisfying the following weak divisibility condition: If R is the underlying ring, then for every r ∈ R either Mr = 0 or Mr = M. Over a commutative ring, this is equivalent to say that M is connected with regular generics. Over arbitrary rings, modules which are “minimal” in several model theoretic senses satisfy this condition. In this article, we investigate modules with this weak divisibility property over Dedekind-like rings and over other related classes of rings.     

Morita Invariance and Maximal Left Quotient Rings

Abstract

We prove that under conditions of regularity the maximal left quotient ring of a corner of a ring is the corner of the maximal left quotient ring. We show that if R and S are two non-unital Morita equivalent rings then their maximal left quotient rings are not necessarily Morita equivalent. This situation contrasts with the unital case. However we prove that the ideals generated by two Morita equivalent idempotent rings inside their own maximal left quotient rings are Morita equivalent.     

Almost finite modules

Assume that ?(R, m, k) → (S, n, l) is a local homomorphism between commutative noetherian local rings R and S. We say that an S-module M is almost finite over R if it is finitely generated over S (the R-structure on M is induced by ?). We investigate the homological behaviour of such modules, as well as various properties of the rings R and S in the presence of an almost finite module of finite flat dimension over R.     

Noetherian rings with almost injective simple modules

We characterize right Noetherian rings over which all simple modules are almost injective. It is proved that R is such a ring, if and only if, the complements of semisimple submodules of every R-module M are direct summands of M, if and only if, R is a finite direct sum of right ideals I_r, where I_r is either a Noetherian V-module with zero socle, or a simple module, or an injective module of length 2. A commutative Noetherian ring for which all simple modules are almost injective is precisely a finite direct product of rings R_i, where R_i is either a field or a quasi-Frobenius ring of length 2. We show that for commutative rings whose all simple modules are almost injective, the properties of Kasch, (semi)perfect, semilocal, quasi-Frobenius, Artinian, and Noetherian coincide.     

Relative Flatness and Coherence

For a fixed given right R-module M, so-called M-flat left R-modules are investigated, which are flat relative to short exact sequences in the subcategory σ[M] subgenerated by M. The properties of M-flat modules lead naturally to a concept of an M-coherent module and M-coherent ring R. Various properties and characterizations of M-coherent modules and rings are proven.

Communicated by R. Wisbauer