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.