3
$\begingroup$

I know that if $q=p$ (where $p$ is prime) then Gal($\mathbb{F}_{p^k}/\mathbb{F}_p)$ is cyclic of order $k$.

I heard that in general (for $q=p^m$) the galois group is cyclic of the order of the extension (i.e. that :Gal($\mathbb{F}_{q^k}/\mathbb{F}_q)=C_{[\mathbb{F}_{q^k}:\mathbb{F}_q]}$).

How can I prove this claim ?

3 Answers 3

3

Note that the Galois group you are after is a subgroup of Gal$(\mathbb{F}_{q^k}/\mathbb{F}_{p})$ (if $q = p^m$). This is true for any tower $L/M/K$ where Galois groups are defined; Gal$(L/M)$ is always a subgroup of Gal$(L/K)$.

Now the Galois group Gal$(\mathbb{F}_{q^k}/\mathbb{F}_p)$ is generated by the Frobenius automorphism $Frob_p : x\mapsto x^p$. Which powers of this are in Gal$(\mathbb{F}_{q^k}/\mathbb{F}_q)$, i.e. which powers fix the field $\mathbb{F}_q$?

Well these are the powers of $Frob_p^m$. (check this)

So the Galois group you want is cyclic, generated by $Frob_p^m$. The claim about the degree follows easily.

EDIT: You do not need to worry about the extension being Galois (although if you know this then the claim about the size of the Galois group is trivial, by definition of Galois. This is the approach Benjamin Lim is using and is equally valid just slightly more theoretical).

Explicitly, we know that Gal$(\mathbb{F}_{q^k}/\mathbb{F}_p)$ is cyclic of order $mk$, generated by $Frob_p$. Thus the subgroup generated by $Frob_p^m$ has order $k$.

This agrees with:

$[\mathbb{F}_{q^k} : \mathbb{F}_q] = \frac{[\mathbb{F}_{q^k} : \mathbb{F}_p]}{[\mathbb{F}_{q} : \mathbb{F}_p]} = \frac{mk}{m} = k$.

  • 0
    Well it probably doesn't hurt anything to mention it. The OP will probably learn about it soon and so then will see the result in a simpler way.2012-06-07
5

The proof I'm thinking of works for all finite fields simultaneously. The Frobenius map $x \mapsto x^q$ is an element of the Galois group; moreover, its fixed field is $\mathbb{F}_q$, so by the fundamental theorem it generates the Galois group. The Frobenius map cannot have order less than $k$ because $x^{q^r} - x$ has $q^r$ roots, so the Galois group is cyclic of order $k$.

4

Every subgroup of a finite cyclic group is cyclic. Can you see why your claim follows from this?

You want to know why if $q = p^m$, we have that $\textrm{Gal}(\Bbb{F}_{q^n}/\Bbb{F}_q)$ is cyclic. Well you know that $\textrm{Gal}(\Bbb{F}_{q^n}/\Bbb{F}_q) \subset \textrm{Gal}(\Bbb{F}_{q^n}/\Bbb{F}_p) = \textrm{Gal}(\Bbb{F}_{p^{nm}}/\Bbb{F}_p) $ that is cyclic, so by what I said above it follows that $\textrm{Gal}(\Bbb{F}_{q^n}/\Bbb{F}_q)$ is cyclic.

Ok let us deal with the order of extensions now. You know that

$nm = [\Bbb{F}_{p^{nm}}:\Bbb{F}_p] = [\Bbb{F}_{p^{nm}}:\Bbb{F}_{p^m}][\Bbb{F}_{p^{m}}:\Bbb{F}_p].$

You also know that $[\Bbb{F}_{p^m} : \Bbb{F}_p] = m$ yes? So therefore it follows that

$ [\Bbb{F}_{p^{nm}}:\Bbb{F}_{p^m}] = \frac{\Bbb{F}_{p^{nm}}:\Bbb{F}_p]}{[\Bbb{F}_{p^{m}}:\Bbb{F}_p]} = \frac{nm}{m} = n.$

  • 0
    @Belgi See the edit.2012-06-07