Fixed point of field automorphism

191 Views Asked by At

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)$?

1

There are 1 best solutions below

0
On

Hints:

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$$