[Math] Nil-Radical equals Jacobson Radical even though not every prime ideal is maximal

abstract-algebracommutative-algebraring-theory

Let's assume we have a commutative ring with identity. Can the Nil-Radical and the Jacobson Radical be equal in a non-trivial case (i.e. not every nonzero prime ideal in said ring is maximal)?
Are there any interesting examples of this case?

Best Answer

There are indeed very many rings in which the nilradical equals the Jacobson radical.

Consider the following property of a ring: every prime ideal is the intersection of the maximal ideals containing it. These rings are called Hilbert-Jacobson rings. In a Hilbert-Jacobson ring, the intersection of all the prime ideals is therefore also the intersection of all maximal ideals, i.e., the nilradical and Jacobson radical coincide.

And indeed there are very many Hilbert-Jacobson rings. One useful result in this direction is:

Theorem: Let $R$ be a Hilbert Jacobson ring, and let $S$ be a ring which is finitely generated as an $R$-algebra. Then $S$ is also a Hilbert-Jacobson ring.

Since any field is trivially a Hilbert-Jacobson ring, it follows that all algebras which are finitely generated over a field are Hilbert-Jacobson, as Arturo Magidin pointed out in his answer.

For some information on this subject, including a proof of the theorem, see these notes.

Related Question