The Stacks project

Exercise 111.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.