If you find any mistakes, please make a comment! Thank you.

## An ideal which is finitely generated by nilpotent elements is nilpotent

Solution to Abstract Algebra by Dummit & Foote 3rd edition Chapter 7.4 Exercise 7.4.28

Solution:

Let $x,y \in \mathfrak{N}(R)$. Then for some nonnegative natural numbers $n$ and $m$, we have $x^n = y^m = 0$.

Consider $(x+y)^{n+m}$. By the Binomial Theorem, we have $$(x+y)^{n+m} = \sum_{k=0}^{n+m} \binom{n+m}{k} x^k y^{n+m-k}.$$ Note that if $k \geq n$, $x^k = 0$, and if $k < n$, then $y^{n+m-k} = 0$. Thus $(x+y)^{n+m} = 0$, and we have $x+y \in \mathfrak{N}(R)$. Moreover, we have $$(-x)^n = (-1)^nx^n = 0,$$ so that $-x \in \mathfrak{N}(R)$. Since $0 = 0^1 \in \mathfrak{N}(R)$, $\mathfrak{N}(R)$ is an additive subgroup of $R$.

Finally, since $R$ is commutative, if $r \in R$ then $(rx)^n = r^nx^n = 0$ and likewise $(xr)^n = 0$. Thus $\mathfrak{N}(R)$ absorbs $R$ on the left and the right, and hence is an ideal.