2
$\begingroup$

It is fairly known that

$\mathbb C[x,y,z]/(xy+z^n) \cong \mathbb C[x,y,z]/(z^n+x^2+y^2)$.

This appears, for example, in the study of singularities of type $A_n$. But, unfortunately, I am not able to prove it.

How could we establish this isomorphism?

Thanks!

  • 0
    You should edit the title so that it refers to the content of the question, which is not about isomorphisms between polynomial rings! :-)2012-10-29

2 Answers 2

4

Hint: The equality $x^2+y^2=(x+iy)(x-iy)$ suggests $x\mapsto x+iy$, $y\mapsto x-iy$, $z\mapsto z$.

  • 0
    Thank you! That was easier than I thought!2012-10-29
4

In the left hand side, set $x=u-iv$, $y=u+iv$. Then the LHS is $\mathbb C[u,v, z]/((u^2+v^2)+z^n).$

  • 0
    Thank you! This is useful!2012-10-29