Pure projective modules over exceptional uniserial noncoherent rings. (Q1948582)

A pure projective module over an associative ring \(R\) can be defined to be a direct summand of a direct sum of finitely presented modules, [see \textit{R. B. Warfield} jun., Pac. J. Math. 28, 699-719 (1969; Zbl 0172.04801), Proposition 1]. Similar to Kaplansky's theorem for projective modules, one can show that pure projective modules over a ring \(R\) are direct sums of countably generated (pure projective) submodules, [see \textit{F. W. Anderson, K. R. Fuller}, Rings and categories of modules. Graduate Texts in Mathematics 13. New York: Springer-Verlag (1974; Zbl 0301.16001), Theorem 26.1]. A ring \(R\) is said to be right chain (or right uniserial) if its right ideals are linearly ordered with respect to inclusion, and it is called a chain ring if it is both left and right chain. A chain ring \(R\) is called exceptional if it is a prime non-domain ring such that \(J(R)\), the Jacobson radical of \(R\), is the unique nonzero proper ideal of \(R\). One can naturally construct examples of these rings as the factor rings of exceptional chain domains of rank 1 (note, if \(R\) is an exceptional chain domain of rank 1, \(J(R)\) is the unique nontrivial completely prime ideal of \(R\) which contains a nonzero prime not completely prime ideal \(Q\) such that \(Q\) is maximal with respect to being an ideal of \(R\) inside \(J(R)\), hence \(R/Q\) is an exceptional chain ring, [see \textit{H. H. Brungs} and \textit{N. I. Dubrovin}, Trans. Am. Math. Soc. 355, No. 7, 2733-2753 (2003; Zbl 1037.16023)]). It seems (as it is claimed by Puninski) that the latter factor rings are, so far, the only known examples of exceptional chain rings. Let us also recall that a ring \(R\) is said to be right coherent if every finitely generated right ideal of \(R\) is finitely presented. Left coherent and coherent rings are defined similarly. One can show that a chain ring \(R\) is right coherent if and only if the right annihilator of every element of \(R\) is a principal right ideal. In another article, Puninski constructs nontrivial examples of pure projective modules (some of which admit no indecomposable decomposition, but contain indecomposable direct summands) over an exceptional chain non-coherent ring \(R\). In Theorem 17 (main theorem) it is interestingly shown (by using dimension theory, naturally considering only the countably generated pure projective modules, and making use of Bass' theorem on big projective modules, [see \textit{H. Bass}, Ill. J. Math. 7, 24-31 (1963; Zbl 0115.26003)]) that the pure projective modules over exceptional chain non-coherent rings are nothing but the direct sums of the copies of these examples. As it is admitted by the author, the main results of the article under review are similar to the corresponding ones for the exceptional uniserial rings by \textit{P. Příhoda}, [J. Pure Appl. Algebra 210, No. 3, 827-835 (2007; Zbl 1124.16002)] and the author [\textit{G. Puninski}, J. Lond. Math. Soc., II. Ser. 64, No. 2, 311-326 (2001; Zbl 1048.16003); St. Petersbg. Math. J. 13, No. 6, 1033-1046 (2002); translation from Algebra Anal. 13, No. 6, 175-192 (2001; Zbl 1060.16001)] (even the proofs are in the same vein, but need serious modifications). Naturally, the main results of the latter three articles together with the ones in the article under review will play an effective role in the classification of the pure projective modules over uniserial rings, in general.