[Math] Irreducible implies minimal polynomial

abstract-algebrafield-theorygalois-theory

In the context of field theory, let's say we are finding the minimal polynomial of the $\sqrt[3] 2$ over $\mathbb{Q}$.

Clearly a candidate will be $x^3-2$, which is irreducible by Eisenstein's criterion. Can we then immediately conclude that it is the minimal polynomial?

What I am worried is, is there such thing as an irreducible polynomial that is somehow not the minimal polynomial? (I know minimal polynomial implies irreducibility, but not sure about the converse: does irreducible polynomial implies minimality?)

Thanks for any help.

Best Answer

Assume we're looking for the minimal polynomial of $\alpha$, $\mu$ say, and suppose we have another polynomial $f$ satisfying $f(\alpha)=0$.

We can write $f=g\mu+r$, where $g$ and $r$ are polynomials and $\mathrm{deg}(r)<\mathrm{deg}(\mu)$ (Euclidean division).

Clearly, $r(\alpha)=0$, but then $r=0$ since $\mu$ was chosen such that it is the non-zero polynomial of minimal degree with this property. Hence, $\mu$ divides $f$.

Therefore we know that any "candidate" for the minimal polynomial is a multiple of the minimal polynomial and if our candidate is irreducible, then it is the minimal polynomial and we're done.

Note that this works over any field, not just $\mathbb{Q}$.

Related Question