Direct injective modules

Throughout this paperR will denote a ring with idenity element andM a unitary right module overR. AnR-moduleM is said to be direct injective if and only if given direct summandN ofM with injectioni _N:N→M and a monomorphismg:N→M, there exists an endomorphismf ofR-moduleM such thatfg=i _N. In this paper we investigate properties of direct injective modules, and obtain the following results on direct injective modules.

1. We establish the necessary and sufficient condition for a module to be direct injective.
2. We show that the answer on problem of Krull-Schmidt-Matlis is in the affirmative in caseR-moduleM is extending direct injective.
3. We prove that extending direct injectivity of module implies same properties of its direct summands.

     

Extending modules which are direct sums of injective modules and semisimple modules

It is proved that, if R is a right Noetherian ringM ₁ is an injective right R-module and M ₂ is a semisimple right R-module, then the right R-module M ₁ + M ₂ is extending if and only if M ₂ is (M ₁/Soc(M ₁))-injective.     

The structure of injective covers of special modules

In this paper, we prove that the injective cover of theR-moduleE(R/B)/R/B for a prime ideal B ofR is the direct sum of copies ofE(R/B) for prime ideals D ⊃ B, and if B is maximal, the injective cover is a finite sum of copies ofE(R/B). For a finitely generatedR-moduleM withn generators andG an injectiveR-module, we argue that the natural mapG ⁿ →G ⁿ/Hom _R (M, G) is an injective precover if Ext _R ¹ (M, R) = 0, and that the converse holds ifG is an injective cogenerator ofR. Consequently, for a maximal ideal R ofR, depth_R R ≧ 2 if and only if the natural mapE(R/R) →E(R/R)/R/R is an injective cover and depth_R R > 0.     

On the existence of covers by injective modules relative to a torsion theory

Let R be a ring with identity. In this note we study covers of left R-modules by r-injectives left R-modules, where r is a hereditary torsion theory defined in the category of all left R-modules and all R-morphisms. When R is an artinian commutative ring, a complete answer about the existence of such covers for every R-module is given. In case that T is a centrally splitting torsion theory, we can characterize those T for which every left R-module has a T-injective cover. Also we analyze R-modules such that the injective and the T-injective cover are the same. At the end of this note we relate the concepts of colocalization and cover     

Good dualities and strongly quasi-injective modules

Sunto Siano R ed A due anelli e sia_RK_A un bimodulo topologico di Hausdorff su R ed A dotati della topologia discrete. Sia D(K_A) la categoria formata dagli A-moduli astratti M tali che Hom_A (M, K) separa i punti di M e sia C(_RK) la categoria formata dagli R-moduli topologici che sono topologicamente isomorfi a sottomoduli chiusi di prodotti topologici di copie di_RK. Nella prima parte del lavoro si determinano dette condizioni su K affinchè le suddette categorie siano l'una la duale dell'altra. Nella ricerca di tali condizioni la nozione di modulo topologico fortemente quasi-iniettivo giuoca un ruolo fondamentale. Nella seconda parte del lavoro si studia il caso in cui K è compatto. In particolare, si mette in evidenza uno stretto legame fra la suddetta teoria di dualità ed i risultati di K. R. Fuller sulla teoria delle equivalenze. Nella terza parte del lavoro, infine, si esamina il caso in cui_RK è disereto. Si approfondiscono in tale ambito alcuni risultati ottenuti precedentemente dagli autori nel caso in cui R ed A siano commutativi. Come applicazione si dimostrano rapidamente alcuni teoremi di B. Mütter riguardanti la dualità di Morita.

---

---

Lavoro eseguito nell'ambito dell'attività dei gruppi di ricerca matematica del CNR.     

Direct sums of injective semimodules and direct products of projective semimodules over semirings

We prove that if the direct sum of a family of semimodules over a semiring S is an injective semimodule or if the direct product of a family of semimodules over S is a projective semimodule, then the cardinality of the subfamily consisting of all semimodules which are not modules is strictly less than the cardinality of S. As a consequence, we obtain semiring analogs of well-known characterizations of classical semisimple, quasi-Frobenius, and one-sided Noetherian rings.     

Strongly Gorenstein projective, injective, and flat modules

In this paper, we study a particular case of Gorenstein projective, injective, and flat modules, which we call, respectively, strongly Gorenstein projective, injective, and flat modules. These last three classes of modules give us a new characterization of the first modules, and confirm that there is an analogy between the notion of “Gorenstein projective, injective, and flat modules” and the notion of the usual “projective, injective, and flat modules”.