# Algebraic closure of finite field

Let $N$ be an algebraic closure of a finite field $F$. How to prove that any automorphism in $\operatorname{Gal}(N/F)$ is of infinite order?

I have shown: Letting $|F|=q$,
1) $N$ is the union of all extensions $M$ of $F$ such that $|M|=q^n$, for some $n\geq 1$.
2) $\operatorname{Gal}(N/F)$ is abelian.

-
There is, of course, one trivial counterexample. – Gerry Myerson Mar 30 '12 at 0:33

Assume that $\sigma\in Gal(N/F)$ is of finite order $m$. Let $x\in N$. Let $k=[F(x):F]$. Let $K=GF(q^{km})$ be the unique extension of $F$ of degree $km$. Because $K$ is Galois over $F$, the restriction of $\sigma$ to $K$ is an automorphism of $K$ (there are also other simple ways of seeing that $\sigma(K)=K$). Let $L\subseteq K$ be the fixed field of $\sigma\vert_K$. The order of the restriction $\sigma\vert_K$ must be a factor of $m$, so $[K:L]\mid m$. Therefore $GF(q^k)\subset L$. Because $x\in GF(q^k)$, we may infer that $\sigma(x)=x$. As $x$ was an arbitrary element of $N$, we have shown that $\sigma$ is the identity mapping.
Why the fact that the order of the restriction $\sigma|_{K}$ is a factor of $m$ implies $[K:L]|m$? It is hard to understand for me. – Guillermo Dec 3 '14 at 8:30
@Guillermo: The extension $K/L$ is Galois, so $$[K:L]=|Gal(K/L)|=|\langle \sigma\vert_K\rangle|$$ is the order of $\sigma\vert_K$. – Jyrki Lahtonen Dec 3 '14 at 10:17
What is the notation $GF(q^{km})$? – user152715 Mar 31 '15 at 21:37
Fixed field of $\ sigma|_K$ is $L$. But its out true that $| Gal(K/L)|=<\ sigma|_K >$? – user152715 Mar 31 '15 at 22:04
@user152715: 1) $GF(q)$ is the (unique up to isomorphism) field of $q$ elements. Until about 2013 I defaulted to using that notation. Now I would probably write $\Bbb{F}_q$ instead. Largely due to my exposure to this site. 2) $K/L$ is an extension of finite fields. Those are always cyclic. Any power of the Frobenius automorphism that has the correct fixed field can be used as a generator. – Jyrki Lahtonen Apr 1 '15 at 2:54