scientific article; zbMATH DE number 124326
\(\aleph_ 1\)-separable modulescountably generated direct summanddirect sum of finitely generated submodulesleft pure global dimensionlocally projective left \(R\)-modulelocally split exact sequenceMittag-Leffler modulenon-\(\Sigma\)-pure injective submodule
Injective modules, self-injective associative rings (16D50) Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras) (16D70) Homological dimension in associative algebras (16E10) Homological functors on modules (Tor, Ext, etc.) in associative algebras (16E30) Auslander-Reiten sequences (almost split sequences) and Auslander-Reiten quivers (16G70) Noncommutative local and semilocal rings, perfect rings (16L30)
[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.
- Separable modules over finite-dimensional algebras
- On the existence of \(\lambda\)-projective splitters
- Periodic modules and acyclic complexes
- scientific article; zbMATH DE number 4212251 (Why is no real title available?)
- On the construction of separable modules.
- Accessible subcategories of modules and pathological objects.
- scientific article; zbMATH DE number 66415 (Why is no real title available?)
- Separability conditions for vector R-modules
- On finitely injective modules and locally pure-injective modules over Prüfer domains
- Constructing sharply transitive R-modules of rank ⩽
- Decomposition properties of strict Mittag-Leffler modules.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4025949)
