When is the SIP (SSP) property inherited by free modules

Summary A right R-module M has right SIP (SSP) if the intersection (sum) of two direct summands of M is also a direct summand. It is shown that the right SIP (SSP) is not a Morita invariant property and that a nonsingular C₁₁⁺-module does not necessarily have SIP. In contrast, it is shown that the direct sum of two copies of a right Ore domain has SIP as a right module over itself.     

On rings in which every maximal one-sided ideal contains a maximal ideal

Given a ring R, consider the condition: (^*) every maximal right ideal of R contains a maximal ideal of R. We show that, for a ring R and 0 ≠ e ² = e ∈ R such that ele ? eRe every proper ideal I of R R satisfies (^*) if and only if eRe satisfies (^*). Hence with the help of some other results, (^*) is a Morita invariant property. For a simple ring R R[x] satisfies (^*) if and only if R[x] is not right primitive. By this result, if R is a division ring and R[x] satisfies (^*), then the Jacobson conjecture holds. We also show that for a finite centralizing extension S of a ring R R satisfies (^*) if and only if S satisfies (^*).     

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.     

Ore Extensions of Quasi-Baer Rings

We first study the quasi-Baerness of R[x; σ, δ] over a quasi-Baer ring R when σ is an automorphism of R, obtaining an affirmative result. We next show that if R is a right principally quasi-Baer ring and σ is an automorphism of R with σ(e) = e for any left semicentral idempotent e ∈ R, then R[x; σ, δ] is right principally quasi-Baer. As a corollary, we have that R[x; δ] over a right principally quasi-Baer ring R is right principally quasi-Baer. Finally, we give conditions under which the quasi-Baernesses (right principal quasi-Baernesses) of R and R[x; σ, δ] are equivalent.     

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.     

Minimal But Inefficient Presentations for Self Semidirect Products of the Free Abelian Monoid on Two Generators

Let R be a ring and M(R) the set consisting of zero and primitive idempotents of R. We study the rings R for which M(R) is multiplicative. It is proved that if R has a complete finite set of primitive orthogonal idempotents, then R is a finite direct product of connected rings precisely when M(R) is multiplicative. We prove that if R is a (von Neumann) regular ring with M(R) multiplicative, then every primitive idempotent in R is central. It is also shown that this does not happen even in semihereditary and semiregular rings. Let R be an arbitrary ring with M(R) multiplicative and e ∈ R be a primitive idempotent, then for every unit u ∈ R, it is proved that eue is a unit in eRe. We also prove that if M(R) is multiplicative, then two primitive idempotents e and f in R are conjugates, i.e., f = ueu ^?1 for some u ∈ U(R), if and only if ef ≠ 0.     

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.     

Another Gorenstein analogue of flat modules

A right R-module M is called glat if any homomorphism from any finitely presented right R-module to M factors through a finitely presented Gorenstein projective right R-module. The concept of glat modules may be viewed as another Gorenstein analogue of flat modules. We first prove that the class of glat right R-modules is closed under direct sums, direct limits, pure quotients and pure submodules for arbitrary ring R. Then we obtain that a right R-module M is glat if and only if M is a direct limit of finitely presented Gorenstein projective right R-modules. In addition, we explore the relationships between glat modules and Gorenstein flat (Gorenstein projective) modules. Finally we investigate the existence of preenvelopes and precovers by glat and finitely presented Gorenstein projective modules.     

Near-dedekind rings

Let S be a finite direct sum of Dedekind prime rings. We shall study those subrings R of S such that R contains a suitable ideal B of S The aim is to derive general properties of R from those of S. For instance we show that every ideal of R which is comaximal with B is invertible. We also show that if R is right Noetherian then R has right Krull dimension 1 and every right ideal of R which is comaximal with B is projective, and R has the right Artin-Rees property if and only if the maximal ideals of R which contain B commute with each other.     

WEAKLY CONTINUOUS AND C2-RINGS

A ring R is called right weakly continuous if the right annihilator of each element is essential in a summand of R, and R satisfies the right C2-condition (every right ideal that is isomorphic to a direct summand of R is itself a direct summand). We show that a ring R is right weakly continuous if and only if it is semiregular and J(R) = Z(R _R ). Unlike right continuous rings, these right weakly continuous rings form a Morita invariant class. The rings satisfying the right C2-condition are studied and used to investigate two conjectures about strongly right Johns rings and right FGF-rings and their relation to quasi-Frobenius rings.     

Virtually semisimple modules and a generalization of the Wedderburn-Artin theorem

A widely used result of Wedderburn and Artin states that “every left ideal of a ring R is a direct summand of R if and only if R has a unique decomposition as a finite direct product of matrix rings over division rings.” Motivated by this, we call a module M virtually semisimple if every submodule of M is isomorphic to a direct summand of M and M is called completely virtually semisimple if every submodule of M is virtually semisimple. We show that the left R-module R is completely virtually semisimple if and only if R has a unique decomposition as a finite direct product of matrix rings over principal left ideal domains. This shows that R is completely virtually semisimple on both sides if and only if every finitely generated (left and right) R-module is a direct sum of a singular module and a projective virtually semisimple module. The Wedderburn-Artin theorem follows as a corollary from our result.     

Some Characterizations of VNL Rings

