Let $I$ be an ideal of a ring (commutative with unity) $R$ and let $q:R\to R/I$ be the quotient map. Then there is a well known correspondence between ideals of $R$ containing $I$ and ideals of $R/I.$
Let $J$ be an ideal of $R$ containing $I$ and let $J'$ be the corresponding ideal in the quotient ring. I had to show that $J$ is radical/prime/maximal iff $J'$ is radical/prime/maximal.
Showing $J$ is radical/prime/maximal if $J'$ is was simple enough by direct element manipulation arguments.
For the other direction, I did it by using $J'=J/I,$ the fact that ideals are radical/prime/maximal iff their quotient rings are reduced/domains/fields and the second isomorphism theorem. However, I tried unsuccessfully to find a "direct" proof that perhaps manipulates elements of the ring in a similar way to the other direction. Is there a more direct proof? I'm wondering this especially for the radical ideals, because this is Exercise 1.22 (page 7) in Fulton's Algebraic Curves and he has never even mentioned reduced rings or nilradicals yet, and doesn't expect you to know it already because he introduced what radical ideals were.