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.
$\begingroup$
$\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$– Jesko HüttenhainJul 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$– AuroraJul 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 SawinJul 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$– AuroraJul 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$– Andreas BlassJul 29, 2012 at 22:29
|
Show 2 more comments