ABSTRACT
Our aim in this chapter is to prove that Z[x], the ring of polynomials with integer coefficients, is a UFD. It probably seems plausible that every polynomial with integer coefficients can be factored uniquely into irreducibles, but the proof of the analogous statement for Q[x] will not work for Z[x].
