# Abel-Ruffini Theorem Clarification

Let $n \geq 5$. I want to show that $\exists p\in \mathbb{Q}[X]$ of degree $n$ with roots which are not possible to find via radicals and rational functions from the coefficients of $p$.

I've got the following theorem (Abel-Ruffini) written down in my notes.

(1) $\exists$ transcendental $\alpha_1,\dots\alpha_n\in\mathbb{C}$ s.t. $F=\mathbb{Q}(\alpha_1,\dots,\alpha_n)\cong \mathbb{Q}(X_1,\dots,X_n)$

(2) $S_n$ acts on $F$ by permuting the $\alpha_i$ and $F/F^{S_n}$ Galois with Galois group $S_n$

Now $F^{S_n}$ is the subfield of $F$ consisting of all the elements written as a symmetric functions in the $\alpha_i$. So if I write $p(X)=(X-\alpha_1)\dots(X-\alpha_n)$ then $p\in F^{S_n}(X)$ and $\textrm{Gal}(p)=S_n$ so in particular there is no way to find the roots of $p$ via radicals and rational functions from $F^{S_n}$, since $S_n$ not soluble.

Now my notes say I should be finished, but I haven't quite proved what I want to! How do I make the step from $F^{S_n}$ to $\mathbb{Q}$ in general?

Many thanks.

Related questions