1
$\begingroup$

Two plane curves $X,Y$, defined by polynomials $f(x,y)=0$ and $g(x,y)=0$,are analytically isomorphic(at the origin). i.e., the complete local rings $k[[x,y]]/(f)$ and $k[[x,y]]/(g)$ are isomorphic.

Why $\ell(k[x,y]/(f,f_x,f_y))=\ell(k[x,y]/(g,g_x,g_y))?$ Here, $\ell(M)$=the length of $M$=the number of modules in a composition series of $M$.

Hartshorne 1.5.mensions "analytically isomorphic" and exercise 5.14. tells something about plane singularities. I can't prove and understand the above equality. How can I prove?

$\endgroup$

1 Answer 1

3
$\begingroup$

Are you asking for an "intrinsic" definition of the ideal $\langle f,f_x,f_y \rangle/\langle f \rangle$ inside the local ring $R=(k[x,y]/\langle f \rangle)_{\mathfrak{m}}$? It is the Fitting ideal of the module of differentials of this local ring (with respect to the ground field $k$).

$\endgroup$

You must log in to answer this question.

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