# A question related to Galois theory

I'm working with this problem: Let L/K be a Galois extension with Galois group $S_4.$ Then L is the splitting field of a monic degree 4 irreducible polynomial over K. Char(K)=0.

My method is since [L:K] is finite, there is a primitive element $a.$ Then $a$ has an irrducible polynomial g(x) in K[x]. Since L/K is Galois and irreducible polynomial g(x) has a root $a$ in L, then it splits in L[x]. Then degree of $g(x) = [K(a):K]=[L:K]=|S_4|=24$, not 4. I'm confused. What's wrong? Thank you!

• Since $a$ is a primitive element in L over K, $K(a)=L.$ Apr 7, 2015 at 1:01
• Since [L:K] is finite, then $a$ is an algebraic element over K, then it is a root of some $g$. Apr 7, 2015 at 1:05
• @Eoin: $g(x)$ is, by definition, the minimal polynomial of $a$, so $g(a) = 0$. OP: Yes, the degree of $g(x)$ is 24; nothing is incorrect there. But if you are in search of a degree 4 polynomial whose splitting field is $L$, the primitive element will not give it to you directly. Apr 7, 2015 at 1:12
• I name the minimal polynomial of $a$ g. Since g has a root in K, then g splits in L[x]. Apr 7, 2015 at 1:14
• The degree of the splitting field of a polynomial is the order of its Galois group, it is not the degree of the irreducible polynomial. More generally, for an irreducible polynomial of degree $n$, its splitting field has degree a divisor of $n!$. Apr 7, 2015 at 1:14

You know that your Galois group is (isomorphic to) $\mathcal S_4$. You want an element $\beta$ whose minimal polynomial $f$ is of degree $4$, and you want $L$ to be the splitting field of $f$. In other words, $\bigl[K(\beta):K\bigr]=4$. So you want a subgroup $\mathcal H\subset\mathcal S_4$ of index $4$, such that the only subgroup $\mathcal N$ of $\mathcal H$ that’s normal in the big group is $\mathcal N=\{e\}$.
Easy: it’s the most obvious subgroup of index $4$ that you can think of.
Nothing is wrong, per se. As put forth in the comments, if you have that $\mathbb{L}$ is a splitting field over $\mathbb{F}$ of two polynomials $f(x), g(x)$, then it is not guaranteed that $\deg(f) = \deg(g)$. An example would be the splitting field of $x^3-2$ over $\mathbb{Q}$. This is a degree $6$ extension, and it's not too hard to see that it's also the splitting field of $x^6+108$, the minimal polynomial for the primitive element $i\sqrt{3}\sqrt{2} = 2(-1/2 + i\sqrt{3}/2)\sqrt{2}+ \sqrt{2}$.
In your case, you need an element that is not the primitive generator to be a root of your desired degree four polynomial. My hint is to consider how the degree of an element's minimal polynomial relates to the size of its stabilizer group under the Galois action. (You will probably also need to use the correspondence between subgroups of $S_4$ and the intermediate fields for your extension)