Hey guys. I just have a brief question.
I need to prove that if we have L/K a finite, Galois field extension.
Such that Gal(L/K) = S_n.
Then, L is the splitting field of a separable polynomial of degree n.
I tried to do this by induction: namely, let S_{n-1} < S_n.
Consider the fixed field of S_{n-1}, F.
By induction, assume that there is an f in F[t] of degree n-1 such that L is the splitting field of f.
Now, since F/K is finite, separable, it is also simple.
So, let F = K(\alpha), some \alpha.