This post assumes familiarity with some basic concepts in abstract algebra, specifically the terminology of field extensions, and the classical results in Galois theory and group theory.
The fundamental theorem of algebra has quite a few number of proofs (enough to fill a book!). In fact, it seems a new tool in mathematics can prove its worth by being able to prove the fundamental theorem in a different way. This series of proofs of the fundamental theorem also highlights how in mathematics there are many many ways to prove a single theorem, and in re-proving an established theorem we introduce new concepts and strategies. And perhaps most of all, we accentuate the unifying beauty of mathematics.
Problem: Let be a non-constant polynomial. Prove has a root in .
Solution: Without loss of generality, we may assume has real coefficients, since if has no roots, then neither does , where the bar represents complex conjugation. In particular, is invariant under complex conjugation, and all such quantities are real.
Let be the splitting field for over , and embed in some algebraic closure of . Consider the extension . We claim is Galois over ; indeed, it is the splitting field of the separable polynomial constructed as the square-free part of , i.e., the product of all linear factors of that polynomial.
Let be the Galois group of this extension over , and note that since , we have an intermediate field , so that the degree of the extension is 2; so 2 divides the degree of , and hence the order of the Galois group (recall for any Galois field extension).
Since , there is a Sylow 2-subgroup , which by Sylow’s theorem has odd index in . By the Galois correspondence, corresponds to an intermediate field extension of odd degree (the degree is equal to the index of the subgroup ). Since every real polynomial of odd degree has a root in (recall the intermediate value theorem), we see that there are no irreducible polynomials of odd degree , and hence there can be no separable extensions of degree (in particular, every such extension is finite and separable, and all such extensions are simple: the minimal polynomial of the singly-adjoined element must be irreducible). Hence, the degree of over must be 1, i.e. is a trivial extension.
Taking this back to the group, since the index by the Galois correspondence, we have , and hence has order for some . We note that since , is a Galois extension of . In particular the automorphism group is a subgroup of , and hence has order for some dividing . We will show that , which occurs precisely when the extension is trivial (again, by virtue of being a Galois extension).
If , then we recall the corollary of Cauchy’s theorem for -groups, that has a subgroup of order for any , and in particular a subgroup of index 2. But such a subgroup corresponds to an intermediate field extension of degree 2. As with the case for odd extensions of , we note that there are no irreducible polynomials of degree 2 over : we have the sing-a-long quadratic formula which constructs the roots in . So , and hence is the splitting field of , and contains all of its roots.