Irreducible factors of a finite-field Frobenius polynomial (source code)

= Irreducible factors of a finite-field Frobenius polynomial
{title2=$X^{q^n}-X$}

Every monic <irreducible polynomial> over $\mathbb F_q$ whose degree divides $n$ divides $X^{q^n}-X$. In particular, if $f$ has degree $n$ and $\alpha$ is one of its roots, then $\mathbb F_q(\alpha)$ has $q^n$ elements, so $\alpha^{q^n}=\alpha$ and the <minimal polynomial> $f$ divides $X^{q^n}-X$.