Let the ring of polynomials in two variables with complex coefficients. Let be the ideal generated by and . is an -module.

Is a free module?

I am still in the habit of associating free with finitely generated, but I think the notion is more subtle than that. My instinct says yes: something along the lines of elements in looking like