Structure of maximal ideals of the quotient $\mathbb{C}[x,y,z]/ I$ I am trying to understand the general approach to the problems of the following type:
Problem.
a) Let $I\subset\mathbb{C}[x,y,z]$ be an ideal generated by $$\langle \ (x^2+y^2)^3+zx+3y^2z^3\ ,\  y^4-1,\ z^4x,\  3x^2+2y^2-1\rangle.$$
Find the number of maximal ideals of the quotient $\mathbb{C}[x,y,z]\ /\ I$ and their generators.
b) What are the generators of the radical $\sqrt{I}?$
My general question is: where do the maximal ideals of $\mathbb{C}[x,y,z]\ /\ I$ come from and what is a good (not too advanced!) reference for problems of such type? 
My guess is that I need to use Hilbert's Nullstellensatz. So I do have to find the set of common zeros. 

This question is most easily approached geometrically. First recall the correspondence theorem for rings, which says that there is a bijection between the ideals of $R/I$ and the ideals of $R$ that contain $I.$ In fact, more is true: There is a bijection between the maximal ideals of $R/I$ and the maximal ideals of $R$ that contain $I.$ See this question for more details. 
We want to interpret the problem geometrically, so we want to work with a ring that is the coordinate ring of some affine algebraic set. The coordinate ring of an affine algebraic set $V(J)\subseteq \mathbb{C}^n$ is $\dfrac{\mathbb{C}[x_1,\cdots, x_n]}{\sqrt{J}}.$ The ideal $I$ in your question is not a radical ideal, so the quotient ring is not the coordinate ring of an affine algebraic set. That is fine, because we only want to count the maximal ideals and find generators for the radical. A key observation is that a maximal ideal $M$ contains an ideal $I$ if and only if it contains $\sqrt{I}.$ Therefore our problem can be seen as counting the maximal ideals in $\dfrac{\mathbb{C}[x,y,z]}{\sqrt{I}}.$ 
There is a bijection between the points of an affine algebraic set and the maximal ideals of its coordinate ring. The ring $\dfrac{\mathbb{C}[x,y,z]}{\sqrt{I}}$ is the coordinate ring of the affine algebraic set $V(I),$ so now we just need to count the number of points on $V(I).$ That is, we need to count the points $(x,y,z)$ that make the generators of $I$ vanish. 
Here is a guide: To make the 2nd generator vanish you need $y^4=1,$ so $y^2=\pm 1$ and $y=\pm 1, \pm i.$ 
To make the 3rd generator vanish, you need $3x^2+2y^2-1=0.$ From our previous working, we see there are two cases to consider: If $y^2=1$ or $y^2=-1.$ If $y^2=1$ then $3x^2+1=0$ so $x=\pm  i/\sqrt{3}$ and if $y^2=-1$ then $x=\pm 1.$ 
Now finally put in all these cases into the first generator. Then count up all the solutions you found and that is the number of maximal ideals in $\dfrac{\mathbb{C}[x,y,z]}{\sqrt{I}},$ which is the number of maximal ideals in $\dfrac{\mathbb{C}[x,y,z]}{I}.$
I'm not quite certain how to tackle b) yet. The problem is that even once we've found all the points $(x',y',z'),$ we know that $\sqrt{I} = \sqrt{\cup (x-x',y-y',z-z')}$ but finding generators for this ideal is not clear to me. 
An elementary source for this material is the first 17 pages of Fulton's Algebraic Curves.
