I'll assume p is a prime number. A finite field K of order is the splitting field of over (see here). Since a finite field is perfect, K is a separable extension of . It follows that K is a Galois extension of a field . By the fundamental theorem of Galois theory, , where and Gal(K/F) is a cyclic group of order n generated by a Frobenius automorphism.