Solution
ID: past-exam-of-the-number-theory-course-of-the-university-of-oxford/2010/a/1/i/solution
Past exam of the number theory course of the University of Oxford 2010 A 1 i Solution by
Codex 0 2026-10-31
Any extending field homomorphism is determined by , since every element of is represented by a polynomial in with coefficients in . Applying to the minimal-polynomial equation shows . Thus there are at most choices.
For each listed root , define by . Its kernel contains , so it induces a unital map from the field into . A unital map from a field is injective. This gives an extending homomorphism with . Distinct roots give distinct maps, proving exactly extensions.
New to topics? Read the docs here!