# When does a splitting field of a polynomial have the same degree as the polynomial?

Let's say we have the irreducible polynomial $f$ with roots $\alpha_1,\ldots,\alpha_n$. Now let $K$ be its splitting field, in other words $$K=\mathbb Q(\alpha_1,\ldots,\alpha_n).$$

When is it the case that $K=\mathbb Q(\alpha_i)$ for any $i$, i.e. when is the dimension of $K$ over $\mathbb Q$ equal to $n$, the degree of $f$? If this were true,then we would be able to express all the roots by rational combinations of each other. Is there a criterion that would decide whether an extension $\mathbb Q(\alpha)$ of $\mathbb Q$ has this property? Please explain your answers.

• An equivalent condition is that $K$ must have cyclic Galois group of order $\deg(f)$. I'd be surprised if there was a nice, fully general, categorisation of what $\alpha$ or $f$ should look like. For example, it is not at all obvious at first glance that $\mathbb Q(\sqrt{2+\sqrt2})$ should be an example (and note that this answers your second question: no). There are things we can say: $f$ must be solvable by radicals, $\mathbb Q(\alpha)\subset\mathbb Q(e^{2i\pi/N})$ for some $N$ (Kronecker-Weber). It might help if you specified what kind of criterion you are after. May 4, 2016 at 22:18
• (I may have misunderstood what you meant by rational combinations: if you mean that every root is of the form $\frac{g(\alpha)}{h(\alpha)}$ for some rational polynomials $g,h$ then this is true by definition.) May 4, 2016 at 22:34
• @Mathmo123 i meant that when the splitting field can be generated by one element, then all its conjugates lie in Q(alpha).Also, I remember seeing something about a square discriminant having to do with this, but can't really recall. May 5, 2016 at 5:43
• @Mathmo123 also, how does the proof that such an extension must have a cyclic galois group go? May 5, 2016 at 5:48
• The splitting field can always be generated by one element (primitive element theorem, $\mathbb Q$ is perfect), but that element won't necessarily be a root of the same polynomial. Having square discriminant means the Galois group is a subgroup of $A_{\deg(f)}$. This doesn't help much when the degree is large. For your second question, the Galois group must be a transitive subgroup of $S_{\deg(f)}$ of order $\deg(f)$. May 5, 2016 at 8:13