Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2008/ib/paper-4/2g/solution

Write , a monic primitive polynomial. If with , grouping terms gives a factorization in the polynomial ring :
Both factors have positive degree, so is not an irreducible polynomial.
Conversely, if is a prime number, change variables by . The binomial theorem gives
Every coefficient except the leading one is divisible by , because for , whereas the constant coefficient is not divisible by . The Eisenstein criterion makes this polynomial irreducible over . The substitution is an invertible ring homomorphism, so is also irreducible over ; the Gauss lemma for polynomials transfers this to . Hence

New to topics? Read the docs here!