Behavior of countably generated pure-projective modules
type: Item
instance of: scholarly article
title: Behavior of countably generated pure-projective modules
zbMATH Open document ID: 0792.16001
DOI: 10.5565/PUBLMAT_362A92_04
author: Goro Azumaya
published in: Publicacions Matemàtiques
publication date: 1994-08-07T00:00:00Z
full work available at URL: https://eudml.org/doc/41720
review text: 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\).
Mathematics Subject Classification ID: 16D40
Mathematics Subject Classification ID: 16D50
Mathematics Subject Classification ID: 16D60
Mathematics Subject Classification ID: 16D70
zbMATH DE Number: 203305
zbMATH Keywords: short exact sequence
zbMATH Keywords: left \(R\)-modules
zbMATH Keywords: pure submodule
zbMATH Keywords: finitely generated submodules
zbMATH Keywords: indecomposable submodules
zbMATH Keywords: left pure-semisimple rings
zbMATH Keywords: countably generated pure-projective modules
zbMATH Keywords: countably presented left \(R\)-module
zbMATH Keywords: direct summand
Wikidata QID: Q105666642
reviewed by: Paul E. Bland
MaRDI profile type: Publication
Recommended article: The structure of countably generated projective modules over regular rings
Recommended article: On projectivity of finitely generated modules
Recommended article: Q4875138
Recommended article: Pure-projective modules and positive constructibility
Recommended article: On finitely generated projective modules
Recommended article: An alternative perspective on pure-projectivity of modules
Recommended article: Pure descent for projectivity of modules
Recommended article: P-Projective modules
Recommended article: On the structure of pure-projective modules and some applications
Recommended article: Finite generation of projective modules over certain rings
description: scientific article; zbMATH DE number 203305