Simple Algebraic Field Extension consists of Polynomials in Algebraic Number
Let $F$ be a field.
Let $\theta \in \C$ be algebraic over $F$.
Let $\map F \theta$ be the simple field extension of $F$ by $\theta$.
We have that:
- $H$ contains $0$ and $1$
Let $\map f \theta \ne 0$.
Then $\theta$ is not a root of $\map f x$.
- $\exists \map s x, \map t x: \map s x \map m x + \map t x \map f x = 1$
Substituting for $\theta$:
- $\map s \theta \, \map m \theta + \map t \theta \, \map f \theta = 1$
Because $\map m \theta = 0$ it follows that:
- $\map t \theta \, \map f \theta = 1$
We have that $\map t \theta \in H$.
Thus $\map t \theta$ is the product inverse of $\map f x$ in $H$.
Thus $H$ is a field.
- $H \subseteq \map F \theta$
But by definition, $\map F \theta$ is the smallest field containing $F$ and $\theta$.
- $\map F \theta \subseteq H$
- $\map F \theta = H$
and the result follows.