Paper 3, Section II, G

Groups, Rings and Modules
Part IB, 2012

For each of the following assertions, provide either a proof or a counterexample as appropriate:

(i) The ring Z2[X]/X2+X+1\mathbb{Z}_{2}[X] /\left\langle X^{2}+X+1\right\rangle is a field.

(ii) The ring Z3[X]/X2+X+1\mathbb{Z}_{3}[X] /\left\langle X^{2}+X+1\right\rangle is a field.

(iii) If FF is a finite field, the ring F[X]F[X] contains irreducible polynomials of arbitrarily large degree.

(iv) If RR is the ring C[0,1]C[0,1] of continuous real-valued functions on the interval [0,1][0,1], and the non-zero elements f,gRf, g \in R satisfy fgf \mid g and gfg \mid f, then there is some unit uRu \in R with f=ugf=u \cdot g.