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.     

On a class of semicommutative modules

Let R be a ring with identity, M a right R-module and S = End _R (M). In this note, we introduce S-semicommutative, S-Baer, S-q.-Baer and S-p.q.-Baer modules. We study the relations between these classes of modules. Also we prove if M is an S-semicommutative module, then M is an S-p.q.-Baer module if and only if M[x] is an S[x]-p.q.-Baer module, M is an S-Baer module if and only if M[x] is an S[x]-Baer module, M is an S-q.-Baer module if and only if M[x] is an S[x]-q.-Baer module.     

t-Extending Modules and t-Baer Modules

We introduce the notions of “t-extending modules,” and “t-Baer modules,” which are generalizations of extending modules. The second notion is also a generalization of nonsingular Baer modules. We show that a homomorphic image (hence a direct summand) of a t-extending module and a direct summand of a t-Baer module inherits the property. It is shown that a module M is t-extending if and only if M is t-Baer and t-cononsingular. The rings for which every free right module is t-extending are called right Σ-t-extending. The class of right Σ-t-extending rings properly contains the class of right Σ-extending rings. Among other equivalent conditions for such rings, it is shown that a ring R is right Σ-t-extending, if and only if, every right R-module is t-extending, if and only if, every right R-module is t-Baer, if and only if, every nonsingular right R-module is projective. Moreover, it is proved that for a ring R, every free right R-module is t-Baer if and only if Z ₂(R _R ) is a direct summand of R and every submodule of a direct product of nonsingular projective R-modules is projective.     

On Residual Nilpotence of Projective Crossed Modules

Abstract

Let F be a free group, (M,?, F) a non-aspherical projective F-crossed module. We prove that the action of Coker (?) on Ker (?) is faithful. Also we show that if (M,?, F) is a residually nilpotent crossed module, then Coker (?) is a residually nilpotent group. As a corollary, we get an alternative proof of Conduche's translation of Whitehead's asphericity conjecture in terms of residual nilpotence of certain crossed modules.     

Strongly Jónsson and strongly HS modules

Let R be a commutative ring with identity and let M be an infinite unitary R-module. Then M is a Jónsson module provided every proper R-submodule of M has smaller cardinality than M. In this note, we strengthen this condition and call an R-module M (which may be finite) strongly Jónsson provided distinct R-submodules of M have distinct cardinalities. We present a classification of these modules, and then we study a sort of dual notion. Specifically, we consider modules M   for which M/N$M/N$ and M/K$M/K$ have distinct cardinalities for distinct R-submodules N and K of M; we call such modules strongly HS (see the introduction for etymology). We conclude the paper with a classification of the strongly HS modules over an arbitrary commutative ring.     

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.     

CS Modules Relative to a Torsion Theory

In this article we introduce two new concepts, those of a τ-CS and a s-τ-CS module, which are both torsion-theoretic analogues of CS modules. We investigate their relationship with the familiar concepts of τ-injective, τ-simple and τ-uniform modules and compare them with τ-complemented (τ-injective) modules, which were considered by other authors as torsion-theoretic analogues of CS modules. We are interested in decomposing a relatively CS module into indecomposable submodules, and in determining when a direct sum of relatively CS modules is relatively CS. This paper forms part of the Ph.D. thesis of the first author, written under the supervision of the second author. The first author gratefully acknowledges the support of the Commonwealth Scholarship and Fellowship Committee of New Zealand.     

On the Schröder–Bernstein property for modules

The well known Schröder–Bernstein Theorem states that any two sets with one to one maps into each other are isomorphic. The question of whether any two (subisomorphic or) direct summand subisomorphic algebraic structures are isomorphic, has long been of interest. Kaplansky asked whether direct summands subisomorphic abelian groups are always isomorphic? The question generated a great deal of interest. The study of this question for the general class of modules has been somewhat limited. We extend the study of this question for modules in this paper. We say that a module Msatisfies the Schröder–Bernstein property (S-B property) if any two direct summands of M which are subisomorphic to direct summands of each other, are isomorphic. We show that a large number of classes of modules satisfy the S-B property. These include the classes of quasi-continuous, directly finite, quasi-discrete and modules with ACC on direct summands. It is also shown that over a Noetherian ring R, every extending module satisfies the S-B property. Among applications, it is proved that the class of rings R for which every R-module satisfies the S-B property is precisely that of pure-semisimple rings. We show that over a commutative domain R, any two quasi-continuous subisomorphic R-modules are isomorphic if and only if R is a PID. We study other conditions related to the S-B property and obtain characterizations of certain classes of rings via those conditions. Examples which delimit and illustrate our results are provided.     

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.     

COPURE INJECTIVE MODULES

Abstract

A module is said to be copure injective if it is injective with respect to all modules A ? B with B/A injective. We first characterize submodules that have the extension property with respect to copure injective modules. Then we characterize commutative rings with finite self injective dimension in terms of copure injective modules. Finally, we show that the quotient categories of reduced copure injective modules and reduced h- divisible modules are isomorphic.     

