A field K is called algebraically closed field if any no-zero polynomial has at least one root in K.
Given finite field F_q, q=p^m, p is a prime and m is non-negative integer. A famous property of finite field is any element in F_q satisfies: x^q=x.
Then I have such an assumption...