A ring R is said to be von Newmann local (VNL) if for any a ∈ R, either a or 1 ?a is (von Neumann) regular. The class of VNL rings lies properly between exchange rings and (von Neumann) regular rings. We characterize abelian VNL rings. We also characterize and classify arbitrary VNL rings without an infinite set of orthogonal idempotents; and also the VNL rings having a primitive idempotent e such that eRe is not a division ring. We prove that a semiperfect ring R is VNL if and only if for any right uni-modular row (a ₁, a ₂) ∈ R ², one of the a _i 's is regular in R. Formal triangular matrix rings that are VNL are also characterized. As a corollary, it is shown that an upper triangular matrix ring T _n (R) is VNL if and only if n = 2 or 3 and R is a division ring.     

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.     

Gorenstein projective and flat complexes over noetherian rings

We give sufficient conditions on a class of R‐modules $\mathcal {C}We give sufficient conditions on a class of R‐modules $\mathcal {C}$ in order for the class of complexes of $\mathcal {C}$‐modules, $dw \mathcal {C}$, to be covering in the category of complexes of R‐modules. More precisely, we prove that if $\mathcal {C}$ is precovering in R ? Mod and if $\mathcal {C}$ is closed under direct limits, direct products, and extensions, then the class $dw \mathcal {C}$ is covering in Ch(R). Our first application concerns the class of Gorenstein flat modules. We show that when the ring R is two sided noetherian, a complex C is Gorenstein flat if and only if each module C_n is Gorenstein flat. If moreover every direct product of Gorenstein flat modules is a Gorenstein flat module, then the class of Gorenstein flat complexes is covering. We consider Gorenstein projective complexes as well. We prove that if R is a commutative noetherian ring of finite Krull dimension, then the class of Gorenstein projective complexes coincides with that of complexes of Gorenstein projective modules. We also show that if R is commutative noetherian with a dualizing complex then every right bounded complex has a Gorenstein projective precover.     

Additive Set of Idempotents in Rings

Let R be a ring with identity 1, I(R) be the set of all nonunit idempotents in R, and M(R) be the set of all primitive idempotents and 0 of R. We say that I(R) is additive if for all e, f ∈ I(R) (e ≠ f), e + f ∈ I(R), and M(R) is additive in I(R) if for all e, f ∈ M(R)(e ≠ f), e + f ∈ I(R). In this article, the following points are shown: (1) I(R) is additive if and only if I(R) is multiplicative and the characteristic of R is 2; M(R) is additive in I(R) if and only if M(R) is orthogonal. If 0 ≠ ef ∈ I(R) for some e ∈ M(R) and f ∈ I(R), then ef ∈ M(R), (2) If R has a complete set of primitive idempotents, then R is a finite product of connected rings if and only if I(R) is multiplicative if and only if M(R) is additive in I(R).     

An algorithm for the divisors of monic polynomials over a commutative ring

Gilmer and Heinzer proved that given a reduced ring R, a polynomial f divides a monic polynomial in R[X] if and only if there exists a direct sum decomposition of R = R₀ ⊕ … ⊕ R_m (m ≤ deg f), associated to a fundamental system of idempotents e₀, … , e_m, such that the component of f in each R_i[X] has degree coefficient which is a unit of R_i. We propose to give an algorithm to explicitly find such a decomposition. Moreover, we extend this result to divisors of doubly monic Laurent polynomials.     

Submodules of Direct Sums of Compressible Modules

Let R be a ring. A right R-module M is called “essentially compressible” if it embeds in each of its essential submodules. Also a module X _R is called “completely essentially compressible” if every submodule of X _R is an essentially compressible R-module. In this aricle, it is shown that a right R-module M embeds in a direct sum of compressible right R-modules if and only if M _R is essentially compressible and every nonzero essentially compressible submodule of M _R contains a compressible submodule. Every essentially compressible R-module is shown to be retractable. Moreover, if either R _R has Krull dimension, or R is Morita equivalent to a right duo ring, then a right R-module embeds in a direct sum of compressible right R-modules if and only if it is completely essentially compressible.     

On generalization of ⊕-cofinitely supplemented modules

We study the properties of ⊕-cofinitely radical supplemented modules, or, briefly, cgs ^⊕-modules. It is shown that a module with summand sum property (SSP) is cgs ^⊕ if and only if M/w Loc^⊕ M (w Loc^⊕ M is the sum of all w-local direct summands of a module M) does not contain any maximal submodule, that every cofinite direct summand of a UC-extending cgs ^⊕-module is cgs ^⊕, and that, for any ring R, every free R-module is cgs ^⊕ if and only if R is semiperfect.     

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.     

Self-Orthogonal Modules of Finite Projective Dimension

Let R be a ring and _R ω a self-orthogonal module. We introduce the notion of the right orthogonal dimension (relative to _R ω) of modules. We give a criterion for computing this relative right orthogonal dimension of modules. For a left coherent and semilocal ring R and a finitely presented self-orthogonal module _R ω, we show that the projective dimension of _R ω and the right orthogonal dimension (relative to _R ω) of R/J are identical, where J is the Jacobson radical of R. As a consequence, we get that _R ω has finite projective dimension if and only if every left (finitely presented) R-module has finite right orthogonal dimension (relative to _R ω). If ω is a tilting module, we then prove that a left R-module has finite right orthogonal dimension (relative to _R ω) if and only if it has a special ω^⊥-preenvelope.