A calculation of injective dimension over valuation domains (Q1109831)

Let R be a valuation domain of global dimension \(n+1\), where \(n\geq 2\). Let \(\{L_{\alpha}: \alpha \in \Lambda \}\) be a family of archimedean ideals of R, where \(\Lambda\) is a set of cardinality \(\geq \aleph_{n- 2}\). For each \(\alpha\) let \(I_{\alpha}\) be the injective envelope of \(R/L_{\alpha}\). Let \(I=\prod_{\alpha \in \Lambda}I_{\alpha},\quad and\) for each \(1\leq k\leq n\), let \(D_{n-k}\) be the submodule of I consisting of those elements having support of cardinality \(<\aleph_{n- k}\), i.e for all \(y\in I\), y belongs to \(D_{n-k}\) if and only if the cardinality of \(\{\) \(\alpha\in \Lambda: y(\alpha)\neq 0\}\) is strictly less than \(\aleph_{n-k}.\) Extending a result of \textit{S. Bazzoni} [cf. Proc. Am. Math. Soc. 103, No.2, 357-362 (1988; see the following review)], the authors prove, assuming the continuum hypothesis: The injective dimension of \(D_{n-k}\) is at least 2, if \(2\leq k\leq n\). Bazzoni had proved that this injective dimension is at most k, so the injective dimension of \(D_{n-2}\) is exactly 2. Bazzoni had also proved that the injective dimension of \(D_{n-1}\) is exactly 1.