Solution

ID: past-exam-of-the-options-ii-course-of-the-university-of-oxford/2010/a/a2/3/solution

By the allowed finite multiplicative-subgroup theorem, the group is cyclic. Let generate it. Every nonzero element of is a power of , hence belongs to ; zero belongs as well. Since the reverse inclusion is automatic,
Thus a finite extension of a finite field is a simple field extension.

New to topics? Read the docs here!