# Field extensions…..things that books won’t explicitly point out.

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 $x$?” The answer to that is “$x$” is just a useful construct that is temporarily holding place, waiting for an actual number to pop in and satisfy the equation. $x$ is not an actual number. There is no number in the real number line called “$x$“. OK.

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

If $p(x)\in F[x]$ is irreducible over $F$, then the **field** $F[x]/\langle p(x)\rangle$ contains the element $x$ (technically, the element is $x+\langle p(x)\rangle$). Yes. There is an equation in  $\frac{F[x]}{\langle p(x)\rangle}[X]$ such that when you punch in $x$, the equation is satisfied. So $x$ 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 $f(x)\in F[x]$ is irreducible in $F[x]$, then there exists a field extension such that $f(x)$ has a root in that extension- The irreducibility property is important here. The proof proceeds by creating a field $F[x]/\langle f(x)\rangle$, and saying this is the field in which $f(x)=0$. But $F[x]/\langle f(x)\rangle$ is a field, and not a ring. $\frac{F[x]}{\langle f(x)\rangle}[X]$ is the corresponding ring of the field. Assume $f(x)(\in F[x])=a_0+a_1x+a_2x^2+\dots+a_nx^n$. Then this is mapped isomorphically to $a_0+a_1X+a_2X^2+\dots+a_nX^n$ in $\frac{F[x]}{\langle f(x)\rangle}[X]$, and is satisfied by $x+\langle f(x)\rangle \in \frac{F[x]}{\langle f(x)\rangle}$. Hence, $\frac{F[x]}{\langle f(x)\rangle}$ is the field extension of $F$ which contains a root of the irreducible (in $F$) polynomial $f(x)$.

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