What are the ideals in ${\Bbb C}[x,y]$ that contain $f_1,f_2\in{\Bbb C}[x,y]$? This question is based on an exercise in Artin's Algebra:

Which ideals in the polynomial ring $R:={\Bbb C}[x,y]$ contain $f_1=x^2+y^2-5$ and $f_2=xy-2$?

Using Hilbert's (weak) nullstellensatz, one can identify all the maximal ideals of $R$ that contain $f_1$ and $f_2$. For the general ideals contain $(f_1, f_2)$, it suffices to identify ideals in $R/(f_1,f_2)$ by the correspondence theorem. But I don't see how to go on. Is there a systematic way to do it?

Here's a procedure that works more generally: the ideal $I := (x^2 + y^2 - 5, xy - 2)$ has height $2$ in $\mathbb{C}[x,y]$. To see this, note that $x^2 + y^2 - 5$ (or $xy - 2$) is irreducible over $\mathbb{C}$ (e.g. by Eisenstein), hence generates a height $1$ prime ideal in $\mathbb{C}[x,y]$, which does not contain the other generator. More generally yet, the generators of $I$ form a regular sequence, and any ideal generated by a regular sequence has height equal to the length of the sequence.
Thus, the quotient $R := \mathbb{C}[x,y]/I$ has Krull dimension $\le \dim \mathbb{C}[x,y] - \text{ht}(I) = 0$, so $R$ is an Artinian ring. Every Artinian ring is a finite product of Artinian local rings, and ideals in a finite product are products of ideals, so writing $R = \prod_{i=1}^n R_i$, the number of $R$-ideals is the product of the numbers of $R_i$-ideals.
In this particular case, $R = R_1 \times \cdots \times R_4$, each $R_i \cong \mathbb{C}$ by the Nullstellensatz, and $\mathbb{C}$ has precisely $2$ ideals, so $R$ has a total of $2^4 = 16$ ideals.
