Paper 1, Section II, E

Groups, Rings and Modules | Part IB, 2016

(a) Let II be an ideal of a commutative ring RR and assume Ii=1nPiI \subseteq \bigcup_{i=1}^{n} P_{i} where the PiP_{i} are prime ideals. Show that IPiI \subseteq P_{i} for some ii.

(b) Show that (x2+1)\left(x^{2}+1\right) is a maximal ideal of R[x]\mathbb{R}[x]. Show that the quotient ring R[x]/(x2+1)\mathbb{R}[x] /\left(x^{2}+1\right) is isomorphic to C.\mathbb{C} .

(c) For a,bRa, b \in \mathbb{R}, let Ia,bI_{a, b} be the ideal (xa,yb)(x-a, y-b) in R[x,y]\mathbb{R}[x, y]. Show that Ia,bI_{a, b} is a maximal ideal. Find a maximal ideal JJ of R[x,y]\mathbb{R}[x, y] such that JIa,bJ \neq I_{a, b} for any a,bRa, b \in \mathbb{R}. Justify your answers.

Typos? Please submit corrections to this page on GitHub.