Nilradical of a ring


In algebra, the nilradical of a commutative ring is the ideal consisting of the nilpotent elements:

In the non-commutative ring case the same definition does not always work. This has resulted in several radicals generalizing the commutative case in distinct ways; see the article Radical of a ring for more on this.

The nilradical of a Lie algebra is similarly defined for Lie algebras.

Commutative ringsEdit

The nilradical of a commutative ring is the set of all nilpotent elements in the ring, or equivalently the radical of the zero ideal. This is an ideal because the sum of any two nilpotent elements is nilpotent (by the binomial formula), and the product of any element with a nilpotent element is nilpotent (by commutativity). It can also be characterized as the intersection of all the prime ideals of the ring (in fact, it is the intersection of all minimal prime ideals).

Proposition[1] —  Let   be a commutative ring. Then  


Let   and   be a prime ideal, then   for some  . Thus


since   is an ideal, which implies   or  . In the second case, suppose   for some  , then   thus   or   and, by induction on  , we conclude  , in particular  . Therefore   is contained in any prime ideal and  .

Conversely, we suppose   and consider the set


which is non-empty, indeed  .   is partially ordered by   and any chain   has an upper bound given by  , indeed:   is an ideal[Note 1] and if   for some   then   for some  , which is impossible since  ; thus any chain in   has an upper bound and we can apply Zorn's lemma: there exists a maximal element  . We need to prove that   is a prime ideal: let  , then   since   is maximal in  , which is to say, there exist   such that    , but then  , which is absurd. Therefore if  ,   is not contained in some prime ideal or equivalently   and finally  .

A ring is called reduced if it has no nonzero nilpotent. Thus, a ring is reduced if and only if its nilradical is zero. If R is an arbitrary commutative ring, then the quotient of it by the nilradical is a reduced ring and is denoted by  .

Since every maximal ideal is a prime ideal, the Jacobson radical — which is the intersection of maximal ideals — must contain the nilradical. A ring R is called a Jacobson ring if the nilradical and Jacobson radical of R/P coincide for all prime ideals P of R. An Artinian ring is Jacobson, and its nilradical is the maximal nilpotent ideal of the ring. In general, if the nilradical is finitely generated (e.g., the ring is Noetherian), then it is nilpotent.

Noncommutative ringsEdit

For noncommutative rings, there are several analogues of the nilradical. The lower nilradical (or Baer–McCoy radical, or prime radical) is the analogue of the radical of the zero ideal and is defined as the intersection of the prime ideals of the ring. The analogue of the set of all nilpotent elements is the upper nilradical and is defined as the ideal generated by all nil ideals of the ring, which is itself a nil ideal. The set of all nilpotent elements itself need not be an ideal (or even a subgroup), so the upper nilradical can be much smaller than this set. The Levitzki radical is in between and is defined as the largest locally nilpotent ideal. As in the commutative case, when the ring is Artinian, the Levitzki radical is nilpotent and so is the unique largest nilpotent ideal. Indeed, if the ring is merely Noetherian, then the lower, upper, and Levitzki radical are nilpotent and coincide, allowing the nilradical of any Noetherian ring to be defined as the unique largest (left, right, or two-sided) nilpotent ideal of the ring.


  1. ^ Atiyah, Michael; Macdonald, Ian (1994). Introduction to Commutative Algebra. Addison-Wesley. ISBN 0-201-40751-5., p.5
  • Eisenbud, David, "Commutative Algebra with a View Toward Algebraic Geometry", Graduate Texts in Mathematics, 150, Springer-Verlag, 1995, ISBN 0-387-94268-8.
  • Lam, Tsit-Yuen (2001), A First Course in Noncommutative Rings (2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-0-387-95325-0, MR 1838439


  1. ^ See the example application at Zorn's lemma.