Is it true that $\langle x^2+y^2-1\rangle$ is prime in $\mathbb{C}[x,y]$?

Question

Is it true that $\langle x^2+y^2-1\rangle$ is prime in $\mathbb{C}[x,y]$ ?

Answer 1

One way to see that this ideal is prime is to show that the quotient ring is an integral domain. By change of variables $u=x+iy, v=x-iy$ you get that $$\mathbb{C}[x,y]/\left<x^2+y^2-1\right>\cong \mathbb{C}[u,v]/\left<uv-1\right>\cong \mathbb{C}[t^{\pm 1}].$$

Answer 2

Yes. Since the conic $x^2+y^2=1$ is an irreducible curve in $\mathbb{C}^2$.

More than irreducible, its projective closure is smooth. One can simply check the vanishing of the partial derivatives.