Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/ii/paper-3/18h/solution

The polynomial is separable, since its derivative has no common root with it when the characteristic does not divide . Its roots form a cyclic multiplicative group of order . For completeness, any finite subgroup of a field's multiplicative group is cyclic: if its exponent is , all its elements are roots of , so its size is at most , while the elementary decomposition of a finite abelian group gives an element of order .
Choose a primitive root . Then , and every field automorphism sends to for a unique unit modulo . Composition multiplies the exponents, and fixing fixes all of . This is the required injective homomorphism
For , the least extension containing a primitive th root is characterized by , since its multiplicative group is cyclic of order . Thus is the multiplicative order of modulo . The successive powers of modulo are , so

New to topics? Read the docs here!