Prove that the ring $\mathbb R[x,y,z]/(x^2+y^2+z^2-1)$ is a unique factorization domain.

  • 7
    $\begingroup$ What do you expect the OP to say? "I checked $x^2$. I checked $x^2-1$. I checked $x^2-y^2$ ..." Or a confession that it is homework and they just don't want to do it? Just assume good faith. $\endgroup$ – OR. Sep 5 '13 at 18:55
  • 6
    $\begingroup$ @ABC Brandon's request is standard practice when a question is posed like this. He is acting in good faith (but your response to him does not show very much good faith.) The OP could explain, for example, any line of approach they tried until this point, ideas, failures etc. $\endgroup$ – rschwieb Sep 5 '13 at 20:38
  • $\begingroup$ You should get an idea from math.stackexchange.com/questions/244460 which discussed $\mathbb{R}[x,y]/(x^2+y^2-1)$. The same works here. $\endgroup$ – Martin Brandenburg Sep 5 '13 at 20:59
  • $\begingroup$ Or you could try to show $\mathbb R /(x^2 +1)$ is not an UFD, which is isomorphic to $\mathbb C$. $\endgroup$ – Daron Sep 5 '13 at 21:07
  • 3
    $\begingroup$ @MartinBrandenburg With two variables one can write $x\times x=(1-y)(1+y)$, providing two distinct irreducible factorizations. It is not clear at all whether a similar argument exists for three variables as you claim. Also several comments here conjecture that the ring is in fact a UFD $\endgroup$ – Ewan Delanoy Sep 6 '13 at 11:54

Hint. Let $R=\mathbb R[X,Y,Z]/(X^2+Y^2+Z^2-1)$. Note that $z-1$ is prime in $R$. Show that $R_{z-1}$ is a UFD and then use Nagata Criterion.

  • $\begingroup$ Thanks a lot..could you you tell me where can I get the proof of Nagata Criterion...@YACP $\endgroup$ – sayak Sep 30 '13 at 11:07
  • $\begingroup$ @sayak See Theorem 15.39 in Pete Clark's notes. $\endgroup$ – user26857 Sep 30 '13 at 11:33
  • $\begingroup$ What is $R_{z-1}$? $\endgroup$ – Sahiba Arora May 22 '17 at 20:04

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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