Is this $f(x) = x^{6}+x^{5}+x^{4}+x^{3}+x^{2}+x+1$ irreducible in GF(5)?

Question

Perhaps one can somehow apply Eisenstein's sign here by considering $f(x+1)$, but by default it is formulated for the expansion over $\mathbb{Q}$ of a polynomial from $\mathbb{Z}[x]$. Here we have $GF(5)$ and it seems that the sign becomes inapplicable.

Answer 1

This is true, because $f(x)=\frac{1-x^7}{1-x}$, that is the roots of $f$ are all $7$-th roots of $1$. Let $\alpha$ be a root of $f$, consider the Galois orbit $\alpha, \alpha^5, \alpha^{5^2}, \cdots$. As $5$ is a primitive root mod $7$, the Galois orbit of $\alpha$ has precisely $6$ elements. Therefore all the roots of $f$ are Galois conjugate to $\alpha$, so $f$ must be irreducible.

Another way to finish without Galois theory: $\alpha$ generates a multiplicative subgroup of order $7$ in $F[\alpha]^{\times}$. If $|F[\alpha]| = 5^m$, then by Lagrange $7 | 5^m - 1$, and again since $5$ is a primitive root mod $7$, $m\ge 6$.

Answer 2

If $f(x)$ is not irreducible, then it has an irreducible factor of degree $2$ or $3$ (it has no linear factors).

Suppose $\alpha$ is a root of $f(x)$ in some extension $K$ of $\mathbb{F}_5$. Then $\alpha$ satisfies $$x^7-1=(x-1)(x^6+x^5+x^4+x^3+x^2+x+1).$$ So the multiplicative order of $\alpha$ is either $1$ (which it cannot be since $\alpha=1$ is not a root of $f(x)$), or $7$. So the order of $\mathbb{F}_5(\alpha)$ is of the form $7k+1$, as well as a power of $5$.

Since neither $5^2$ nor $5^3$ are congruent to $1$ modulo $7$, $f(x)$ does not have an irreducible factor of degree $2$ or $3$. So $f(x)$ must be irreducible over $\mathrm{GF}(5)$.

(In fact, $5^6$ is the smallest power of $5$ that is $1$ mod $7$, so $\mathrm{GF}(5^6)$ is the smallest extension of $\mathrm{GF}(5)$ that has a primitive $7$th root of unity.)