NOTES ON NILPOTENCY OF NIL SUBRINGS OF ENDOMORPHISM RINGS OF MODULES

Abstract

A family K of right R-modules is called a natural class if K is closed under submodules, direct sums, infective hulls, and isomorphic copies. The main result of this note is the following: Let K be a natural class on Mod-R and M ε K. If M satisfies a.c.c. (or d.c.c.) on the set of submodules {N ? M: M/N ε K}, then each nil subring of End(M_R ) is nilpotent.     

Direct summands of direct sums of modules whose endomorphism rings have two maximal right ideals

Let M₁,…,M_n be right modules over a ring R. Suppose that the endomorphism ring of each module M_i has at most two maximal right ideals. Is it true that every direct summand of M₁⊕?⊕M_n is a direct sum of modules whose endomorphism rings also have at most two maximal right ideals? We show that the answer is negative in general, but affirmative under further hypotheses. The endomorphism ring of uniserial modules, that is, the modules whose lattice of submodules is linearly ordered under inclusion, always has at most two maximal right ideals, and Pavel P?íhoda showed in 2004 that the answer to our question is affirmative for direct sums of finitely many uniserial modules.     

Relative copure injective and copure flat modules

Let R be a ring, n a fixed nonnegative integer and I_n (F_n) the class of all left (right) R-modules of injective (flat) dimension at most n. A left R-module M (resp., right R-module F) is called n-copure injective (resp., n-copure flat) if (resp., ) for any N∈I_n. It is shown that a left R-module M over any ring R is n-copure injective if and only if M is a kernel of an I_n-precover f:A→B of a left R-module B with A injective. For a left coherent ring R, it is proven that every right R-module has an F_n-preenvelope, and a finitely presented right R-module M is n-copure flat if and only if M is a cokernel of an F_n-preenvelope K→F of a right R-module K with F flat. These classes of modules are also used to construct cotorsion theories and to characterize the global dimension of a ring under suitable conditions.     

An Equivalence of Two Categories of sl(n,C)-Modules

We prove that the following two categories of sl(n,C)-modules are equivalent: (1) the category of modules with integral support filtered by submodules of Verma modules and complete with respect to Enright's completion functor; (2) the category of all subquotients of modules FM, where F is a finite-dimensional module and M is a fixed simple generic Gelfand–Zetlin module with integral central character. Our proof is based on an explicit construction of an equivalence which, additionally, commutes with translation functors. Finally, we describe some applications of this both to certain generalizations of the category O and to Gelfand–Zetlin modules.     

Principally Quasi-Baer skew Generalized Power Series modules

Let R be a ring and S a strictly totally ordered monoid. Let ω: S → End(R) be a monoid homomorphism. Let M _R be an ω-compatible module and either R satisfies the ascending chain conditions (ACC) on left annihilator ideals or every S-indexed subset of right semicentral idempotents in R has a generalized S-indexed join. We show that M _R is p.q.-Baer if and only if the generalized power series module M[[S]] _{R[[S, ω]]} is p.q.-Baer. As a consequence, we deduce that for an ω-compatible ring R, the skew generalized power series ring R[[S, ω]] is right p.q.-Baer if and only if R is right p.q.-Baer and either R satisfies the ACC on left annihilator ideals or any S-indexed subset of right semicentral idempotents in R has a generalized S-indexed join in R. Examples to illustrate and delimit the theory are provided.     

On Modules Which are Isomorphic to Relatively Divisible or Pure Submodules of Each Other

Abstract

In this note, we provide a generalization of a well-known result of module theory which states that two injective modules are isomorphic when they are isomorphic to submodules of each other. More precisely, we show here that two RD-injective (respectively, pure-injective) modules over an integral domain are isomorphic if they are isomorphic to relatively divisible (respectively, pure) sub- modules of each other.     

Frobenius criteria of freeness and Gorensteinness

Let F ⁿ (−) be the Frobenius functor of Peskine and Szpiro. In this note, we show that the maximal Cohen–Macaulayness of F ⁿ (M) forces M to be free, provided M has a rank. We apply this result to obtain several Frobenius-related criteria for the Gorensteinness of a local ring R, one of which improves a previous characterization due to Hanes and Huneke. We also establish a special class of finite length modules over Cohen–Macaulay rings, which are rigid against Frobenius.     

On Rings Having McCoy-Like Conditions

ABSTRACT

In this paper, we study the behavior of the couniform (or dual Goldie) dimension of a module under various polynomial extensions. For a ring automorphism σ ∈ Aut(R), we use the notion of a σ-compatible module M _R to obtain results on the couniform dimension of the polynomial modules M[x], M[x ^?1], and M[x, x ^?1] over suitable skew extension rings.