We prove a modified version of Ravenel’s telescope conjecture. It is shown that every smashing subcategory of the stable homotopy category is generated by a set of maps between finite spectra. This result is based on a new characterization of smashing subcategories, which leads in addition to a classification of these subcategories in terms of the category of finite spectra. The approach presen...

We prove a generalization of the Flat Cover Conjecture by showing for any ring R that (1) each (right R-) module has a Ker Ext(−, C)-cover, for any class of pure-injective modules C, and that (2) each module has a Ker Tor(−,B)-cover, for any class of left R-modules B. For Dedekind domains, we describe Ker Ext(−, C) explicitly for any class of cotorsion modules C; in particular, we prove that (1...

If R is a commutative ring, then we prove that every finitely generated R-module has a pure-composition series with indecomposable cyclic factors and any two such series are isomorphic if and only if R is a Bézout ring and a CF-ring. When R is a such ring, the length of a pure-composition series of a finitely generated R-module M is compared with its Goldie dimension and we prove that these num...

We consider a symmetric monoidal closed category V = (V ,⊗, I, [−,−]) together with a regular injective object Q such that the functor [−, Q] : V → V op is comonadic and prove that in such a category, as in the monoidal category of abelian groups, a morphism of commutative monoids is an effective descent morphism for modules if and only if it is a pure monomorphism. Examples of this kind of mon...

In this paper certain injectivity conditions in terms of extensions of monomorphisms are considered. In particular, it is proved that a ring R is a quasi-Frobenius ring if and only if every monomorphism from any essential right ideal of RR into R (N) R can be extended to RR. Also, known results on pseudo-injective modules are extended. Dinh raised the question if a pseudo-injective CS module is...

Characterisations of those separable C∗-algebras that have type I injective envelopes or W∗-algebra injective envelopes are presented. An operator system I is injective if for every inclusion E ⊂ F of operator systems each completely positive linear map ω : E → I has a completely positive extension to F . An injective envelope of an operator system E is an injective operator system I such that ...

The concepts of free modules, projective modules, injective modules, and the like form an important area in module theory. The notion of free fuzzy modules was introduced by Muganda as an extension of free modules in the fuzzy context. Zahedi and Ameri introduced the concept of projective and injective L-modules. In this paper, we give an alternate definition for injective L-modules and prove t...