Skip to main content
4 of 5
deleted 541 characters in body
Will Sawin
  • 148.4k
  • 9
  • 324
  • 563

Consider the ring $\prod k[x,y]/(x^n,x^{n-1}y,...,xy^{n-1},y^n)$. First some notation. If $f$ is an element, then $f_n$ is the part of it in $k[x,y]/(x^n,x^{n-1}y,...,xy^{n-1},y^n)$. The degree of $f_n$ is the highest power of the ideal $(x,y)$ that it lies in. Since this is reduced, the ring we will work with is this modulo the ideal of nilpotents. An element $f$ is nilpotent if $f_n^k$ has degree at least $n$ for some fixed $k$, or, equivalently, if $f_n$ has degree at least $n/k$. Since $n/k$ is positive, if $f_n$ is degree $0$ then $f$ cannot be nilpotent.

This will allow us to check that the ring is classical. If $f_n$ has positive degree, then $f$ is a zero-divisor. Take $g$ such that $g_n=1$, $g_m=0$ for $m\neq n$. $g_n$ is degree $0$ so $g$ is not nilpotent. $f_mg_m$ has degree at least $m/n$, so $f_mg_m$ is nilpotent. Thus a regular element is one which is degree $0$ everywhere, and such an element is invertible.

The localization at $y$, however, is not classical. $f y^l=0$ if the degree of $f_n y^l$ is at least $n/k$, equivalently, if the degree of $f_n$ is at least $n/k-l$. This is the kernel of the localization. If $xf$ is in this ideal then $f$ is in the ideal, since $f$ would have degree $n/k-l-1$. So $x$ is regular. We need to check that $x$ is not invertible, which would happen when $xa+b=y^d$ for some $d$ and some $b$ in the ideal. (then the inverse would be $a/y^d$.) Choose some $n$ high enough that the degree of $b_n$ is more than $d$. Then the equation $xa_n+b_n=y^d$ is impossible.

This completes the problem.

Will Sawin
  • 148.4k
  • 9
  • 324
  • 563