$F$ is a field of characteristic $p$ and $a\neq c^p-c$ for $c\in F$. Then determine the galois group of $x^p-x-a$.
First I showed that this is an irreducible polynomial and has no multiple roots. This will imply that the polynomial had $p$- distinct roots in its splitting field. Hence we can get a $p$-cycle. This means that the Galois group is $S_p$. Is my reasoning correct?