I'm trying to apply the result of Jordan's theorem (cited below) to find the Galois group for a given polynomial. My goal is to provide an example where Jordan's theorem is useful, so the polynomial I'm using will have to be one whose Galois group is difficult to calculate without using Jordan's theorem. I chose the polynomial $f(x)=x^7-7x-1$, but any other examples that you think will better serve my goal are welcome.

First we have to show that the conditions for Jordan's theorem are met:

- $f$ is irreducible and hence its Galois group $G$ is contained in $S_7$.
- $G$ is primitive acting on the spilitting field of $f$.
- $G$ contains a $p$-cycle ($p<7-2=5$).

Proving the conditions are met:

- $f$ is irreducible since $f(x)= x^7+x+1 \pmod 2$ which is irreducible .
- $G$ contains a permutation of cycle type (2,5) because $f(x)=(x^2+2x+2)(x^5+x^4+2x^3+2x+2) \pmod3$, and hence $G$ contains a 2-cycle ((2,5), whose 5th power is a 2-cycle).
- $G$ is primitive acting on the roots of $f$ because G is transitive and $f$ has 7 roots. (by the way, is it ok to say "$G$ acts on the roots of $f$" in this context?)

Therefore, By Jordan's theorem $G$ is $S_n$ or $A_n$. Since $disc(f)$ is not square we get that $G=S_7$.

Is this proof correct?

Let $G$ be a primitive permutation subgroup of the symmetric group $S_n$. If $G$ contains a $p$-cycle for some prime number $p<n−2$, then $G$ is either the whole symmetric group $S_n$ or the alternating group $A_n$. (They are in Section 3.3 of the book on Permutation groups by Dixon and Mortimer.)