7
$\begingroup$

How does one study Krull dimension of some I-adic completion of a ring or, more generally, a module? I know that in case of Noetherian local ring Krull dimension of its completion equals Krull dimension of the ring, but what can we say in general case?

$\endgroup$
2
  • 2
    $\begingroup$ How general? Are you concerned primarily about the local hypothesis, or do you also want something that works in the non-Noetherian case? $\endgroup$ Apr 17, 2010 at 23:54
  • $\begingroup$ @Charles I'm mainly interested in Noetherian rings. If I'm not mistaken, Zariski rings also preserve Krull dimension under completion. Are there other well-behaved types of rings? Is it true for modules over Zariski ring? Or, maybe, there is a general technique to find it out... $\endgroup$ Apr 18, 2010 at 7:04

1 Answer 1

13
$\begingroup$

For a Noetherian ring R, the Krull dimension of its $I$-adic completion, $\hat{R}$ is given by $\sup h(J)$, where $J$ ranges over all maximal ideals of $R$ containing $I$ and $h(J)$ is the height of $J$. Therefore $\dim \hat R\le \dim R$ with equality only when $I\subset \operatorname{rad} R$. A reference is "Topics in $\mathfrak m$-adic topologies" by S.Greco, P.Salmon

$\endgroup$
2
  • $\begingroup$ Thanks, it was very helpful. This reasoning applies to modules as well, by the way. $\endgroup$ Apr 20, 2010 at 14:29
  • $\begingroup$ What is an example of $I$ such that $I \not\subset {\mathrm{rad}}\,R$? $\endgroup$ Jun 27, 2016 at 1:52

Your Answer

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.