Here is a cute exercise in *Introduction to Commutative Algebra* by Atiyah & Macdonald (A&M), that I recently solved, and felt like writing it up. The problem reads as follows:

**Exercise 6 (Chapter 1)**. A ring is such that every ideal not contained in the nilradical contains non-zero idempotent (that is, an element such that ). Prove that the nilradical and Jacobson radical of are equal.

Before proceeding to solution, let’s define what each of these terms mean. Even before that, let me note that throughout the word “ring” will mean commutative ring with 1 (multiplicative identity). This is the assumption made in the beginning of A&M. The **nilradical** of a ring is the set of all nilpotent elements of (an element is called **nilpotent** if for some positive integer .) Proposition 1.8 in A&M gives the following characterization:

**Proposition 1.8.** The nilradical of is the intersection of all the prime ideals of .

On the other hand, **Jacobson radical** of a ring is defined to be the intersection of all maximal ideals of . Proposition 1.9 in A&M gives the following characterization:

**Proposition 1.9.** is a unit in for all .

Using these two results, we can proceed to the solution of the exercise above.

**Solution of Exercise 6 (Chapter 1)**. Since every maximal ideal is a prime ideal, and nilradical is the intersection of all prime ideals, it is clear that nilradical is contained in the intersection of all maximal ideals, that is, nilradical is contained in Jacobson radical. This proves one of the inclusions (note that this inclusion, namely holds generally in any ring). Now we need to show that Jacobson radical is subset of the nilradical. Let . We want to show that . Assume, to the contrary, . By assumption, the ideal generated by , namely the principal ideal is not contained in the nilradical. By hypothesis, this means that there exists a nonzero idempotent element in . Hence, there exists such that . Now since , using Proposition 1.9 we get that is a unit. But . Since is a unit, we can multiply this equation from the left by its inverse to get , or equivalently, . This contradicts , and so we conclude that , as desired. This completes the proof that the nilradical and Jacobson radical of ring coincide.