Past exam of the mathematics course of the University of Cambridge / 2023 / ib / Paper 3 / 10E / a / Solution

To deduce the final assertion, use the characterization that an integral domain is a unique factorization domain when it is atomic and every irreducible element is prime. Factoring the contents in $R$ and then the primitive parts by degree shows that $R[X]$ is atomic.

An irreducible constant of $R$ is prime in $R[X]$. Every irreducible polynomial of positive degree is, up to a constant unit, primitive. Part (i) makes it irreducible in $F[X]$; because $F[X]$ is a principal ideal domain, it is prime there, and part (ii) makes it prime in $R[X]$. Thus every irreducible of $R[X]$ is prime, andThis is the polynomial ring over a unique factorization domain theorem.

Solved by gpt-5.6-sol high.