Root of Polynomial iff Divisible by Minimal Polynomial
 | This article has been proposed for deletion. In particular: has been moved to Algebraic Element of Field Extension is Root of Unique Monic Polynomial of Minimal Degree and Equivalence of Definitions of Minimal Polynomial Please assess the validity of this proposal. (discuss) |
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links.
To discuss this in more detail, feel free to use the talk page.
Once you have done so, you can remove this instance of {{MissingLinks}} from the code.
Theorem
Let $K$ be a field.
Let $L / K$ be a field extension of $K$.
Let $\alpha \in L$ be algebraic over $K$.
Then there is a unique monic polynomial $\mu_\alpha \in K \left[{X}\right]$ of least degree such that $\mu_\alpha \left({\alpha}\right) = 0$.
Moreover $f \in K \left[{X}\right]$ is such that $f \left({\alpha}\right) = 0$ if and only if $\mu_\alpha$ divides $f$.
Link to an appropriate page defining divisibility among polynomials.
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. To discuss this point in more detail, feel free to use the talk page.
If you are able to explain it, then when you have done so you can remove this instance of {{Explain}} from the code.
Proof
By definition, there is some polynomial $f \in K \left[{X}\right]$ such that $f \left({\alpha}\right) = 0$.
Let $\mu$ be such a polynomial of minimal degree, and define:
- $\mu_\alpha = \dfrac 1 a \mu $
where $a$ is the leading coefficient of $\mu$.
Clearly this polynomial has the required properties, so we show uniqueness.
Let $\mu'$ be another such polynomial. Then
- $\mu_\alpha \left({\alpha}\right) - \mu' \left({\alpha}\right) = 0 - 0 = 0$
Since both polynomials are monic, $\mu_\alpha - \mu'$ has degree strictly less than $\mu_\alpha$.
So we must have $\mu_\alpha - \mu' = 0$.
Let $\mu_\alpha \mathrel \backslash f$.
Then:
- $f = g \mu_\alpha$ for some $g \in K \left[{X}\right]$
and:
- $f \left({\alpha}\right) = 0 \cdot g \left({\alpha}\right) = 0$
Conversely, let $f \in K \left[{X}\right]$ be any polynomial such that $f \left({\alpha}\right) = 0$.
By the Division Theorem for Polynomial Forms over Field, there exists $q, r \in K \left[{X}\right]$ such that:
- $f = q \mu_\alpha + r$
and:
- $\deg r < \deg \mu_\alpha$.
Evaluating this expression at $\alpha$ we find that:
- $f \left({\alpha}\right) = q \left({\alpha}\right) \mu_\alpha \left({\alpha}\right) + r \left({\alpha}\right) \implies r \left({\alpha}\right) = 0$
since $\mu_\alpha \left({\alpha}\right) = f \left({\alpha}\right) = 0$.
But $\mu_\alpha$ has minimal degree among the non-zero polynomials that are zero at $\alpha$.
Therefore as $\deg r < \deg \mu_\alpha$ we must have $r = 0$.
Therefore:
- $f = q \mu_\alpha$
That is, $\mu_\alpha$ divides $f$.
$\blacksquare$
