Algebra: ring and field theory. Lecture 5, math 100 c, UCSD

We prove Galois' theorem: if f is solvable by radicals over F and char(F)=0, then Aut(K/F) is solvable where K is a splitting field of f over F.

Look at the related lecture notes here: