On a class of separable modules

2021 ◽  
pp. 2250034
Author(s):  
Rachid Ech-chaouy ◽  
Abdelouahab Idelhadj ◽  
Rachid Tribak
Keyword(s):  
Direct Summand ◽  
Finitely Generated ◽  
Direct Sums ◽  
Simple Modules ◽  
Direct Sum ◽  
The Stability

A module [Formula: see text] is called [Formula: see text]-separable if every proper finitely generated submodule of [Formula: see text] is contained in a proper finitely generated direct summand of [Formula: see text]. Indecomposable [Formula: see text]-separable modules are shown to be exactly the simple modules. While direct summands of an [Formula: see text]-separable module do not inherit the property, in general, the question of the stability under direct sums is unanswered. But we obtain some partial answers. It is shown that any infinite direct sum of [Formula: see text]-separable modules is [Formula: see text]-separable. Also, we prove that if [Formula: see text] and [Formula: see text] are [Formula: see text]-separable modules such that [Formula: see text] is [Formula: see text]-projective, then [Formula: see text] is [Formula: see text]-separable. We conclude the paper by providing some characterizations of several classes of rings in terms of [Formula: see text]-separable modules. Among others, we prove that the class of rings [Formula: see text] for which every (injective) [Formula: see text]-module is [Formula: see text]-separable is exactly that of semisimple rings.

On coseparable and 𝔪-coseparable modules

2020 ◽  
pp. 2150031
Author(s):  
Rachid Ech-chaouy ◽  
Abdelouahab Idelhadj ◽  
Rachid Tribak
Keyword(s):  
Direct Summand ◽  
Noetherian Rings ◽  
Direct Products ◽  
Finitely Generated ◽  
Direct Sums ◽  
Direct Sum ◽  
Free Modules

A module [Formula: see text] is called coseparable ([Formula: see text]-coseparable) if for every submodule [Formula: see text] of [Formula: see text] such that [Formula: see text] is finitely generated ([Formula: see text] is simple), there exists a direct summand [Formula: see text] of [Formula: see text] such that [Formula: see text] and [Formula: see text] is finitely generated. In this paper, we show that free modules are coseparable. We also investigate whether or not the ([Formula: see text]-)coseparability is stable under taking submodules, factor modules, direct summands, direct sums and direct products. We show that a finite direct sum of coseparable modules is not, in general, coseparable. But the class of [Formula: see text]-coseparable modules is closed under finite direct sums. Moreover, it is shown that the class of coseparable modules over noetherian rings is closed under finite direct sums. A characterization of coseparable modules over noetherian rings is provided. It is also shown that every lifting (H-supplemented) module is coseparable ([Formula: see text]-coseparable).

On infinite direct sums of lifting modules

2017 ◽  
Vol 10 (03) ◽  
pp. 1750049
Author(s):  
M. Tamer Koşan ◽  
Truong Cong Quynh
Keyword(s):  
Present Article ◽  
Essential Extension ◽  
Injective Hull ◽  
Direct Sums ◽  
Simple Modules ◽  
Direct Sum

The aim of the present article is to investigate the structure of rings [Formula: see text] satisfying the condition: for any family [Formula: see text] of simple right [Formula: see text]-modules, every essential extension of [Formula: see text] is a direct sum of lifting modules, where [Formula: see text] denotes the injective hull. We show that every essential extension of [Formula: see text] is a direct sum of lifting modules if and only if [Formula: see text] is right Noetherian and [Formula: see text] is hollow. Assume that [Formula: see text] is an injective right [Formula: see text]-module with essential socle. We also prove that if every essential extension of [Formula: see text] is a direct sum of lifting modules, then [Formula: see text] is [Formula: see text]-injective. As a consequence of this observation, we show that [Formula: see text] is a right V-ring and every essential extension of [Formula: see text] is a direct sum of lifting modules for all simple modules [Formula: see text] if and only if [Formula: see text] is a right [Formula: see text]-V-ring.

scholarly journals On Quasi-h-Dense Submodules and h-Pure Envelopes of QTAG Modules

Algebra ◽  
2013 ◽  
Vol 2013 ◽  
pp. 1-6
Author(s):  
Alveera Mehdi ◽  
Fahad Sikander ◽  
Firdhousi Begum
Keyword(s):  
Direct Summand ◽  
Homomorphic Image ◽  
Associative Ring ◽  
Finitely Generated ◽  
Direct Sum ◽  
Uniserial Modules ◽  
Pure Submodules

