An approximation theorem for Dubrovin valuation rings (Q749629)

Let \(B_ 1,...,B_ n\) be Dubrovin valuation rings of a central simple algebra S. If \(I_ i\) is a right ideal of \(B_ i\) and \(s_ i\in S\) we consider under what conditions is there an \(x\in S\) with \(x\equiv s_ i mod I_ i\) for all i. If S is a commutative field, a theorem of Ribenboim says that necessary and sufficient conditions for this are that \(I_ iB_{ij}=I_ jB_{ij}\) and \(s_ i-s_ j\in I_ iB_{ij}\) for all \(i\neq j\), where \(B_{ij}\) is the least overring of \(B_ i\) and \(B_ j\) in S. If S is a division algebra and each \(B_ i\) is a total valuation ring of S then the same result is true, as proved by Gräter. In the general case of Dubrovin valuation rings, we show that in addition to the conditions above, it is also necessary and sufficient that for each \(i\neq j\), the commutative valuation rings \(Z(B_ i/J(B_{ij}))\) and \(Z(B_ j/J(B_{ij}))\) are independent in the field \(Z(B_{ij}/J(B_{ij})).\) As an application of this theorem we prove that if \(B_ 1,...,B_ n\) satisfy the hypotheses of the approximation theorem then for \(R=\cap_{i}B_ i\), each \(B_ i\) is a two-sided localization of R, and that R is a Bézout ring. This then gives examples of Prüfer rings, as defined in a recent paper of Alajbegović and Dubrovin. Last, an example shows that these properties for R fail in general for arbitrary intersections of Dubrovin valuation rings.