# Fixed point of field automorphism

Let $F$ be a finite field of order $p^n$ for some prime $p$ and positive integer $n$. This is well known that group of field automorphism of $F$ is cyclic and generate by the following: $\alpha:F\rightarrow F$; $\alpha(x)=x^p$, how can I find the fixed points of an arbitrary element of $Aut(F)$?

• a) what is $\alpha^k$? b) write down what $\alpha^k(x) = x$ means. – Daniel Fischer Dec 11 '14 at 13:26

If $\;\overline{\Bbb F_p}\;$ is an algebraic closure of $\;\Bbb F_p\;$ , then for all
$$n\in\Bbb N\;,\;\;\Bbb F_{p^n}=\{\;\omega\in\overline{\Bbb F_p}\;:\;\;\omega^{p^n}-\omega=0\;\}$$
Now, what does the following mean?: $$x\in\Bbb F\;,\;\;x\in \text{Fix}\,(\alpha^k)\iff x^{p^k}=x\;\ldots$$