## 30 Nov Fundamental Theorem of Algebra using Galois theory

Download this post as PDF (will not include images and mathematical symbols).

In this article we shall prove that is algebraically closed. Here we consider as a splitting field of the polynomial .

The proof uses very little analysis and most of it is Galois theory. The only facts from analysis which will be used in proof are :

- Positive real numbers have square roots.
- Every polynomial of odd degree with real coefficients has a real root.

Both of these facts are consequences of the intermediate value theorem.

We first show that every element of has a square root in . For let

We choose the sign of and such that has the same sign as b. Then we can see that .

Now we show that every polynomial splits in . This is equivalent to showing that the splitting field of over is . Let be the splitting field of over for a fixed . As has characteristic zero, is a separable polynomial and hence is a Galois extension. Let .

Let be a 2-Sylow subgroup of . Let , the subfield of E fixed by . Then degree of the extension is which is odd. Hence, for any it’s minimal polynomial over has odd degree. But as any odd degree polynomial has a root in , . Thus, and hence is a 2-group.

If it has a subgroup of index . Then degree of over is 2 and hence is generated by the square root of an element in . But as has all its square roots we get that . Hence,

Source : Field and Galois Theory Notes, James Milne

I am a masters student at Chennai Mathematical Institute. I am also an editor of the English section.

## No Comments