A module M over an associative ring R with unity is a QTAG module if every finitely generated submodule of any homomorphic image of M is a direct sum of uniserial modules. There are many fascinating properties of QTAG modules of which h-pure submodules and high submodules are significant. A submodule N is quasi-h-dense in M if M/K is h-divisible, for every h-pure submodule K of M, containing N. Here we study these submodules and obtain some interesting results. Motivated by h-neat envelope, we also define h-pure envelope of a submodule N as the h-pure submodule K⊇N if K has no direct summand containing N. We find that h-pure envelopes of N have isomorphic basic submodules, and if M is the direct sum of uniserial modules, then all h-pure envelopes of N are isomorphic.

scholarly journals A semigroup-theoretical view of direct-sum decompositions and associated combinatorial problems

2014 ◽  
Vol 14 (02) ◽  
pp. 1550016 ◽  
Author(s):  
N. R. Baeth ◽  
A. Geroldinger ◽  
D. J. Grynkiewicz ◽  
D. Smertnig
Keyword(s):  
Combinatorial Problems ◽  
Point Of View ◽  
Unique Element ◽  
Theoretical Point ◽  
Finitely Generated ◽  
Prime Rings ◽  
Direct Sums ◽  
Isomorphism Classes ◽  
Direct Sum ◽  
Krull Monoid

Let R be a ring and let [Formula: see text] be a small class of right R-modules which is closed under finite direct sums, direct summands, and isomorphisms. Let [Formula: see text] denote a set of representatives of isomorphism classes in [Formula: see text] and, for any module M in [Formula: see text], let [M] denote the unique element in [Formula: see text] isomorphic to M. Then [Formula: see text] is a reduced commutative semigroup with operation defined by [M] + [N] = [M ⊕ N], and this semigroup carries all information about direct-sum decompositions of modules in [Formula: see text]. This semigroup-theoretical point of view has been prevalent in the theory of direct-sum decompositions since it was shown that if End R(M) is semilocal for all [Formula: see text], then [Formula: see text] is a Krull monoid. Suppose that the monoid [Formula: see text] is Krull with a finitely generated class group (for example, when [Formula: see text] is the class of finitely generated torsion-free modules and R is a one-dimensional reduced Noetherian local ring). In this case, we study the arithmetic of [Formula: see text] using new methods from zero-sum theory. Furthermore, based on module-theoretic work of Lam, Levy, Robson, and others we study the algebraic and arithmetic structure of the monoid [Formula: see text] for certain classes of modules over Prüfer rings and hereditary Noetherian prime rings.

Σ-Rickart modules

2019 ◽  
Vol 19 (11) ◽  
pp. 2050207
Author(s):  
Gangyong Lee ◽  
Mauricio Medina-Bárcenas
Keyword(s):  
Direct Summand ◽  
Endomorphism Ring ◽  
Finitely Generated ◽  
Hereditary Ring ◽  
Direct Sum ◽  
Factor Module ◽  
Rickart Modules

Hereditary rings have been extensively investigated in the literature after Kaplansky introduced them in the earliest 50’s. In this paper, we study the notion of a [Formula: see text]-Rickart module by utilizing the endomorphism ring of a module and using the recent notion of a Rickart module, as a module theoretic analogue of a right hereditary ring. A module [Formula: see text] is called [Formula: see text]-Rickart if every direct sum of copies of [Formula: see text] is Rickart. It is shown that any direct summand and any direct sum of copies of a [Formula: see text]-Rickart module are [Formula: see text]-Rickart modules. We also provide generalizations in a module theoretic setting of the most common results of hereditary rings: a ring [Formula: see text] is right hereditary if and only if every submodule of any projective right [Formula: see text]-module is projective if and only if every factor module of any injective right [Formula: see text]-module is injective. Also, we have a characterization of a finitely generated [Formula: see text]-Rickart module in terms of its endomorphism ring. Examples which delineate the concepts and results are provided.

scholarly journals On some properties of⊕-supplemented modules

