Suppose we have an integral domain, S, of characteristic p, where p is prime. If we have the ring homomorphism θ: S → S by θ(a) = a^p, prove that θ is onto.
Since the commutative ring S is arbitrary, my plan is to show that θ is one-to-one, and since it maps S to S, it must also be onto. However, I'm not sure how to show this. Any help would be greatly appreciated.
Edit: Disregarding whether θ is onto, how could you show that Kerθ contains only 0, so that you could make the statement that θ is one-to-one?
$S$ contains no nilpotent element for $S$ is integral domain and nilpotent is zero divisor. So $a^p=0$ implies $a=0$ and $Ker({\theta})=0$. Thus $\theta$ is one to one.
If $S$ is finite, $\theta$ is onto.
If $S$ is infinite, $\theta$ may not be onto. Here is an example. Let $K = F_p(t)$ be the finite field of $p$ elements together with a single transcendental element. Thus $K$ is the field of rational functions with coefficients in $F_p$. Then $t\notin\theta(K)$. For if so, let $\theta(q(t)/r(t))=q^p(t)/r^p(t)=t$. But $$ \deg\frac{q^p(t)}{r^p(t)}=p(\deg q-\deg r)\neq 1=\deg(t) $$ This means that $\theta$ is not onto.