This is going to flesh out some real details.

First, something exceedingly important. When doing elementary algebra for the first time (say in grade 4), one often asks “what is ?” The answer to that is “” is just a useful construct that is temporarily holding place, waiting for an actual number to pop in and satisfy the equation. is not an actual number. There is no number in the real number line called ““. OK.

Say is a field, and we have the polynomial ring . Then if satisfies the equation (), then has the same sense as that used in your grade 4 algebra. doesn’t actually belong to the field . It is just waiting for to pop in and satisfy the equation. does technically belong to the polynomial ring , but we’re concerned only with here. We can think of the whole of as a useful construct to help us deal with our problems. But just you wait.

If is irreducible over , then the **field** contains the element (technically, the element is ). Yes. There is an equation in such that when you punch in , the equation is satisfied. So has moved on from being an imaginary filler for another element to actually being an element of the field itself.

Now we shall discuss some fundamental facts concerning field extensions:

1. If is irreducible in , then there exists a field extension such that has a root in that extension- The irreducibility property is important here. The proof proceeds by creating a field , and saying this is the field in which . But is a field, and not a ring. is the corresponding ring of the field. Assume . Then this is mapped isomorphically to in , and is satisfied by . Hence, is the field extension of which contains a root of the irreducible (in ) polynomial .

2. Say we have such that is algebraic over . Then every element in is algebraic over . The proof of this is based on the pigeonhole principle, and is quite clever. Any standard textbook on algebra will have this proof.