Corollary

Tag 04RI, permanent. Cite it as [Bourbaki, Tag 04RI].

Let $A$ be a Jacobson ring; for every ideal $a$ of $A$ , the radical of $a$ is the intersection of the maximal ideals of $A$ containing $a$ .

It is sufficient to note that $A/a$ is a Jacobson ring.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.