On coseparable and 𝔪-coseparable modules

Author(s):  
Rachid Ech-chaouy ◽  
Abdelouahab Idelhadj ◽  
Rachid Tribak

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

Author(s):  
Rachid Ech-chaouy ◽  
Abdelouahab Idelhadj ◽  
Rachid Tribak

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.


1971 ◽  
Vol 23 (6) ◽  
pp. 1094-1101 ◽  
Author(s):  
J. Zelmanowitz

In § 1, we begin with a basic theorem which describes a convenient embedding of a nonsingular left R-module into a complete direct product of copies of the left injective hull of R (Theorem 2). Several applications follow immediately. Notably, the injective hull of a finitely generated nonsingular left R-module is isomorphic to a direct sum of injective hulls of closed left ideals of R (Corollary 4). In particular, when R is left self-injective, every finitely generated nonsingular left R-module is isomorphic to a finite direct sum of injective left ideals (Corollary 6).In § 2, where it is assumed for the first time that rings have identity elements, we investigate more generally the class of left R-modules which are embeddable in direct products of copies of the left injective hull Q of R. Such modules are called torsion free, and can also be characterized by the property that no nonzero element is annihilated by a dense left ideal of R (Proposition 12).


2019 ◽  
Vol 19 (11) ◽  
pp. 2050207
Author(s):  
Gangyong Lee ◽  
Mauricio Medina-Bárcenas

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.


2018 ◽  
Vol 17 (04) ◽  
pp. 1850059 ◽  
Author(s):  
J. Y. Abuhlail ◽  
S. N. Il’in ◽  
Y. Katsov ◽  
T. G. Nam

In this paper, we introduce and study e-injective semimodules, in particular over additively idempotent semirings. We completely characterize semirings all of whose semimodules are e-injective, describe semirings all of whose projective semimodules are e-injective, and characterize one-sided Noetherian rings in terms of direct sums of e-injective semimodules. Also, we give complete characterizations of bounded distributive lattices, subtractive semirings, and simple semirings, all of whose cyclic (finitely generated) semimodules are e-injective.


1996 ◽  
Vol 39 (2) ◽  
pp. 253-262 ◽  
Author(s):  
Dinh Van Huynh

It is shown that a ring R is right noetherian if and only if every cyclic right R-module is injective or a direct sum of a projective module and a noetherian module.


Author(s):  
Wan Wu ◽  
Zenghui Gao

We introduce and study strongly Gorenstein subcategory [Formula: see text], relative to an additive full subcategory [Formula: see text] of an abelian category [Formula: see text]. When [Formula: see text] is self-orthogonal, we give some sufficient conditions under which the property of an object in [Formula: see text] can be inherited by its subobjects and quotient objects. Then, we introduce the notions of one-sided (strongly) Gorenstein subcategories. Under the assumption that [Formula: see text] is closed under countable direct sums (respectively, direct products), we prove that an object is in right (respectively, left) Gorenstein category [Formula: see text] (respectively, [Formula: see text]) if and only if it is a direct summand of an object in right (respectively, left) strongly Gorenstein subcategory [Formula: see text] (respectively, [Formula: see text]). As applications, some known results are obtained as corollaries.


Algebra ◽  
2013 ◽  
Vol 2013 ◽  
pp. 1-6
Author(s):  
Alveera Mehdi ◽  
Fahad Sikander ◽  
Firdhousi Begum

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.


2021 ◽  
Vol 8 (28) ◽  
pp. 885-898
Author(s):  
Michael Loper

Virtual resolutions are homological representations of finitely generated Pic ( X ) \text {Pic}(X) -graded modules over the Cox ring of a smooth projective toric variety. In this paper, we identify two algebraic conditions that characterize when a chain complex of graded free modules over the Cox ring is a virtual resolution. We then turn our attention to the saturation of Fitting ideals by the irrelevant ideal of the Cox ring and prove some results that mirror the classical theory of Fitting ideals for Noetherian rings.


2014 ◽  
Vol 14 (02) ◽  
pp. 1550016 ◽  
Author(s):  
N. R. Baeth ◽  
A. Geroldinger ◽  
D. J. Grynkiewicz ◽  
D. Smertnig

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.


2002 ◽  
Vol 01 (03) ◽  
pp. 289-294
Author(s):  
MAHER ZAYED ◽  
AHMED A. ABDEL-AZIZ

In the present paper, modules which are subisomorphic (in the sense of Goldie) to their pure-injective envelopes are studied. These modules will be called almost pure-injective modules. It is shown that every module is isomorphic to a direct summand of an almost pure-injective module. We prove that these modules are ker-injective (in the sense of Birkenmeier) over pure-embeddings. For a coherent ring R, the class of almost pure-injective modules coincides with the class of ker-injective modules if and only if R is regular. Generally, the class of almost pure-injective modules is neither closed under direct sums nor under elementary equivalence. On the other hand, it is closed under direct products and if the ring has pure global dimension less than or equal to one, it is closed under reduced products. Finally, pure-semisimple rings are characterized, in terms of almost pure-injective modules.


Sign in / Sign up

Export Citation Format

Share Document