2
$\begingroup$

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.

  • 2
    There is, of course, one trivial counterexample.2012-03-30

2 Answers 2

4

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.

  • 1
    @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.2015-04-01
0

We know that $\operatorname{Gal}(N/F) \cong \widehat{\Bbb Z} \cong \displaystyle \prod_{p~\text{prime}} \Bbb Z_p$, so it suffices to prove that $\Bbb Z_p$ is torsion-free.

Well, it follows from the fact that $\Bbb Z_p$ is a ring of characteristic zero, which follows from the fact that it is an integral domain and that the map $\Bbb Z \to \Bbb Z_p$ is injective.