Exercise 108.62.5 (Frobenius). Let $p$ be a prime number (you may assume $p = 2$ to simplify the formulas). Let $R$ be a ring such that $p = 0$ in $R$.

1. Show that the map $F : R \to R$, $x \mapsto x^ p$ is a ring homomorphism.

2. Show that $\mathop{\mathrm{Spec}}(F) : \mathop{\mathrm{Spec}}(R) \to \mathop{\mathrm{Spec}}(R)$ is the identity map.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).