Zaks' conjecture on rings with semi-regular proper homomorphic images (Q308115)

A commutative ring \(R\) is called \textit{semi-regular} if each injective \(R\)-module is flat. Each semi-regular ring is \textit{coherent}, i.e. every finitely generated ideal is finitely presented. The authors define \(R\) to be \textit{residually} \textit{semi-regular} (resp. \textit{coherent}) if \(R/I\) is semi-regular (resp. coherent) for each finitely generated \(I\). It is proven that \(R\) is residually semi-regular if and only if \(R\) satisfies one of the following conditions: {\parindent=0.6cm\begin{itemize}\item[--] \(R\) is a local ring of maximal ideal \(P\) satisfying \(P^2=0\) and dim\(_{R/P}P\leq 2\); \item[--] \(R\) is residually coherent and arithmetical (i.e. its lattice of ideals is distributive). \end{itemize}} When \(R\) is reduced it is shown that \(R\) is residually semi-regular if and only if \(R\) is either a Prüfer (arithmetical) domain or a von Neumann regular ring. So, the main result of this paper is a generalization of the following: {\parindent=0.6cm\begin{itemize}\item[--] a Noetherian ring \(R\) verifies that that \(R/I\) is self injective if and only if either \(R\) satisfies 1 or \(R\) is an Artinian arithmetical ring or \(R\) is a Dedekind domain [\textit{L. S. Levy}, Pac. J. Math. 18, 149--153 (1966; Zbl 0139.26403)]; \item[--] an integral domain is residually semi-regular if and only if it is Prüfer (Zak's conjecture) [\textit{E. Matlis}, J. Algebra 95, 343--372 (1985; Zbl 0596.13014)]. \end{itemize}}