2.II.11G

Groups, Rings and Modules | Part IB, 2008

Let FF be a field. Prove that every ideal of the ring F[X1,,Xn]F\left[X_{1}, \ldots, X_{n}\right] is finitely generated.

Consider the set

R={p(X,Y)=cijXiYjF[X,Y]c0j=cj0=0 whenever j>0}R=\left\{p(X, Y)=\sum c_{i j} X^{i} Y^{j} \in F[X, Y] \mid c_{0 j}=c_{j 0}=0 \text { whenever } j>0\right\}

Show that RR is a subring of F[X,Y]F[X, Y] which is not Noetherian.

Typos? Please submit corrections to this page on GitHub.