A nil ideal in a ring RR is an IRI\subseteq R such that every element of II is a .

Remarks

In a commutative ring, every nil ideal is contained in the . A nil ideal need not be nilpotent unless additional hypotheses are imposed.

Examples
  • In k[x]/(xn)k[x]/(x^n), the ideal generated by the class of xx is a nil ideal.
  • In the ring of upper triangular n×nn\times n matrices over a field, strictly upper triangular matrices form a nil ideal.
  • The zero ideal {0}\{0\} is nil in every ring.