Frobenius endomorphism ($x\mapsto x^p$)

In a field of characteristic $p>0$, the Frobenius map $x\mapsto x^p$ is an injective field endomorphism becauseConsequently every element of an extension field has at most one $p$th root.