Is $X^p - T$ is irreducible over the separable closure of $\Bbb F_p(T)$?

Question

Is it true that the polynomial $X^p - T$ is irreducible over the separable closure $K = \Bbb F_p(T)^{sep}$ of $\Bbb F_p(T)$ ?

I know it is irreducible over $\Bbb F_p(T)$, by applying Eisenstein criterion (or see this). One can see that any root $a \in K^{alg} = \Bbb F_p(T)^{alg}$ does not belong to $K$. But this does not imply that it is an irreducible polynomial.

Answer 1

Hint: since $X^p-T=(X-a)^p$, if $X^p-T$ factors, then the two factors are $(X-a)^k,(X-a)^l\in\mathbb F(T)^{sep}(X)$ for some $k+l=p$, hence $k,l$ are relatively prime. Deduce $X-a\in\mathbb F(T)^{sep}(X)$.

Answer 2

If $a\in \mathbb{F}_p(T)^{alg}$ is a root of $X^p-T$, then $X^p-T=(X-a)^p$. Therefore, $X^p-T$ is reducible if and only if it has a root in the field. But $a=T^{1/p}$ is not separable over $\mathbb{F}_p(T)$ because its minimal polynomial is $X^p-T$, which is not separable as we saw at the beginning. Therefore, $a\notin\mathbb{F}_p(T)^{sep}$.