0
$\begingroup$

Assume that $(R,\mathfrak{m})$ is a commutative local ring of equal characteristic zero. So $R$ contains the field of rationals. The well known $\mathfrak{m}$-adic completion of $R$ provides a complete ring $\hat{R}$ whose coefficient field is isomorphic to the residue field of $R$. Do there exists a topological method (completion) for providing a local Noetheiran extension $S$ of $R$ such that $S$ contains the real numbers and also contains $R$ as a dense subring.

$\endgroup$
7
  • $\begingroup$ Why does $R$ contain the field of rationals? I don't see $1/2$ being an element of the localization of $\mathbb{Z}$ by the multiplicative subset $\mathbb{Z}\setminus(2)$. $\endgroup$ Jul 29, 2012 at 12:40
  • $\begingroup$ Sorry, by the characteristic zero I meant equal characteristic zero. Then the elements of $R$ of the form $n:=1+\ldots+1$ (n times) are unit. So the localization of $R$ by the multiplicative subset $\{n:n\in \mathbb{Z}\}$ is isomorphic to $R$. $\endgroup$
    – Aurora
    Jul 29, 2012 at 12:57
  • $\begingroup$ The obvious algebraic method is to tensor over $\mathbb Q$ or another number field with $\mathbb R$. The existence of this method makes it unlikely a cleverer mathod will produce a more natural-seeming result. $\endgroup$
    – Will Sawin
    Jul 29, 2012 at 20:08
  • $\begingroup$ Sawin@ Is $R⨂_Q\mathbb{R}$ again a local Noetherian ring? I am more interested in an extension which contains R as a dense subring. In addition, it is expected for that to be local Noetherian. $\endgroup$
    – Aurora
    Jul 29, 2012 at 22:02
  • 2
    $\begingroup$ @Aurora: Since each of your two comments in effect modified the question, it might be good to edit these modifications into the question itself, so that future readers can find the intended question by simply reading it rather than reading the whole comment thread. $\endgroup$ Jul 29, 2012 at 22:29

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.