Skip to main content
2 of 5
provided a mixed characteristic counterexample
Neil Epstein
  • 1.8k
  • 1
  • 11
  • 18

To complement Mohan's answer, it is worth noting that there are counterexamples when $R$ contains a field $k$ of prime characteristic $p$. Indeed, when $p\geq 3$, let $R=k[\![X,Y]\!]/(X^p, Y^p)$, and denote the images of $X$, $Y$ in $R$ by $x$, $y$ respectively. Then I claim that $t=p$ but $e\geq 2p-2>p$. To see this, note that any element of $f\in\mathfrak m$ is of the form $f=xg+yh$, and then by Freshman's Dream, $f^p = x^p g^p + y^p h^p = 0$, whereas clearly $x^{p-1} \neq 0$, showing that $t=p$. On the other hand, $0 \neq x^{p-1} y^{p-1} \in {\mathfrak m}^{2p-2}$.

A characteristic 2 counterexample is given by $k[\![X,Y]\!]/(X^4, Y^4)$ ($k$ any field of char 2), in which case $t=4$ but $e\geq 6$.

To summarize, your question has a 'yes' answer if you are willing to assume the ring contains $\mathbb Q$, but can be 'no' if $R$ contains a field of any other characteristic. I don't know what happens in mixed characteristic.

EDIT: Okay, now I know at least one counterexample in mixed characteristic as well. Let $A := {\mathbb Z}/(4)$, and let $R := A[\![X,Y]\!]/(X^2, Y^2)$. Then $t=3$ but $e>3$. To see that $e>3$, consider the nonzero element $2xy \in {\mathfrak m}^3$. To see that $t=3$, first note that $t>2$ because $(x+y)^2 = 2xy \neq 0$. On the other hand, any element of $\mathfrak m$ has the form $2f +xg+yh$. We have \begin{align*} (2f+(xg+yh))^3 &= (2f)^3 + 3(2f)^2 (xg+yh)+3(2f)(xg+yh)^2 + (xg+yh)^3\\ &= 4 \cdot 2f^3+4 \cdot 3f^2(xy+gh) + 4 \cdot 3fxgyh + (xg+yh)^3\\ &= (xy+yh)^3, \end{align*} so it suffices to see that any element of the form $(xg+yh)^3$ vanishes. But by the pigeonhole principle, each term of the expansion has either an $x^2$ or a $y^2$, and is hence 0.

Neil Epstein
  • 1.8k
  • 1
  • 11
  • 18