**Problem**. Let be a prime number and let be the multiplicative group of a field of order Let and define the bijection by Prove that

**Solution**. Let Then is a group under composition and Let

Clearly is a subgroup of Since is cyclic (see the theorem in this post), we can choose a generator for Then is a cycle of length and therefore Thus Now if then and hence that is Therefore and since and we have

Advertisements