5
$\begingroup$

Possible Duplicate:
Ring of functions that are polynomials in $\cos t$ and $\sin t$, with real coefficients

Let $S=\mathbb R[X,Y]/(X^2+Y^2-1)$. Is the ring $S$ a UFD?

We obviously have a factorization $x^2=(1-y)(1+y)$ here but I have trouble showing that $x,1-y$ are irreducible, or that they are not equivalent (i.e. one is multiple of another by a unit in this ring). How would one go about proving these?

Is there an easier proof using the equivalence of UFD with Krull domain in which every height 1 prime ideal is principal?

  • 3
    Using SEARCH will find this http://math.stackexchange.com/questions/244460/ring-of-functions-that-are-polynomials-in-cos-t-and-sin-t-with-real-coeff/244487#2444872012-12-16
  • 0
    I hadn't seen that, true, but my question is not answered there anyway (namely why x, 1-y are irreducible and if you have a second proof using the equivalent definition above). So I don't see why the topic was closed.2012-12-17
  • 0
    @Bernard: It might help you to complete the missing parts, if you first map $S$ into the ring of complex Laurent polynomials as described in the linked question.2012-12-17
  • 1
    I've added some more details to my answer there. If $S$ is an UFD, then (without any reference to Krull domains) every height $1$ prime ideal is principal. If I understand well you want to prove that this is not the case here. I suggest you to try to see if the prime ideal $(x,y-1)$ is principal or not (its height is $1$).2012-12-17
  • 0
    @YACP Thank you. Yes I tried that but I showed it IS principal. I'm probably wrong but here is how it goes: S is normal so localizations at maximal ideals are normal. Let $m$ any codimension 1 prime ideal in S; then $S_m$ is a Noetherian local domain of dimension 1 which is normal, hence a DVR, hence principal. What am I missing here?2012-12-17
  • 0
    If $mS_m$ is principal this doesn't mean that $m$ is principal.2012-12-17
  • 0
    Dear Bernard, I have added another answer to the previous question on this which is more geometric, and possibly of interest (depending on your background). Regards,2012-12-17

0 Answers 0