I know that $x^2 + 1$ is irreducible over $\mathbb{R}$, since the $\sqrt{-1}$ is not in the reals.
How can I verify whether or not $x^2 + 1$ is irreducible over $\mathbb{Z_2}$?
So far I have considered that it suffices to show that the polynomial has no reducible factors of degree $1$ or $2$ if it is irreducible.
Since it is quadratic, the only way it could be reducible would be for it to factor completely. So, to show it's irreducible, you only need to show that it has no roots in $\mathbb{Z}/2$. If you find a root, then it is reducible.