Behavior of countably generated pure-projective modules
countably generated pure-projective modulescountably presented left \(R\)-moduledirect summandfinitely generated submodulesindecomposable submodulesleft \(R\)-modulesleft pure-semisimple ringspure submoduleshort exact sequence
Free, projective, and flat modules and ideals in associative algebras (16D40) Injective modules, self-injective associative rings (16D50) Simple and semisimple modules, primitive rings and ideals in associative algebras (16D60) Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras) (16D70)
A short exact sequence \(0 \to A \to B \to C \to 0\) of left \(R\)-modules is said to be pure, if for any right \(R\)-module \(M\), the canonical mapping \(0 \to M \otimes_ R A \to M \otimes_ R B\) is an injection. Under these conditions, \(A\) is said to be a pure submodule of \(B\). A left \(R\)- module \(M\) is called pure-projective if \(\text{Hom}_ R(M,B) \to \text{Hom}_ R(M,C) \to 0\) is exact for every pure short exact sequence \(0 \to A \to B \to C \to 0\). Pure-injectives are defined in a similar fashion. The author calls a ring \(R\) left pure-semisimple if it satisfies the equivalent conditions: 1) every left \(R\)-module is pure-injective, and 2) every left \(R\)-module is pure-projective. Left pure-semisimple rings are known to be left Artinian and they have been characterized as those rings which satisfy the following equivalent conditions: 1) every left \(R\)-module is a direct sum of finitely generated submodules, 2) every left \(R\)-module is a direct sum of indecomposable submodules, and 3) every indecomposable left \(R\)-module is finitely presented. The author adds to these results by giving additional characterizations of left pure-semisimple rings in terms of countably generated pure-projective modules. He shows that a ring \(R\) is left pure-semisimple if and only if every countably generated pure-projective left \(R\)-module is pure- injective. This result shows that \(R\) is left pure-semisimple if and only if every countably presented left \(R\)-module is pure-injective. Finally, he shows that \(R\) is left pure-semisimple if and only if for any countably generated pure-projective left \(R\)-module \(P\), every countably generated pure-projective pure submodule of \(P\) is a direct summand of \(P\).
- The structure of countably generated projective modules over regular rings
- On projectivity of finitely generated modules
- scientific article; zbMATH DE number 871869
- Pure-projective modules and positive constructibility
- On finitely generated projective modules
- An alternative perspective on pure-projectivity of modules
- Pure descent for projectivity of modules
- P-Projective modules
- On the structure of pure-projective modules and some applications
- Finite generation of projective modules over certain rings
- Pure-periodic modules and a structure of pure-projective resolutions.
- Pure-direct-injective modules
- Rings whose cyclic modules are pure-injective or pure-projective
- scientific article; zbMATH DE number 140214 (Why is no real title available?)
- A duality result for almost split sequences
- Finitely Presented Right Modules Over a Left Pure-Semisimple Ring
- Notes on pure projective modules.
- The opposite of injectivity by proper classes
This page was built for publication: Behavior of countably generated pure-projective modules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1802360)
