
> 
> Let $R$ be a commutative finitely generated $\mathbb{Z}$-algebra. Then the nilradical is equal to the Jacobson radical.
> 
> 
> 


I am not able to make much traction on this, nor can I find this result in any book I've look at. So far I've reasoned that since $R \cong \mathbb{Z}[x\_1,\dots,x\_n]/I$ for some ideal $I$, then $\mathrm{nil}(R) = \sqrt{I}/I$ and $J(R) = M/I$, where $M$ is the intersection of all ideals containing $I$. Clearly, the Jacobson radical contains all nilpotent elements, due the to the quasiregular condition, but I can't seem to follow through on the converse.


I already know that if $R$ is a field, then it must be finite, but I can't see how this would help me prove the general case.


Any help would be greatly appreciated.



Finitely Generated Commutative Z-algebra
This follows from the Nullstellensatz (or the version of it), which says that a finitely generated algebra over a Jacobson ring is Jacobson. This can be found in, for example, Eisenbud's book on commutative algebra (I don't have it at hand so I can't be more specific right now, but it should be easy to find in the table of contents).


