The concept of elementary epimorphism is introduced. Inverse systems of such maps are considered, and a dual of the elementary chain lemma is found (Cor. 4.2). The same is done for pure epimorphisms (Cor. 4.3 and 4.4). Finally, this is applied to certain inverse limits of flat modules (Thm. 6.4) and certain inverse limits of absolutely pure modules (Cor. 6.3).

The main theorem characterizes Mittag-Leffler modules as ‘positively atomic’ modules . This is applied to reduced products of Mittag-Leffler modules and pure-semisimple.

We characterize rings over which every cotorsion module is pure injective in terms of certain descending chain conditions and the Ziegler spectrum, which renders the classes of von Neumann regular rings and of pure semisimple rings as two possible extremes. As preparation, descriptions of pure projective and Mittag–Leffler preenvelopes with respect to so-called definable subcategories and of pure generation for such are derived, which may be of interest on their own. Infinitary axiomatizations lead to coherence results previously known for the (...) special case of flat modules. Along with pseudoflat modules we introduce quasiflat modules, which arise naturally in the model-theoretic and the category-theoretic contexts. (shrink)

We characterize strict Mittag-Leffler modules in terms of free realizations of positive primitive formulas, and rings over which projectives are trivial in terms of various notions of separability of strict Mittag-Leffler modules. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

We characterize the non-modular models of a unidimensional first-order theory of modules as the elementary submodels of its prime pure-injective model. We show that in case the maximal non-modular submodel of a given model splits off this is true for every such submodel, and we thus obtain a cancellation result for this situation. Although the theories in question always have models whose maximal non-modular submodel do split off, they may as well have others where they don't. We present a corresponding (...) example. (shrink)