No label defined (Q4025949)

[For the entire collection see Zbl 0745.00066.] A (left) \(R\)-module \(M\) is \(\aleph_ 1\)-separable if every countable subset is contained in a countably generated direct summand (note that there are other distinct definitions of the same notion). \(M\) is trivially \(\aleph_ 1\)-separable if it is a direct sum of countably generated components. The key result is a construction of a non-trivially \(\aleph_ 1\)-separable submodule of \(M^{\aleph_ 1}\), for any left \(R\)-module \(M\) such that \(M^{\aleph_ 1}\) contains a non-\(\Sigma\)-pure injective submodule. An exact sequence \(0\to A@>f>>B@>g>>C\to 0\) is locally split if, for each finite \(A'\subset A\), \(C'\subset C\), there exist homomorphisms \(f':B\to A\) and \(g':C'\to B\) with \(f'f| A'=\text{id}_{A'}\) and \(gg'| C'=\text{id}_{C'}\). Theorem. For a ring \(R\), the following are equivalent: (1) The left pure global dimension of \(R\) is zero (equivalently, every pure inclusion of left \(R\)-modules splits); (2) Every left \(R\)-module is a direct sum of finitely generated submodules; (3) The only \(\aleph_ 1\)-separable left \(R\)-modules are trivially \(\aleph_ 1\)-separable modules; (4) Each locally split exact sequence of left \(R\)-modules splits. The notion termed by the author ``locally projective module'', elsewhere known as ``flat strict Mittag-Leffler module'', ``trace module'' or ``universally torsionless module'' is linked to the context via the following Theorem: (1), (2) and (3) are equivalent for a ring \(R\): (1) \(R\) is not left perfect; (2) There exists a locally projective left \(R\)- module which is not projective; (3) There exists a non-trivially \(\aleph_ 1\)-separable \(R\)-module which is locally projective.