# Why this polynomial is irreducible?

Let $K=\mathbb{Z}_p(t)$, how to prove $f(x)=x^p-t$ is irreducible in $K[x]$?

-
Did you mean to write $\mathbb Z_p[t]$? If not, could you define the construct you did indicate? – Lubin Feb 5 '13 at 19:28
@Lubin $K=\mathbb F_p(t)$ is the field of rational functions in one variable over $\mathbb F_p$, the finite field with $p$ elements and $K[x]$ is the ring of polynomials in one variable over $K$. What's unclear? – JSchlather Feb 5 '13 at 19:44

$\mathbb Z_p$ is a UFD ring, therefore so is $A = \mathbb Z_p[t]$. The polynomial $f(x) = x^p - t$ is monic so, because of Gauß' lemma, $f$ is reducible in $A$ iff it is reducible in $\mathrm{Frac}\, A = K[t]$.

But now, we can apply the generalisation of Eisenstein's criterion. We have a prime ideal $\mathfrak p =(x) \in \mathbb{Z}_t[x]$ which contains every coefficient of $f$ except the dominant one, and the constant coefficient $t$ doesn't belong to $\mathfrak p^2$. Therefore, $f$ is irreducible in $A$.

Remark. If $p$ is a prime, on any field $F$, $f = x^p -a$ is irreducible in $F[x]$ unless it has a root in $F$. This is proved in Cox' Galois Theory, section 4.2.D.

-
Very clear, thank you! – hxhxhx88 Feb 6 '13 at 1:18

Hint: Use Eisenstein's criterion by recalling that $t$ is prime in $\mathbb Z_p[t]$.

-
I understand now, thank you! – hxhxhx88 Feb 6 '13 at 1:19