0
$\begingroup$

Let be R a commutative ring whit unit and let I a proper ideal of R. Let R' the completion of R respect to the ideal I (see Introduction to Commutative Algebra - M. F. Atiyah, I. G. MacDonald for the definition). It's true or false that:

R' is an integral domain then R is an integral domain?

Improve this question
$\endgroup$
3
  • 3
    $\begingroup$ Well, you need some hypothesis since completion only sees things locally. (Take the disjoint union of two lines $R = k[x] \times k[y]$ and complete wrt a maximal ideal on one of the lines but not the other). $\endgroup$
    – LMN
    Commented Jan 8, 2013 at 19:01
  • 1
    $\begingroup$ Is $R$ a local ring? $\endgroup$
    – Karl Schwede
    Commented Jan 8, 2013 at 20:52
  • $\begingroup$ hm - I remember being given this as a homework problem, and given the way it's stated it certainly smells like one... $\endgroup$
    – Kevin Casto
    Commented Jan 9, 2013 at 6:41

1 Answer 1

Reset to default
6
$\begingroup$

No. $\mathbb{Z}/6$ completed at the prime $(3)$ is $\mathbb{Z}/3$. (I can think of true versions of this statment, but I'll hold off until it's clearer what you're looking for.)

Improve this answer
$\endgroup$
3
  • $\begingroup$ Please, could you elaborate on "I can think of true versions of this statement"? $\endgroup$
    – user237522
    Commented Feb 16, 2020 at 8:23
  • $\begingroup$ @user237522 If $R$ is a noetherian local ring, then $R$ injects in $R'$. So, in this situation, if $R'$ is an integral domain, then so is $R$. $\endgroup$
    – David E Speyer
    Commented Feb 16, 2020 at 13:11
  • $\begingroup$ Thank you very much! $\endgroup$
    – user237522
    Commented Feb 16, 2020 at 20:06

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .