Solution (source code)

= Solution

The class $a$ is nilpotent exactly when $\phi(a)=0$. Divisibility by $p$ makes $a^e$ zero modulo $p^e$. Conversely, the image of a nilpotent in the field $R/(p)$ is nilpotent and therefore zero.