3
$\begingroup$

I have a question related to this post.

Suppose $I$ and $J$ are ideals in $R=k[x_1,\ldots,x_n]$ with $In(I)\cong In(J)$ where $In(I)$ is the ideal generated by the leading term of all those $f\in I$, with the additional assumption that the minimal number of generators generating $I$ equals the minimal number of generators generating $J$. Then doesn't that imply that $R/I$ is isomorphic to $R/J$?

Can someone give me a counter-example to this or refer me to a reference?

Thanks in advance.

Addendum: suppose $k$ is algebraically closed.

  • 0
    Yes, we fix a monomial order. Any monomial order will do-- we just need to fix it throughout the argument.2012-05-22

1 Answers 1

3

This is quite false even when $n = 2$ and even for ideals which are generated by a single element. Take $I = (x^2 - y), J = (x^2 - y^2)$ where $x > y$ in the monomial order; then $k[x, y]/I \cong k[x]$ but $k[x, y]/J$ has a zero divisor, namely $x + y$.

Edit: Indeed it is false even when $n = 1$. Take $I = (x^2), J = (x^2 - x)$.

  • 0
    Ah, thanks Qiaochu! ${}{}{}$2012-05-22