Su fácil la prueba de que cualquier campo distinto de cero homomorphism es inyectiva:
Prueba Suponga que $\exists a, b\in F: a\neq b~~and~~\psi(a)=\psi(b)$, entonces: $$\psi(1)=\psi((a-b)^{-1}(a-b))=\psi((a-b)^{-1})\cdot 0,$$ $$\forall x\in F:~~\psi(x)=\psi(x\cdot 1)=\psi(x)\cdot\psi(1)=\psi(x)\cdot0=0.$$ Por eso, $\psi\equiv 0.$ $$~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\square$$
Pero vamos a considerar Frobenius homomorphism de algebraicamente cerrado campo de $F$: $$F\ni x\stackrel{\Phi}{\longmapsto} x^p\in F.$$ Ecuación $$x^p-a=0$$ han p raíces distintas. Por eso, $\Phi$ no es inyectiva. ¿Dónde está el error?
Gracias.