Commutative domains large in their \({\mathfrak M}\)-adic completions (Q2563961): Difference between revisions

Let \(R\) be an integral domain, \(J\subseteq R\) be a maximal ideal such that \(\bigcap_{n \in\mathbb{N}} J^n= \{0\}\) and \(\widehat R_J\) be a completion of \(R\) in the \(J\)-adic topology. The article under review investigates the question whether an element \(a\in \widehat R_J\) is algebraic over the ring \(R\), and of what degree. It is proved, in particular, that if \(R\) is a noetherian, non local integral domain, then for every \(n\in\mathbb{N}\) there exists an element, \(a\in \widehat R_J\) algebraic over \(R\), of degree \(d\), \(d>n\). Except that it is proved that if \(T\) is a local integral domain, is not a field and \(A\subseteq T\) is a maximal ideal, then there exists such a non local ring \(R\subseteq T\) that \(J= A\cap R\) is a maximal ideal in \(R\) and \(T\) is a localization of \(R\) by \(J\). In the case when \(T\) is complete in \(A\)-adic topology \(T= \widehat R_J\).