Irreducible factors after Frobenius substitution
= Irreducible factors after Frobenius substitution
Let $g\in K[T]$ be irreducible and separable in characteristic $p$, and put $f(T)=g(T^p)$. Every monic irreducible factor $h$ of $f$ is either $f$ itself or separable. Indeed, if $h$ were inseparable, then $h(T)=q(T^p)$; divisibility of $q(T^p)$ into $g(T^p)$ forces $q\mid g$, hence $q=g$ and $h=f$.