2003 ◽  
Vol 2003 (69) ◽  
pp. 4373-4387 ◽  
Author(s):  
A. Idelhadj ◽  
R. Tribak
Keyword(s):  
Direct Summand ◽  
Commutative Ring ◽  
Principal Ideal ◽  
Finitely Generated ◽  
Principal Ideal Ring ◽  
Goldie Dimension ◽  
Direct Sum ◽  
Ideal Ring

A moduleMis⊕-supplemented if every submodule ofMhas a supplement which is a direct summand ofM. In this paper, we show that a quotient of a⊕-supplemented module is not in general⊕-supplemented. We prove that over a commutative ringR, every finitely generated⊕-supplementedR-moduleMhaving dual Goldie dimension less than or equal to three is a direct sum of local modules. It is also shown that a ringRis semisimple if and only if the class of⊕-supplementedR-modules coincides with the class of injectiveR-modules. The structure of⊕-supplemented modules over a commutative principal ideal ring is completely determined.

scholarly journals A right continuous right weakly si-ring is semisimple

1995 ◽  
Vol 51 (3) ◽  
pp. 479-488 ◽  
Author(s):  
Dinh Van Huynh ◽  
Nguyen Van Sanh
Keyword(s):  
Direct Summand ◽  
Finitely Generated ◽  
Continuous Ring ◽  
Direct Sum

It is shown that a projective CS right module M over a ring R is a direct sum of uniform modules of composition lengths at most 2 if (i) every finitely generated direct summand of M is continuous and (ii) every non-zero M-singular right R-module contains a non-zero M-injective submodule. In particular, a right continuous ring R is semisimple if R is right weakly SI, that is, if every non-zero singular right R-module contains a non-zero injective submodule.

scholarly journals Direct sums of indecomposable injective modules

2000 ◽  
Vol 62 (1) ◽  
pp. 57-66
Author(s):  
Sang Cheol Lee ◽  
Dong Soo Lee
Keyword(s):  
Direct Summand ◽  
Direct Sums ◽  
Direct Sum ◽  
Injective Modules

This paper proves that every direct summand N of a direct sum of indecomposable injective submodules of a module is the sum of a direct sum of indecomposable injective submodules and a sum of indecomposable injective submodules of Z2(N).

scholarly journals On Rad-D12 Modules

2013 ◽  
Vol 21 (1) ◽  
pp. 201-208
Author(s):  
Yahya Talebi ◽  
Ali Reza Moniri Hamzekolaee ◽  
Derya Keskin Tütüncü
Keyword(s):  
Direct Summand ◽  
Direct Sums ◽  
Direct Sum

Abstract Let M be a right R-module. We call M Rad-D12, if for every sub- module N of M, there exist a direct summand K of M and an epimor- phism α : K → M/N such that Kererα ⊆ Rad(K). We show that a direct summand of a Rad-D12 module need not be a Rad-D12 module. We investigate completely Rad-D12 modules (modules for which every direct summand is a Rad-D12 module). We also show that a direct sum of Rad-D12 modules need not be a Rad-D12 module. Then we deal with some cases of direct sums of Rad-D12 modules.

scholarly journals On strongly coseparable modules

2021 ◽  
Author(s):  
Rachid Ech-chaouy ◽  
Abdelouahab Idelhadj ◽  
Rachid Tribak
Keyword(s):  
Direct Summand ◽  
Noetherian Ring ◽  
Commutative Rings ◽  
Free Module ◽  
Finitely Generated ◽  
Direct Sums ◽  
Von Neumann ◽  
Von Neumann Regular Rings ◽  
Von Neumann Regular ◽  
Regular Rings

AbstractA module M is called $$\mathfrak {s}$$ s -coseparable if for every nonzero submodule U of M such that M/U is finitely generated, there exists a nonzero direct summand V of M such that $$V \subseteq U$$ V ⊆ U and M/V is finitely generated. It is shown that every non-finitely generated free module is $$\mathfrak {s}$$ s -coseparable but a finitely generated free module is not, in general, $$\mathfrak {s}$$ s -coseparable. We prove that the class of $$\mathfrak {s}$$ s -coseparable modules over a right noetherian ring is closed under finite direct sums. We show that the class of commutative rings R for which every cyclic R-module is $$\mathfrak {s}$$ s -coseparable is exactly that of von Neumann regular rings. Some examples of modules M for which every direct summand of M is $$\mathfrak {s}$$ s -coseparable are provided.

Sign in / Sign up

Export Citation Format

Share Document