See attached file for full problem description.
Here A^n is affine n-space over a fixed algebraically closed field i.e. is the set of all n-tuples of elements of that algebraically closed field question asks to show that "ideal of an algebraic variety is radical"
A radical ideal is investigated. The solution is detailed and well presented.