3.II.11C3 . \mathrm{II} . 11 \mathrm{C}

Groups, Rings and Modules
Part IB, 2005

(i) Define a primitive polynomial in Z[x]\mathbb{Z}[x], and prove that the product of two primitive polynomials is primitive. Deduce that Z[x]\mathbb{Z}[x] is a unique factorization domain.

(ii) Prove that

Q[x]/(x54x+2)\mathbb{Q}[x] /\left(x^{5}-4 x+2\right)

is a field. Show, on the other hand, that

Z[x]/(x54x+2)\mathbb{Z}[x] /\left(x^{5}-4 x+2\right)

is an integral domain, but is not a field.