Square brackets $[\;]$ will denote taking the ring of polynomials, and round brackets $(\;)$ will denote taking the field of rational functions.
My homework assignment from about a month ago had the following problem in it.
Find the Galois group of the field extension $\mathbb F_3(x^4)\subset\mathbb F_{3^2}(x).$
I didn't do it then and now I'm trying to do it to prepare myself for the exam.
The problem looks very exotic to me and I'm having trouble starting to do it. I haven't determined any Galois groups by myself yet. I first tried to see what I know about this extension.
First of all, we have $\mathbb F_3(x^4)\subset \mathbb F_{3}(x)\subset \mathbb F_{3^2}(x).$
The first extension has degree at most $4$ because $x$ is a zero of $f\in \mathbb F_{3}(x^4)[y],$ where $f(y)=y^4-x^4.$ But $f$ is irreducible by Eisentein's criterion: $x^4$ is a prime element in $\mathbb F_3[x^4]$. Therefore $f$ is the minimal polynomial of $x^4$ and the first extension has degree $4$.
The extension $\mathbb F_3\subset \mathbb F_{3^2}$ has degree $2$ by an element count. Therefore by what's been said here, the second extension has degree $2$. Thus, the extension in the problem is finite and has degree $8$.
Unfortunately, $\mathbb F_3(x^4)$ isn't finite, nor is it of characteristic $0$. If it were one of these things, I could say that the order of the Galois group of the extension is $\leq 8.$ The best I'm able to see is that there is an eight-element $\mathbb F_3(x^4)$-basis of $\mathbb F_{3^2}(x),$ for example $(1,x_1,x_2,\ldots,x_7)$. So $\mathbb F_{3^2}(x)=\mathbb F_3(x^4)(x_1,x_2,\ldots,x_7).$
I could try to give an upper bound to the order of the Galois group of the extension by saying that each of $x_i$ must be mapped by any automorphism to some root of its minimal polynomial. But I don't think I can get a satisfactory bound this way.
In general, most of the study of field automorphisms done in classes was in characteristic zero and for finite fields, so most of the theorems don't apply here. I think this must mean that the problem must have an elementary solution, but I don't see it.