This problem comes from Question 14 of Chapter 5, Section 6 in I.N. Herstein's Abstract Algebra, second ed.
Given a field $F$ with characteristic $p\neq 0$, show that all roots of $x^m-x$ within this field are distinct (no root has multiplicity greater than 1), where $m = p^n$ for some $n$.
I know that if $F$ is a finite field of order $p$ that $$x^p-x=\prod_{a\in F}(x-a)$$ and this result should lead to having $$x^p-x=x(x-1)(x-2)(x-3)\cdots(x-(p-1))$$ as I believe I can form a finite subfield of $F$ out of these elements $\{1,2,3,\ldots,p-1,0\}$, but I'm not sure of this claim. If I can do that then I do know that $$(x^{p^k}-x)(1+x^{p^k-1}+x^{2p^k-2}+\ldots+x^{p^k\cdot p-p})=x^{p^{k+1}}-x$$ so I only need to show that $1+x^{p^k-1}+x^{2p^k-2}+\ldots+x^{p^{k+1}-p}$ is irreducible or at least is not divisible by $x-a$ for any $a\in F$.
I realized that if I let $p(x) = 1+x^{p^k-1}+x^{2p^k-2}+\ldots+x^{p^{k+1}-p}$ and assumed that it was divisible by some $x-a$ we would have $$p(x)=q(x)(x-a)=xq(x)-aq(x)$$ and therefore if $$q(x) = \sum_{i=0}^{\deg q(x)}(q_ix^i)$$ we would have $p_i=q_{i-1}-aq_i$ for all $i$ (where $p_i$ is the $i^\text{th}$ coefficient in $p(x)$). From this I got that $q_0a=1$ so $q_0 = a^{-1}$ and then $q_1=a^{-2}$ and I could work my way up but I had issues figuring out how to extrapolate when I git $q_{p-1}$ and $q_{2p-2}$.
Best Answer
Well, $\dfrac{\mathrm d}{\mathrm dx} (x^m-x) = mx^{m-1}-1 = -1 \ne 0$, so the polynomial is separable, so the roots are distinct.
Bonus: the roots of $x^m - x$ actually form a field.