MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.

share|cite|improve this question
up vote 3 down vote accepted

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

share|cite|improve this answer
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

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.