Proof Check: Number of elements of $\mathbb{F}_{p^{n}}$ of the form $a^{p}-a$ for some $a \in \mathbb{F}_{p^{n}}$.

Consider the map $\varphi:\mathbb{F}_{p^{n}} \rightarrow \mathbb{F}_{p^{n}}$ defined by $x \mapsto x^{p}-x$. Since $(a+b)^{p}= a^{p}+b^{p}$ for all $a,b \in \mathbb{F}_{p^{n}}$ we have that $\varphi$ is a homomorphism. An element of $\mathbb{F}_{p^{n}}$ can be written in the form $a^{p}-a$ iff it is in Im$(\varphi)$, so it suffices to find $|$Im$(\varphi)|$, which is equal to $\mathbb{F}_{p^{n}}/K$ where $K=$ker$\varphi=\{a \in \mathbb{F}_{p^{n}} : a^{p}-a = 0\}$. So in particular, if $a \in$ ker$\varphi$ then $a$ is a root of the polynomial $x^{p}-x$ which is a separable polynomial so has precisely $p$ roots. Since $a^{p}=a$ for all $a \in \mathbb{F}_{p} \subseteq \mathbb{F}_{p^{n}}$, which is all $p$ of the roots, we have $|$ker$\varphi| = p$. Hence $|$Im$(\varphi)|=p^{n-1}$ so this is the number of such elements.

I am pretty sure this works, but is there an easier or shorter way?

Solutions Collecting From Web of "Proof Check: Number of elements of $\mathbb{F}_{p^{n}}$ of the form $a^{p}-a$ for some $a \in \mathbb{F}_{p^{n}}$."