An approximation theorem for Dubrovin valuation rings
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.
- Dubrovin valuation rings and Henselization
- scientific article; zbMATH DE number 3893362 (Why is no real title available?)
- Lokalinvariante Bewertungen. (Locally invariant valuations)
- Noncommutative Prüfer rings
- PI-algebras. An introduction
- Rings with a distributive lattice of right ideals
- Valuation rings in finite-dimensional division algebras
- Valuation theory
- Value Functions on Central Simple Algebras
- Dubrovin valuation rings and Henselization
- Maximal orders over valuation rings
- Noncommutative Prüfer rings satisfying a polynomial identity
- Integral semihereditary orders inside a Bézout maximal order
- Extending rings of Prüfer type in central simple algebras.
- Value functions and Dubrovin valuation rings on simple algebras
- On semilocal, Bézout and distributive generalized power series rings.
- scientific article; zbMATH DE number 4130600 (Why is no real title available?)
- scientific article; zbMATH DE number 3849373 (Why is no real title available?)
- Witt rings of even degree division algebras over number fields
- On the intersection property of Dubrovin valuation rings
- scientific article; zbMATH DE number 2145274 (Why is no real title available?)
This page was built for publication: An approximation theorem for Dubrovin valuation rings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q749629)
