Solution

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

The multiplicative group has order , so Lagrange's theorem for finite groups gives for . Including zero, for every . Therefore is the identity. No positive smaller power is the identity by part (iii), so
For this says that Frobenius itself is the identity, as it should be.

New to topics? Read the docs here!