Skip to main content
1 of 2
Marc
  • 374
  • 4
  • 11

Here is another cute argument (I don't remember where I learned it, I think it is folklore). Let $P\subset A$ be an arbitrary prime ideal. We claim it contains a $D$-stable prime ideal. For this, consider the mod $P$ Taylor map $$ f\colon A\to (A/P)[[t]] , a \mapsto \sum_{n\geq 0} \frac{D^n(a) \textrm{ mod } P}{n!} t^n.$$ A quick computation shows that $f$ is a ring map, and that for all $a\in A$ we have $f(D(a)) = \frac{d}{dt}(f(a))$. Therefore, the kernel $Q = ker(f)$ is a D-stable ideal of $A$. Moreover, $Q$ is prime because $(A/P)[[t]]$ is a domain, and we have $Q \subset P$ because the constant term of $f(a)$ is $a \textrm{ mod } P$.

So every prime ideal of $A$ contains a $D$-stable prime ideal. Hence, the intersection of all prime ideals of $A$ equals the intersection of all $D$-stable prime ideals of $A$. But the former is the nilradical, and the latter is clearly $D$-stable.

Marc
  • 374
  • 4
  • 11