# alg. geometry

how can we show that
"ideal of an algebraic variety is radical"

### Re: alg. geometry

hint: if f^n lies in the ideal I of the variety V, then f^n(x)=0 for every x in V. If we're working over a field, f(x) = 0 for all x in V, so f lies in I too. Therefore the radical of I is contained in I.