# Every finite group is a Galois group

The fact that every finite group is a Galois group is pretty well known (and in fact this post is basically just a transcription of the one in Lang’s Algebra) but I’ve been thinking about it recently and its a really cool result so I figured I’d share it. Who knows, maybe I’ll post about the extension to profinite groups next time?

The starting point here is the following theorem of Artin, telling us that we can cut out Galois extensions with any group of field automorphisms we like.

##### Theorem(Artin)

Let $K$ be a field and $G$ a finite group of field automorphisms of $K\text{,}$ then $K$ is a Galois extension of the fixed field $K^G$ with galois group $G\text{,}$ moreover $[K:K^G] = \#G\text{.}$

##### Proof

Pick any $\alpha \in K$ and consider a maximal subset $\{\sigma_1, \ldots, \sigma_n\}\subseteq G$ for which all $\sigma_i \alpha$ are distinct. Now any $\tau \in G$ must permute the $\sigma_i \alpha$ as it is an automorphism and if some $\tau\sigma_i \alpha \ne \sigma_j\alpha$ for all $j$ then we could extend our set of $\sigma$s by adding this $\tau\sigma_i\text{.}$

So $\alpha$ is a root of \begin{equation*} f_\alpha(X) = \prod_{i=1}^n (X- \sigma_i\alpha)\text{,} \end{equation*} note that $f_\alpha$ is fixed by $\tau$ by the above. So all the coefficients of $f_\alpha$ are in $K^G\text{.}$ By construction $f_\alpha$ is a separable polynomial as the $\sigma_i\alpha$ were chosen distinct, note that $f_\alpha$ also splits into linear factors in $K\text{.}$

The above was for arbitrary $\alpha \in K$ so we have just shown directly that $K$ is a separable and normal extension of $K^G\text{,}$ which is the definition of Galois. As every element of $K^G$ is a root of a polynomial of degree $n$ we cannot have the extension degree $[K:K^G] \gt n\text{.}$ But we also have a group of $n$ automorphisms of $K$ that fix $K^G$ so $[K : K^G] \ge n$ and hence $[K : K^G] = n\text{.}$

So now with this in hand we just have to realise our group as a group of field automorphisms of some field.

##### Corollary

Every finite group is a Galois group.

##### Proof

Let $k$ be an arbitrary field, $G$ any finite group. Now take $K = k(\overline g:g\in G)$ (i.e. adjoin all elements of $G$ to $k$ as indeterminates, denoted by $\overline g$). Now we have a natural action of $G$ on $K$ defined via $h\cdot \overline g= \overline {hg}$ and extending $k$-linearly. Now $K$ and $G$ satisfy the statement of Artin's theorem and hence $K/K^G$ is a Galois extension with Galois group $G\text{.}$

It is interesting to note that we could have started with any field we liked and built a Galois extension with both fields extensions of the base we picked. They won’t necessarily share a huge amount with it, however it is interesting to note that the characteristic will have to be the same and so we can do this for whatever our favourite characteristic is.