Sigma-cotorsion rings. (Q705984)

A module \(M_R\) is said to be: a) `cotorsion', if \(\text{Ext}^1_R(F,M)=0\) for every flat module \(F_R\); b) `\(\Sigma\)-cotorsion', if for every index set \(I\) the module \(M^{(I)}\) is cotorsion. In this article the investigations of the authors from the previous work [Bull. Lond. Math. Soc. 36, No. 3, 303-309 (2004; Zbl 1068.16003)] are continued, extending to flat \(\Sigma\)-cotorsion modules the known results on \(\Sigma\)-pure-injective modules. In an essential manner is used the fact that every module \(M_R\) admits a cotorsion envelope \(C(M_R)\) [\textit{L. Bican}, \textit{R. El Bashir} and \textit{E. Enochs}, Bull. Lond. Math. Soc. 33, No. 4, 385-390 (2001; Zbl 1029.16002)]. The main result is the equivalence of the following conditions for a ring \(R\): (1) \(R\) is right perfect; (2) \(R\) is right \(\Sigma\)-cotorsion; (3) \(C(R_R)\) is \(\Sigma\)-cotorsion; (4) If \(M_R\) is a pure submodule of \(R^{(I)}\), then \(M_R\) is strongly pure-essential in a direct summand of \(R^{(I)}\); (5) The category of projective right \(R\)-modules is closed under strongly pure-essential extensions. If \(C_R\) is a flat \(\Sigma\)-cotorsion module, and \(S=\text{End}(C_R)\), then the Jacobson radical \(J(S)\) is described as the maximum left ideal of \(S\) that acts locally T-nilpotently on \(C_R\). If \(R\) is a semilocal ring, \(C=C(R_R)\) and \(S=\text{End}(C_R)\), then \(J(S)\) consists of all \(f\in S\) such that \(f(1)\in CJ\) (i.e. \(\text{Im}(f)\subseteq CJ\)).