# Finitely Generated Commutative Z-algebra.

Let $R$ be a commutative, finitely generated $\mathbb{Z}$-algebra, then the nil radical 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 $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.

-

## 1 Answer

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).

-
This is Theorem 4.19 in Eisenbud. – Zhen Lin Apr 23 '13 at 16:37
Thanks @Zhen Lin. – Keenan Kidwell Apr 23 '13 at 18:25